Conferences in DBLP
Marc Denecker The Well-Founded Semantics Is the Principle of Inductive Definition. [Citation Graph (0, 0)][DBLP ] Conf ] Pierangelo Dell'Acqua , Fariba Sadri , Francesca Toni Combining Introspection and Communication with Rationality and Reactivity in Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Wenjin Lu , Ulrich Furbach Disjunctive Logic Program = Horn Program + Control Program. [Citation Graph (0, 0)][DBLP ] Conf ] Mauricio Osorio Semantics of Partial-Order Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Wiebe van der Hoek , Jan Jaspars , Elias Thijsse Persistence and Minimality in Epistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Leendert W. N. van der Torre , Yao-Hua Tan Prohairetic Deontic Logic (PDL). [Citation Graph (0, 0)][DBLP ] Conf ] Leendert W. N. van der Torre Phased Labeled Logics of Conditional Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Paola Bonacina Analysis of Distributed-Search Contraction-Based Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] François Bry , Sunna Torge A Deduction Method Complete for Refutation and Finite Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Fuchs Requirement-Based Cooperative Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Sonia M. Leach , James J. Lu , Neil V. Murray , Erik Rosenthal Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Mantel , Christoph Kreitz A Matrix Characterization for MELL. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Monz , Maarten de Rijke A Resolution Calculus for Dynamic Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Pichler Algorithms on Atomic Representations of Herbrand Models. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Linke , Torsten Schaub An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher Towards State Update Axioms: Reifying Successor State Axioms. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy E. Dawson , Rajeev Goré A Mechanised Proof System for Relation Algebra using Display Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demri , Beata Konikowska Relative Similarity Logics are Decidable: Reduction to FO2 with Equality. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Giordano , Valentina Gliozzi , Nicola Olivetti A Conditional Logic for Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Inman P. de Guzmán , Manuel Ojeda-Aciego , Agustín Valverde Implicates and Reduction Techniques for Temporal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Koriche A Logic for Anytime Deduction and Anytime Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Kerber On Knowledge, Strings, and Paradoxes. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Luigi Palopoli , Francesco Scarcello Propositional Lower Bounds: Generalization and Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Jianguo Lu , Masateru Harao , Masami Hagiya Higher Order Generalization. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau Towards Inference and Computation Mobility: The Jinni Experiment. [Citation Graph (0, 0)][DBLP ] Conf ] 