Mauro Di Manzo

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