Mauro Di Manzo

According to our database, Mauro Di Manzo authored at least 20 papers between 1978 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Planning via Model Checking in Deterministic Domains: Preliminary Report.

Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino

Proceedings of the Artificial Intelligence: Methodology, 1998

1995

Supporting complex inquiries.

Aldo Franco Dragoni, Mauro Di Manzo

Int. J. Intell. Syst., 1995

Composing decision procedures: the approach and a case study.

Mauro Di Manzo, Paolo Pecchiari

Proceedings of the Topics in Artificial Intelligence, 1995

1993

Multi-Context Systems as a Tool to Model Temporal Evolution.

Mauro Di Manzo, Enrico Giunchiglia

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

Proving Formulas through Reduction to Decidable Classes.

Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari

Proceedings of the Advances in Artificial Intelligence, 1993

1989

FUR: Understanding functional reasoning.

Mauro Di Manzo, Emanuele Trucco, Fausto Giunchiglia, Franca Ricci

Int. J. Intell. Syst., 1989

Reasoning about Space and Time in High-Level Vision.

Mauro Di Manzo, Paolo Puliti, Guido Tascini, Primo Zingaretti

Proceedings of the Intelligent Autonomous Systems 2, 1989

1986

Reasoning about scene descriptions.

Mauro Di Manzo, Giovanni Adorni, Fausto Giunchiglia

Proc. IEEE, 1986

Using Functional Knowledge in Computer Vision.

Mauro Di Manzo, Franca Ricci, F. Adriana Batistoni, Carlo Ferrari

Proceedings of the Intelligent Autonomous Systems, 1986

1984

From Descriptions to Images: What Reasoning in between?

Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia

Proceedings of the Advances in Artificial Intelligence, 1984

Natural Language driven Image Generation.

Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia

Proceedings of the 10th International Conference on Computational Linguistics and 22nd Annual Meeting of the Association for Computational Linguistics, 1984

Space Representation and Object Positioning in Natural Language Driven Image Generation.

Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984

1983

Some Basic Mechanisms for Common Sense Reasoning About Stories Environments.

Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Natural Language Input For Scene Generation.

Giovanni Adorni, Mauro Di Manzo

Proceedings of the EACL 1983, 1983

1982

Error Recovery with Attribute Grammars.

Antonio Boccalatte, Mauro Di Manzo, D. Sciarra

Comput. J., 1982

Cognitive Models For Computer Vision.

Giovanni Adorni, Antonio Boccalatte, Mauro Di Manzo

Proceedings of the 9th International Conference on Computational Linguistics, 1982

1980

An Approach to the Detection of Semantic Errors.

Antonio Boccalatte, Mauro Di Manzo

Comput. J., 1980

1979

Loop Optimisation for Parallel Processing.

Mauro Di Manzo, Arrigo L. Frisiani, G. Olimpo

Comput. J., 1979

1978

COMES: a CAI system oriented to programming languages.

Mauro Di Manzo, Maria Ferraris, Arrigo L. Frisiani, Vittorio Midoro, G. Olimpo

Proceedings of the Papers of the SIGCSE/CSA technical symposium on Computer science education, 1978

Deadlock avoidance in graph-structured task systems.

Mauro Di Manzo, Arrigo L. Frisiani, G. Olimpo

Proceedings of the Information Systems Methodology, 1978