157 entries « 4 of 4 »


Armando, Alessandro; Giunchiglia, Enrico

Embedding Complex Decision Procedures Inside an Interactive Theorem Prover Journal Article

Ann. Math. Artif. Intell., 8 (3-4), pp. 475–502, 1993.

Links | BibTeX

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

Proving Formulas through Reduction to Decidable Classes Inproceedings

Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings, pp. 1–10, 1993.

Links | BibTeX

Giunchiglia, Fausto; Serafini, Luciano; Giunchiglia, Enrico; Frixione, Marcello

Non-Omniscient Belief as Context-Based Resoning Inproceedings

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 548–554, 1993.


Manzo, Mauro Di; Giunchiglia, Enrico

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

Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 548–557, 1993.

Links | BibTeX


Traverso, Paolo; Armando, Alessandro; Giunchiglia, Enrico

A Knowledge Based System for Automatic 3D Scene Inproceedings

AIMSA, pp. 255–264, 1992.



Giunchiglia, Enrico

A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic Inproceedings

SCAI, pp. 84–89, 1991.



Giunchiglia, Fausto; Giunchiglia, Enrico

Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas Inproceedings

ECAI, pp. 607–609, 1988.


157 entries « 4 of 4 »