MARTELLI, Alberto

MARTELLI, Alberto  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 127 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
A constructive approach to static verification of program properties 1983 R. Barbuti; A. Martelli
A Flexible Environment for Program Development Based on a Symbolic Interpreter 1979 P. Asirelli; P. Degano; G. Levi; A. Martelli; U. Montanari; G. Pacini; F. Sirovich; F. Turini
A formal framework for handling audiovisual materials 2004 BALDONI M.; BAROGLIO C.; BERTOLOTTI P.; DEL PERO R.; MARTELLI A.; MESSINA M.; SACCO G.; SCHIFANELLA C.
A Framework for Modal Logic Programming 1996 M. Baldoni; L. Giordano; A. Martelli
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph 1976 A. Martelli
A Language for Handling Hypothetical Updates and Inconsistency 1997 D. Gabbay; L. Giordano; A. Martelli; N. Olivetti
A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking 1995 GIORDANO L.; A. MARTELLI
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning 1998 M. BALDONI; L. GIORDANO; A. MARTELLI
A Modal Extention of Logic Programming 1994 M. Baldoni; L. Giordano; A. Martelli
A Modal Framework for Structured Logic Programs 1992 L. Giordano; A. Martelli
A Modal Programming Language for Representing Complex Actions 1998 M. Baldoni; L. Giordano; A. Martelli; V. Patti
A Modal Reconstruction of Blocks and Modules in Logic Programming 1991 L. Giordano; A. Martelli
A Multimodal Logic to define Modules in Logic Programming 1993 M. Baldoni; L. Giordano; A. Martelli
A semantics for Eshghi and Kowalski’s abductive procedure 1993 L. Giordano; A. Martelli; M. L. Sapino
A structured approach to static semantics correctness 1983 R. Barbuti; A. Martelli
An Abductive Procedure for Reasoning about Actions in Modal Logic Programming 1997 M. Baldoni; L. Giordano; A. Martelli; V. Patti
Achieving Completeness in Bounded Model Checking of Action Theories in ASP 2012 L. Giordano; A. Martelli; D. Theseider Dupré
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP 2015 L. GIORDANO; A. MARTELLI; D. THESEIDER DUPRE'
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione 1968 Clerici R.; Grasselli A.; Levi G.; Martelli A.; Montanari U.; Sirovich F.
Additive AND-OR Graphs 1973 A. Martelli; U. Montanari