Conferences in DBLP
Joxan Jaffar , Bing Liu , Roland H. C. Yap Forward and Backward Chaining in Constraint Programming (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Buccafurri , Nicola Leone , Pasquale Rullo Strong and Weak Constraints in Disjunctive Datalog. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Zukowski , Burkhard Freitag , Stefan Brass Improving the Alternating Fixpoint: The Transformation Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ch. Pollet , Jeffrey B. Remmel Non-Monotonic Reasoning with Quantified Boolean Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly , Hans Tompits Is Non-Monotonic Reasoning Always Harder? [Citation Graph (0, 0)][DBLP ] Conf ] Riccardo Rosati Complexity of Only Knowing: The Propositional Case. [Citation Graph (0, 0)][DBLP ] Conf ] J. Seitzer , John S. Schlipf Affordable Classes of Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslaw Truszczynski Automated Reasoning with Non-Monotonic Logics (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Howard A. Blair , Fred Dushin , Paul R. Humenn Simulations between Programs as Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen Separating Disbeliefs from Beliefs in Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Guo-Qiang Zhang , William C. Rounds Power Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bochman A Study of Przymusinski's Static Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Piero A. Bonatti Resolution for Skeptical Stable Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , James J. Lu , V. S. Subrahmanian Computing Non-Ground Representations of Stable Models. [Citation Graph (0, 0)][DBLP ] Conf ] Martin R. Karig Industry Needs for Integrated Information Services (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Buchberger Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Viegas Damásio , Luís Moniz Pereira A Paraconsistent Semantics with Contradiction Support Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Dekhtyar , Alexander Ja. Dikovsky , Nicolas Spyratos On Conservative Enforced Updates. [Citation Graph (0, 0)][DBLP ] Conf ] Cees Witteveen , Wiebe van der Hoek A General Framework for Revising Non-Monotonic Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Simone Contiero , Franco Turini Composing General Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Georg Gottlob , Helmut Veith Modular Logic Programming and Generalized Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Vyacheslav Petukhin Programs with Universally Quantified Embedded Implications. [Citation Graph (0, 0)][DBLP ] Conf ] Adnan H. Yahya Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Chandrabose Aravindan , Jürgen Dix , Ilkka Niemelä Dislop: Towards a Disjunctive Logic Programming System. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Viegas Damásio , Luís Moniz Pereira , Michael Schroeder REVISE: Logic Programming and Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Nicola Leone , Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello A Deductive System for Non-Monotonic Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Ulrich Zukowski , Burkhard Freitag The Deductive Database System LOLA. [Citation Graph (0, 0)][DBLP ] Conf ] Antonis C. Kakas , Costas Mourlas ACLP: Flexible Solutions to Complex Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul-Thomas Kandzia Non-Monotonic Reasoning in FLORID. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Neugebauer , Dorothea Schäfer GLUE: Opening the World to Theorem Provers. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä , Patrik Simons Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. [Citation Graph (0, 0)][DBLP ] Conf ] Prasad Rao , Konstantinos F. Sagonas , Terrance Swift , David Scott Warren , Juliana Freire XSB: A System for Effciently Computing WFS. [Citation Graph (0, 0)][DBLP ] Conf ] Torsten Schaub , Pascal Nicolas An Implementation Platform for Query-Answering: X-RAY. [Citation Graph (0, 0)][DBLP ] Conf ] 