Conferences in DBLP
Jürgen Dix A Computational Logic Approach to Heterogenous Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Baumgartner , Sergio Flesca , Georg Gottlob Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. [Citation Graph (0, 0)][DBLP ] Conf ] Lefteris M. Kirousis , Phokion G. Kolaitis On the Complexity of Model Checking and Inference in Minimal Models. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Lenzerini Data Integration Needs Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Chiaki Sakama Nonmonotonic Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hudson Turner Strong Equivalence for Logic Programs and Default Theories (Made Easy). [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. [Citation Graph (0, 0)][DBLP ] Conf ] V. Wiktor Marek , Jeffrey B. Remmel On the Expressibility of Stable Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka On the Relationship between Defeasible Logic and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Kewen Wang A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Piero A. Bonatti Reasoning with Open Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Nicolas , Béatrice Duval Representation of Incomplete Knowledge by Induction of Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Véronique Ventos , Pierre Brézellec , Henry Soldano Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Cenk Uyan Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Keijo Heljanko , Ilkka Niemelä Bounded LTL Model Checking with Stable Models. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Marcello Balduccini , Joel Galloway Diagnosing Physical Systems in A-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Tran Cao Son , Chitta Baral , Sheila A. McIlraith Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Norman Y. Foo , Dongmo Zhang , Yan Zhang , Samir Chopra , Quoc Bao Vo Encoding Solutions of the Frame Problem in Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Antonis C. Kakas , Rob Miller , Francesca Toni E-RES: Reasoning about Actions, Events and Observations. [Citation Graph (0, 0)][DBLP ] Conf ] Tommi Syrjänen Omega-Restricted Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Leone , Simona Perri , Francesco Scarcello Improving ASP Instantiators by Join-Ordering Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Faber , Nicola Leone , Gerald Pfeifer Optimizing the Computation of Heuristics for Answer Set Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan New Generation Systems for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Chen Avin , Rachel Ben-Eliyahu-Zohary Algorithms for Computing X-Minimal Models. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Lukasiewicz Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Medina , Manuel Ojeda-Aciego , Peter Vojtás Multi-adjoint Logic Programming with Continuous Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira Multi-dimensional Dynamic Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Viegas Damásio , Luís Moniz Pereira Antitonic Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bert Van Nuffelen , Antonis C. Kakas A-system: Declarative Programming with Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Michael Fink , Giuliana Sabbatini , Hans Tompits An Update Front-End for Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah East , Miroslaw Truszczynski aspps - An Implementation of Answer-Set Programming with Propositional Schemata. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Anger , Kathrin Konczak , Thomas Linke NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande , Torsten Schaub , Hans Tompits plp: A Generic Compiler for Ordered Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Piero A. Bonatti Prototypes for Reasoning with Infinite Stable Models and Function Symbols. [Citation Graph (0, 0)][DBLP ] Conf ] Ramón P. Otero psmodels: Stable Models Based on Pertinence. [Citation Graph (0, 0)][DBLP ] Conf ] Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Christoph Koch , Nicola Leone , Simona Perri , Gerald Pfeifer System Description: DLV. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer , Axel Polleres System Description: The DLVK Planning System. [Citation Graph (0, 0)][DBLP ] Conf ] Tommi Syrjänen , Ilkka Niemelä The Smodels System. [Citation Graph (0, 0)][DBLP ] Conf ] Marcello Balduccini , Michael Gelfond , Richard Watson , Monica Nogueira The USA-Advisor: A Case Study in Answer Set Planning. [Citation Graph (0, 0)][DBLP ] Conf ] 