Conferences in DBLP
Wolf Kohn , Anil Nerode Autonomous Control of Hybrid Systems with Declarative Controllers. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian Implementing Stable Semantics by Linear Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Martin Müller , Jürgen Dix Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). [Citation Graph (1, 0)][DBLP ] Conf ] Radek Vingralek Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz Drabent SLS-Resolution without Floundering. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz , Grigori Schwarz Extended Logic Programs as Autoepistemic Theories. [Citation Graph (0, 0)][DBLP ] Conf ] V. Wiktor Marek , Miroslaw Truszczynski Reflective Autoepistemic Logic and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jianhua Chen Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes). [Citation Graph (1, 0)][DBLP ] Conf ] Piero A. Bonatti Autoepistemic Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Bondarenko , Francesca Toni , Robert A. Kowalski An Assumption-Based Framework for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Costantini Contributions to the Stable Model Semantics of Logic Programs with Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Teusink A Characterization of Stable Models using a Non-Monotonic Operator. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Torres Negation as Failure to Support. [Citation Graph (0, 0)][DBLP ] Conf ] Bamshad Mobasher , Jacek Leszczylowski , Don Pigozzi Negation as Partial Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Gottlob Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Chiaki Sakama , Katsumi Inoue Relating Disjunctive Logic Programs to Default Theories. [Citation Graph (2, 0)][DBLP ] Conf ] Artur Mikitiuk , Miroslaw Truszczynski Rational Default Logic and Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Wagner Reasoning with Inconsistency in Extended Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , Carlos Viegas Damásio , José Júlio Alferes Diagnosis and Debugging as Contradiction Removal. [Citation Graph (0, 0)][DBLP ] Conf ] Yehoshua Sagiv Tools for Deductive Databases (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Phan Minh Dung , Luís Moniz Pereira Scenario Semantics of Extended Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Gerhard Brewka An Abductive Framework for Generalized Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , Danny De Schreye Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] P. Geerts , Dirk Vermeir A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Halina Przymusinska Reasoning on Open Domains. [Citation Graph (0, 0)][DBLP ] Conf ] L. Thorne McCarty , Ron van der Meyden An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Fangqing Dong , Laks V. S. Lakshmanan Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas R. Busch A Sequent Axiomatization of Three-valued Logic with Two Negations. [Citation Graph (0, 0)][DBLP ] Conf ] 