Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) (1994)

Cached

Download Links

by Fausto Giunchiglia , Luciano Serafini
Citations:178 - 47 self

Documents Related by Co-Citation

225 Natural Deduction, A Proof-Theoretical Study. Almqvist and Wiskell – Dag Prawitz - 1965
42 Non-Omniscient Belief as Context-Based Reasoning – Fausto Giunchiglia - 1993
186 Local models semantics, or contextual reasoning = locality + compatibility – Chiara Ghidini, Fausto Giunchiglia - 2001
16 Multilanguage First Order Theories of Propositional Attitudes – F. Giunchiglia, L. Serafini, Istituto Trentino Di Cultura, Fausto Giunchiglia, Luciano Serafini - 1991
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
41 Partitioned Representations – J Dinsmore - 1991
29 Are tableaux an improvement on truth-tables – M D’Agostino - 1992
62 Contextual reasoning. Epistemologia, special issue on "I Linguaggi e le Macchine", vol. XVI – F Giunchiglia - 1993
73 Contextual Reasoning – Fausto Giunchiglia - 1992
101 Propositional Logic of Context – Sasa Buvac , Ian A. Mason - 1993
191 Contexts: a formalization and some applications – Ramanathan V Guha - 1992
112 Generality In Artificial Intelligence – John McCarthy - 1987
348 Notes On Formalizing Context – John McCarthy - 1993
34 A Formalization of Viewpoints – Giuseppe Attardi , Maria Simi - 1995
25 The GETFOL Manual - GETFOL version 1 – F Giunchiglia - 1992
271 Proof Methods for Modal and Intuitionistic Logics, volume 169 of Synthese Library – M Fitting - 1983
42 Towards layered dialogical agents – P Noriega, C Sierra - 1996
305 Agents that reason and negotiate by arguing – Simon Parsons, Carles Sierra, Nick Jennings - 1998
87 A service-oriented negotiation model between autonomous agents – Carles Sierra, Peyman Faratin, Nick R. Jennings - 1997