Conferences in DBLP
Nicholas Asher , Michael Morreau Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] J. Michael Dunn Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gärdenfors Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jereon Groenendijk , Martin Stokhof Two Theories of Dynamic Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Tore Langholm What is a Horn Clause in Partial Logic? [Citation Graph (0, 0)][DBLP ] Conf ] Fernando C. N. Pereira Semantic Interpretation as Higher-Order Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt Action Logic and Pure Induction. [Citation Graph (2, 0)][DBLP ] Conf ] Roland N. Bol Loop Checking and Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Wojciech Buszkowski On Generative Capacity of the Lambek Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Caferra , Nicolas Zabel Extending Resolution for Model Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Davies A First Order Logic of Truth, Knowledge and Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Delahaye , V. Thibau The Optimal Model of a Program with Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Doherty NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Franová Constructive Matching - A Methodology for Inductive Theorem Proving.Citation Graph (0, 0)][DBLP ] Conf ] Michael Freund , Daniel J. Lehmann Deductive Inference Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Frisch , Richard B. Scherl A Constraint Logic Approach to Modal Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Claire Gardent Dynamic Semantics and VP-Ellipsis. [Citation Graph (0, 0)][DBLP ] Conf ] Wiebe van der Hoek Systems for Knowledge and Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] Zhisheng Huang , Karen L. Kwast Awareness, Negation and Logical Omniscience. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Jaspars Theoretical Circumscription in Partial Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Els Laenens , Dirk Vermeir A Logical Basis for Object Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer A Computationally Attractive First-Order Logic of Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Leiß Polymorphic Constructs in Natural and Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Zdravko Markov , Christo Dichev The Net-Clause Language - A Tool for Data-Driven Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Mathieu , Jean-Paul Delahaye The Logical Compilation of Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] John-Jules Ch. Meyer , Wiebe van der Hoek Non-Monotonic Reasoning by Monotonic Means. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Muskens Anaphora and the Logic of Change. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä Towards Automatic Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Petermann Towards a Connection Procedure with Built in Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Amir Rahat , Nissim Francez , Oded Shmueli On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Munindar P. Singh , Nicholas M. Asher Towards a Formal Theory of Intentions. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Stachniak Note on Effective Constructibility of Resolution Proof Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frans Voorbraak The Logic of Objective Knowledge and Rational Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Vreeswijk A Complete Logic for Autoepistemic Membership. [Citation Graph (0, 0)][DBLP ] Conf ] Emil Weydert Doxastic Preference Logic: A New Look at Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Cees Witteveen Partial Semantics for Truth Maintenance - a Compositional Approach. [Citation Graph (0, 0)][DBLP ] Conf ] 