-
Fausto Giunchiglia; Luciano Serafini; Enrico Giunchiglia; Marcello Frixione,
Non-Omniscient Belief as Context-Based Resoning,
13th International Joint Conference on Artificial Intelligence,
Morgan Kaufmann,
1993
, pp. 548-
554
, (13th International Joint Conference on Artificial Intelligence,
Chambéry, France,
1993)
-
Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento,
Automation 1992, 36th ANIPLA Conference,
Pirella,
1992
, pp. 620-
633
, (Automation 1992, 36th ANIPLA Conference,
Genova,
1992)
-
Fausto Giunchiglia; Luciano Serafini,
Multilanguage hierarchical logics (or: how we can do without modal logics),
CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
1992
, pp. 44-
45
, (CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
Munich, Germany,
1992)
-
Fausto Giunchiglia; Luciano Serafini; Alex K. Simpson,
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics,
Meta-Programming in Logic, 3rd International Workshop, META-92,
Springer,
vol.649,
1992
, pp. 235-
249
, (Meta-Programming in Logic, 3rd International Workshop, META-92,
Uppsala, Sweden,
1992)
-
Fausto Giunchiglia; Paolo Traverso; Luciano Serafini,
La deduzione automatica,
in «SISTEMI INTELLIGENTI»,
vol. 1,
1991
-
Fausto Giunchiglia; Luciano Serafini,
Multilanguage First Order Theories of Propositional Attitudes,
Third Scandinavian Conference on Artificial Intelligence 1991,
IOS Press,
vol.12,
1991
, pp. 228-
240
, (Third Scandinavian Conference on Artificial Intelligence 1991,
Roskilde, Denmark,
1991)