Conferences in DBLP
Samson Abramsky A Cook's Tour of the Finitary Non-Well-Founded Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei N. Artëmov Existential Semantics for Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David Ahn , Sisay Fissaha Adafre , Maarten de Rijke Recognizing and Interpreting Temporal Expressions in Open Domain Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Atocha Aliseda What is a Logical System? A Commentary. [Citation Graph (0, 0)][DBLP ] Conf ] Amihood Amir Two Glass Balls and a Tower. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Areces , Patrick Blackburn Reichenbach, Prior and Montague: A Semantic Get-together. [Citation Graph (0, 0)][DBLP ] Conf ] Wouter van Atteveldt , Stefan Schlobach A Modal View on Polder Politics. [Citation Graph (0, 0)][DBLP ] Conf ] Arnon Avron Logical Non-determinism as a Tool for Logical Modularity: An Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Rosalie Iemhoff On the Proof Theory of the Existence Predicate. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Bader , Pascal Hitzler Dimensions of Neural-symbolic Integration - A Structured Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Barringer , David E. Rydeheard Modelling Evolvable Systems: A Temporal Logic View. [Citation Graph (0, 0)][DBLP ] Conf ] Johan van Benthem Open Problems in Logic and Games. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bochman Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Krysia Broda , Alessandra Russo Compiled Labelled Deductive Systems for Access Control. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bruza , Richard J. Cole Quantum Logic of Semantic Space: An Exploratory Investigation of Context Effects in Practical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Caleiro , Amílcar Sernadas , Cristina Sernadas Fibring Logics: Past, Present and Future. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Alexandre Carnielli , Marcelo E. Coniglio Splitting Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Ariel Cohen , Michael Kaminski , Johann A. Makowsky Indistinguishability by Default. [Citation Graph (0, 0)][DBLP ] Conf ] Marcello D'Agostino Classical Natural Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Artur S. d'Avila Garcez , Luís C. Lamb Neural-Symbolic Systems and the Case for Non-Classical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Anuj Dawar How Many First-order Variables are Needed on Finite Ordered Structures? [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix , Ugur Kuter , Dana S. Nau Planning in Answer Set Programming using Ordered Task Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Kosta Dosen , Zoran Petric Negation and Involutive Adjunctions. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fariñas del Cerro , Olivier Gasquet , Andreas Herzig , Mohamad Sahade Modal Tableaux: Completeness vs. Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ferraris , Vladimir Lifschitz Mathematical Foundations of Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Melvin Fitting A Mistake on My Part. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo Finger DAG Sequents with Substitution. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Fox , Shalom Lappin Polymorphic Quantifiers and Underspecification in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gabbay , Murdoch Gabbay Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Murdoch Gabbay , Michael Gabbay a-logic. [Citation Graph (0, 0)][DBLP ] Conf ] 