Conferences in DBLP
Peter Baumgartner , Ulrich Furbach , Ilkka Niemelä Hyper Tableaux. [Citation Graph (0, 0)][DBLP ] Conf ] Hans de Nivelle An Algorithm for the Retrieval of Unifiers from Discrimination Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Bourely , Gilles Défourneaux , Nicolas Peltier Building Proofs or Counterexamples by Analogy in a Resoluton Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Anatoli Degtyarev , Andrei Voronkov What You Always Wanted to Know About Rigid E-Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Artosi , Paola Benassi , Guido Governatori , Antonino Rotolo Labelled Proofs for Quantified Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco M. Donini , Fabio Massacci , Daniele Nardi , Riccardo Rosati A Uniform Tableaux Method for Nonmonotonic Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Fröhlich , Wolfgang Nejdl , Michael Schroeder Design and Implementation of Diagnostic Strategies Using Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Filipe Santos , José Carmo A Modal Action Logic Based Framework for Organization Specification and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Genesereth McCarthy's Idea. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Luís Moniz Pereira , Teodor C. Przymusinski Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Joeri Engelfriet Only Persistence Makes Nonmonotonicity Monotonous. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantinos Georgatos Ordering-Based Representations of Rational Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Artur Mikitiuk Semi-Representability of Default Theories in Rational Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Viorica Ciorba A Query Answering Algorithm for Lukaszewicz' General Open Default Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Joeri Engelfriet , V. Wiktor Marek , Jan Treur , Miroslaw Truszczynski Infinitary Default Logic for Specification of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Grigoris Antoniou , Allen P. Courtney , Jörg Ernst , Mary-Anne Williams A System for Computing Constrained Default Logic Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Gert Smolka The Oz Programming Model. [Citation Graph (0, 0)][DBLP ] Conf ] Chandrabose Aravindan An Abductive Framework for Negation in Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brass , Jürgen Dix Characterizing D-WFS: Confluence and Iterated GCWA. [Citation Graph (0, 0)][DBLP ] Conf ] Vasco Pedro , Luís Monteiro Modules and Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski Logic Programming with Integrity Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Enciso , Inman P. de Guzmán , Carlos Rossi Temporal Reasoning over Linear Discrete Time. [Citation Graph (0, 0)][DBLP ] Conf ] Regimantas Pliuskevicius Similarity Saturation for First Order Linear Temporal Logic with UNLESS. [Citation Graph (0, 0)][DBLP ] Conf ] Brandon Bennett Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Forcheri , Paolo Gentilini , Maria Teresa Molfino Informational Logic for Automated Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kaminski , Johann A. Makowsky , Michael L. Tiomkin Extensions for Open Default Theories via the Domain Closure Assumption. [Citation Graph (0, 0)][DBLP ] Conf ] Cees Witteveen , Wiebe van der Hoek Revising and Updating Using a Back-Up Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Besnard , Torsten Schaub A Simple Signed System for Paraconsistent Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] 