Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. LPNMR 2001: Vienna, Austria
- Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski:
Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Lecture Notes in Computer Science 2173, Springer 2001, ISBN 3-540-42593-4
Invited Papers
- Jürgen Dix:
A Computational Logic Approach to Heterogenous Agent Systems. 1-20 - Robert Baumgartner, Sergio Flesca
, Georg Gottlob:
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. 21-41 - Lefteris M. Kirousis, Phokion G. Kolaitis:
On the Complexity of Model Checking and Inference in Minimal Models. 42-53 - Maurizio Lenzerini:
Data Integration Needs Reasoning. 54-61 - Chiaki Sakama:
Nonmonotonic Inductive Logic Programming. 62-80
Regular Paper
- Hudson Turner:
Strong Equivalence for Logic Programs and Default Theories (Made Easy). 81-92 - Tomi Janhunen:
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. 93-106 - V. Wiktor Marek, Jeffrey B. Remmel:
On the Expressibility of Stable Logic Programming. 107-120 - Gerhard Brewka:
On the Relationship between Defeasible Logic and Well-Founded Semantics. 121-132 - Kewen Wang:
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. 133-146 - Piero A. Bonatti:
Reasoning with Open Logic Programs. 147-159 - Pascal Nicolas, Béatrice Duval:
Representation of Incomplete Knowledge by Induction of Default Theories. 160-172 - Véronique Ventos, Pierre Brézellec, Henry Soldano:
Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules. 173-185 - Chitta Baral, Cenk Uyan:
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. 186-199 - Keijo Heljanko, Ilkka Niemelä:
Bounded LTL Model Checking with Stable Models. 200-212 - Michael Gelfond, Marcello Balduccini, Joel Galloway:
Diagnosing Physical Systems in A-Prolog. 213-225 - Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. 226-239 - Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo:
Encoding Solutions of the Frame Problem in Dynamic Logic. 240-253 - Antonis C. Kakas, Rob Miller, Francesca Toni:
E-RES: Reasoning about Actions, Events and Observations. 254-266 - Tommi Syrjänen:
Omega-Restricted Logic Programs. 267-279 - Nicola Leone, Simona Perri, Francesco Scarcello:
Improving ASP Instantiators by Join-Ordering Methods. 280-294 - Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Optimizing the Computation of Heuristics for Answer Set Programming Systems. 295-308 - Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
New Generation Systems for Non-monotonic Reasoning. 309-321 - Chen Avin, Rachel Ben-Eliyahu-Zohary:
Algorithms for Computing X-Minimal Models. 322-335 - Thomas Lukasiewicz:
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. 336-350 - Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
Multi-adjoint Logic Programming with Continuous Semantics. 351-364 - João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
Multi-dimensional Dynamic Knowledge Representation. 365-378 - Carlos Viegas Damásio, Luís Moniz Pereira:
Antitonic Logic Programs. 379-392
System Descriptions
- Bert Van Nuffelen, Antonis C. Kakas:
A-system: Declarative Programming with Abduction. 393-396 - Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
An Update Front-End for Extended Logic Programs. 397-401 - Deborah East, Miroslaw Truszczynski:
aspps - An Implementation of Answer-Set Programming with Propositional Schemata. 402-405 - Christian Anger, Kathrin Konczak, Thomas Linke:
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. 406-410 - James P. Delgrande, Torsten Schaub, Hans Tompits:
plp: A Generic Compiler for Ordered Logic Programs. 411-415 - Piero A. Bonatti:
Prototypes for Reasoning with Infinite Stable Models and Function Symbols. 416-419 - Ramón P. Otero:
psmodels: Stable Models Based on Pertinence. 420-423 - Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer:
System Description: DLV. 424-428 - Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
System Description: The DLVK Planning System. 429-433 - Tommi Syrjänen, Ilkka Niemelä:
The Smodels System. 434-438 - Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira:
The USA-Advisor: A Case Study in Answer Set Planning. 439-442
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
