Publications

301. Alessandro Cimatti; Luciano Serafini,
     Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance,
     First International Conference on Multiagent Systems,
     MIT Press,
     1995
     , pp. 57-
     64
302. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
     Agents as Reasoners, Observers, or Arbitrary Believers,
     First International Conference on Multiagent Systems,
     MIT Press,
     1995
     , pp. 448-
303. G. Criscuolo; Fausto Giunchiglia; Luciano Serafini,
     A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case),
     1994
304. Fausto Giunchiglia; Luciano Serafini,
     Multilanguage Hierarchical Logics or: How we can do Without Modal Logics,
     in «ARTIFICIAL INTELLIGENCE»,
     Elsevier,
     vol. 65,
     n. 1,
     1994
     , pp. 29-
     70
305. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
     MRG: sistema di ragionamento,
     in «AUTOMAZIONE E STRUMENTAZIONE»,
     VNU Business Publications,
     vol. 9,
     1993
     , pp. 97-
     103
306. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
     MRG: un nucleo di ragionamento per un sistema integrato multifunzionale,
     in «SISTEMI INTELLIGENTI»,
     il Mulino,
     vol. 3,
     1993
     , pp. 435-
     460
307. 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
308. 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
309. 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
310. 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
311. Fausto Giunchiglia; Paolo Traverso; Luciano Serafini,
     La deduzione automatica,
     in «SISTEMI INTELLIGENTI»,
     il Mulino,
     vol. 1,
     1991
312. 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
313. Badreddine, Samy and d'Avila Garcez, Artur S. and Serafini, Luciano and Spranger, Michael,
     Logic Tensor Networks,
     in «»,
     ARTIFICIAL INTELLIGENCE,
     ,
     vol. 303,
     , pp. 123-
     164