Proofs in Context (1994)

by G. Attardi , S. Di Marco , D. Salvi , F. Sebastiani , Istituto Di Elaborazione
Venue:In Principles of Knowledge Representation and Reasoning
Citations:27 - 4 self

Documents Related by Co-Citation

51 Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance – Alessandro Cimatti, Ro Cimatti, Luciano Serafini, Luciano Serafini - 1994
101 Propositional Logic of Context – Sasa Buvac , Ian A. Mason - 1993
70 First Order Theories Of Individual Concepts And Propositions – John McCarthy - 1995
42 Belief and Incompleteness – K Konolige - 1985
37 A syntactic theory of belief and action – A R Haas - 1986
24 An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States – John Barnden, Stephen Helmreich, Eric Iverson, Gees C. Stein - 1994
11 Artificial Believers: The Ascription of Belief – A Ballim, Y Wilks - 1991
28 Propositional attitudes: Fregean representation and simulative reasoning – L G Creary - 1979
13 Using Hypothetical Reasoning as a Method for Belief Ascription – Hans Chalupsky - 1993
203 A Deduction Model of Belief – K Konolige - 1986
3 An SLD-resolution calculus for basic serial multimodal logics – Linh Anh Nguyen - 2005
14 Step-logic and the Three-wise-men Problem – Jennifer J. Elgot-drapkin - 1991
13 Multimodal Logic Programming and Its Applications to Modal Deductive Databases – Linh Anh Nguyen - 2003
18 Declarative semantics for modal logic programs – L FariƱas del Cerro Balbiani, A Herzig - 1988
15 A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs – Linh Anh Nguyen - 2001
14 How to use modalities and sorts in Prolog – A Nonnengart
32 Multimodal logic programming using equational and order-sorted logic. Theoretical Computer Science – F Debart, P Enjalbert, M Lescot - 1992
26 An introduction to executable modal and temporal logics – M FISHER, R OWENS - 1995
9 Rational teams: Logical aspects of multi-agent systems – Meyer - 2004