MARTELLI, Alberto
MARTELLI, Alberto
INFORMATICA
A constructive approach to static verification of program properties
1983-01-01 R. Barbuti; A. Martelli
A Flexible Environment for Program Development Based on a Symbolic Interpreter
1979-01-01 P. Asirelli; P. Degano; G. Levi; A. Martelli; U. Montanari; G. Pacini; F. Sirovich; F. Turini
A formal framework for handling audiovisual materials
2004-01-01 BALDONI M.; BAROGLIO C.; BERTOLOTTI P.; DEL PERO R.; MARTELLI A.; MESSINA M.; SACCO G.; SCHIFANELLA C.
A Framework for Modal Logic Programming
1996-01-01 M. Baldoni; L. Giordano; A. Martelli
A Modal Extention of Logic Programming
1994-01-01 M. Baldoni; L. Giordano; A. Martelli
A Modal Framework for Structured Logic Programs
1992-01-01 L. Giordano; A. Martelli
A Modal Programming Language for Representing Complex Actions
1998-01-01 M. Baldoni; L. Giordano; A. Martelli; V. Patti
A Modal Reconstruction of Blocks and Modules in Logic Programming
1991-01-01 L. Giordano; A. Martelli
A Multimodal Logic to define Modules in Logic Programming
1993-01-01 M. Baldoni; L. Giordano; A. Martelli
A priori conformance verification for guaranteeing interoperability in open environments
2006-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
A semantics for Eshghi and Kowalski’s abductive procedure
1993-01-01 L. Giordano; A. Martelli; M. L. Sapino
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results
1998-01-01 M. Baldoni; L. Giordano; A. Martelli
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
2012-01-01 L. Giordano; A. Martelli; D. Theseider Dupré
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione
1968-01-01 Clerici R.; Grasselli A.; Levi G.; Martelli A.; Montanari U.; Sirovich F.
Additive AND-OR Graphs
1973-01-01 A. Martelli; U. Montanari
An Abductive Characterization of the TMS
1990-01-01 L. Giordano; A. Martelli
An Abductive Proof Procedure for Conditional Logic Programming
1996-01-01 L. Giordano; A. Martelli; M. L. Sapino
An algorithm for unification in equational theories
1986-01-01 A. Martelli; C. Moiso; G. Rossi
Communication Trough Message Passing or Shared Memory: a Formal Comparison
1981-01-01 R. De Nicola; A. Martelli; U. Montanari
Conditional Logic Programming
1994-01-01 D. Gabbay; L. Giordano; A. Martelli; N.Olivetti