Mauro Di Manzo

Publication Activity (10 Years)

Years Active: 1978-1998
Publications (10 Years): 0

Publications

Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino
Planning via Model Checking in Deterministic Domains: Preliminary Report. AIMSA (1998)
Mauro Di Manzo, Paolo Pecchiari
Composing decision procedures: the approach and a case study. AI*IA (1995)
Aldo Franco Dragoni, Mauro Di Manzo
Supporting complex inquiries. Int. J. Intell. Syst. 10 (11) (1995)
Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
Proving Formulas through Reduction to Decidable Classes. AI*IA (1993)
Mauro Di Manzo, Enrico Giunchiglia
Multi-Context Systems as a Tool to Model Temporal Evolution. ISMIS (1993)
Mauro Di Manzo, Emanuele Trucco, Fausto Giunchiglia, Franca Ricci
FUR: Understanding functional reasoning. Int. J. Intell. Syst. 4 (4) (1989)
Mauro Di Manzo, Paolo Puliti, Guido Tascini, Primo Zingaretti
Reasoning about Space and Time in High-Level Vision. IAS (1989)
Mauro Di Manzo, Giovanni Adorni, Fausto Giunchiglia
Reasoning about scene descriptions. Proc. IEEE 74 (7) (1986)
Mauro Di Manzo, Franca Ricci, F. Adriana Batistoni, Carlo Ferrari
Using Functional Knowledge in Computer Vision. IAS (1986)
Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino
Space Representation and Object Positioning in Natural Language Driven Image Generation. AIMSA (1984)
Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
Natural Language driven Image Generation. COLING (1984)
Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
From Descriptions to Images: What Reasoning in between? ECAI (1984)
Giovanni Adorni, Mauro Di Manzo
Natural Language Input For Scene Generation. EACL (1983)
Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. IJCAI (1983)
Giovanni Adorni, Antonio Boccalatte, Mauro Di Manzo
Cognitive Models For Computer Vision. COLING (1982)
Antonio Boccalatte, Mauro Di Manzo, D. Sciarra
Error Recovery with Attribute Grammars. Comput. J. 25 (3) (1982)
Antonio Boccalatte, Mauro Di Manzo
An Approach to the Detection of Semantic Errors. Comput. J. 23 (4) (1980)
Mauro Di Manzo, Arrigo L. Frisiani, G. Olimpo
Loop Optimisation for Parallel Processing. Comput. J. 22 (3) (1979)
Mauro Di Manzo, Arrigo L. Frisiani, G. Olimpo
Deadlock avoidance in graph-structured task systems. ECI (1978)
Mauro Di Manzo, Maria Ferraris, Arrigo L. Frisiani, Vittorio Midoro, G. Olimpo
COMES: a CAI system oriented to programming languages. SIGCSE/CSA (1978)