Conferences in DBLP
Jürgen Dix A Computational Logic Approach to Heterogenous Agent Systems. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:1-20 [Conf ] Robert Baumgartner , Sergio Flesca , Georg Gottlob Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:21-41 [Conf ] Lefteris M. Kirousis , Phokion G. Kolaitis On the Complexity of Model Checking and Inference in Minimal Models. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:42-53 [Conf ] Maurizio Lenzerini Data Integration Needs Reasoning. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:54-61 [Conf ] Chiaki Sakama Nonmonotonic Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:62-80 [Conf ] Hudson Turner Strong Equivalence for Logic Programs and Default Theories (Made Easy). [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:81-92 [Conf ] Tomi Janhunen On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:93-106 [Conf ] V. Wiktor Marek , Jeffrey B. Remmel On the Expressibility of Stable Logic Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:107-120 [Conf ] Gerhard Brewka On the Relationship between Defeasible Logic and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:121-132 [Conf ] Kewen Wang A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:133-146 [Conf ] Piero A. Bonatti Reasoning with Open Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:147-159 [Conf ] Pascal Nicolas , Béatrice Duval Representation of Incomplete Knowledge by Induction of Default Theories. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:160-172 [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 ] LPNMR, 2001, pp:173-185 [Conf ] Chitta Baral , Cenk Uyan Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:186-199 [Conf ] Keijo Heljanko , Ilkka Niemelä Bounded LTL Model Checking with Stable Models. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:200-212 [Conf ] Michael Gelfond , Marcello Balduccini , Joel Galloway Diagnosing Physical Systems in A-Prolog. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:213-225 [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 ] LPNMR, 2001, pp:226-239 [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 ] LPNMR, 2001, pp:240-253 [Conf ] Antonis C. Kakas , Rob Miller , Francesca Toni E-RES: Reasoning about Actions, Events and Observations. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:254-266 [Conf ] Tommi Syrjänen Omega-Restricted Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:267-279 [Conf ] Nicola Leone , Simona Perri , Francesco Scarcello Improving ASP Instantiators by Join-Ordering Methods. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:280-294 [Conf ] Wolfgang Faber , Nicola Leone , Gerald Pfeifer Optimizing the Computation of Heuristics for Answer Set Programming Systems. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:295-308 [Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan New Generation Systems for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:309-321 [Conf ] Chen Avin , Rachel Ben-Eliyahu-Zohary Algorithms for Computing X-Minimal Models. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:322-335 [Conf ] Thomas Lukasiewicz Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:336-350 [Conf ] Jesús Medina , Manuel Ojeda-Aciego , Peter Vojtás Multi-adjoint Logic Programming with Continuous Semantics. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:351-364 [Conf ] João Alexandre Leite , José Júlio Alferes , Luís Moniz Pereira Multi-dimensional Dynamic Knowledge Representation. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:365-378 [Conf ] Carlos Viegas Damásio , Luís Moniz Pereira Antitonic Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:379-392 [Conf ] Bert Van Nuffelen , Antonis C. Kakas A-system: Declarative Programming with Abduction. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:393-396 [Conf ] Thomas Eiter , Michael Fink , Giuliana Sabbatini , Hans Tompits An Update Front-End for Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:397-401 [Conf ] Deborah East , Miroslaw Truszczynski aspps - An Implementation of Answer-Set Programming with Propositional Schemata. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:402-405 [Conf ] Christian Anger , Kathrin Konczak , Thomas Linke NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:406-410 [Conf ] James P. Delgrande , Torsten Schaub , Hans Tompits plp: A Generic Compiler for Ordered Logic Programs. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:411-415 [Conf ] Piero A. Bonatti Prototypes for Reasoning with Infinite Stable Models and Function Symbols. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:416-419 [Conf ] Ramón P. Otero psmodels: Stable Models Based on Pertinence. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:420-423 [Conf ] Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Christoph Koch , Nicola Leone , Simona Perri , Gerald Pfeifer System Description: DLV. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:424-428 [Conf ] Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer , Axel Polleres System Description: The DLVK Planning System. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:429-433 [Conf ] Tommi Syrjänen , Ilkka Niemelä The Smodels System. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:434-438 [Conf ] Marcello Balduccini , Michael Gelfond , Richard Watson , Monica Nogueira The USA-Advisor: A Case Study in Answer Set Planning. [Citation Graph (0, 0)][DBLP ] LPNMR, 2001, pp:439-442 [Conf ]