default search action
8. LPNMR 2005: Diamante, Italy
- Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina:
Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Lecture Notes in Computer Science 3662, Springer 2005, ISBN 3-540-28538-5
Invited Papers
- Michael Kifer:
Nonmonotonic Reasoning in FLORA-2. 1-12 - Thomas Eiter:
Data Integration and Answer Set Programming. 13-25 - Jürgen Angele, Eddie Mönch, Henrik Oppermann, Dirk Wenke:
Halo I: A Controlled Experiment for Large Scale Knowledge Base Development. 26-39
ASP Foundations
- Wolfgang Faber
:
Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. 40-52 - Martin Gebser, Torsten Schaub:
Loops: Relevant or Redundant? 53-65 - Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski:
Approximating Answer Sets of Unitary Lifschitz-Woo Programs. 66-78 - Paolo Ferraris:
On Modular Translations and Strong Equivalence. 79-91
ASP Extensions
- Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Guarded Open Answer Set Programming. 92-104 - Francesco Calimeri
External Sources of Computation for Answer Set Solvers. 105-118 - Paolo Ferraris:
Answer Sets for Propositional Theories. 119-131
Applications
- Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe:
An ID-Logic Formalization of the Composition of Autonomous Databases. 132-144 - Alvaro Cortés-Calabuig, Marc Denecker
On the Local Closed-World Assumption of Data-Sources. 145-157 - Carlos Iván Chesñevar
Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. 158-171
Actions and Causations
- Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales:
An Approximation of Action Theories of and Its Application to Conformant Planning. 172-184 - Alberto Finzi
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories. 185-197 - Marek J. Sergot, Robert Craven:
Some Logical Properties of Nonmonotonic Causal Theories. 198-210 - Antonis C. Kakas
Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. 211-226
Algorithms and Computation
- Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele
Platypus: A Platform for Distributed Answer Set Solving. 227-239 - Wolfgang Faber
Solving Hard ASP Programs Efficiently. 240-252 - Hai-Feng Guo:
Mode-Directed Fixed Point Computation. 253-265 - Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko:
Lookahead in Smodels Compared to Local Consistencies in CSP. 266-278
Foundations
- Kewen Wang, Yan Zhang:
Nested Epistemic Logic Programs. 279-290 - Joost Vennekens
An Algebraic Account of Modularity in ID-Logic. 291-303 - Iselin Engan, Tore Langholm
Default Reasoning with Preference Within Only Knowing Logic. 304-316
Semantics
- Francesco Buccafurri
A Social Semantics for Multi-agent Systems. 317-329 - Alex Dekhtyar, Michael I. Dekhtyar:
Revisiting the Semantics of Interval Probabilistic Logic Programs. 330-342 - Sergei P. Odintsov, David Pearce:
Routley Semantics for Answer Sets. 343-355 - Federico Banti, José Júlio Alferes
The Well Supported Semantics for Multidimensional Dynamic Logic Programs. 356-368
Application Track
- Gang Wu, Jia-Huai You, Guohui Lin:
Application of Smodels in Quartet Based Phylogeny Construction. 369-373 - Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner:
Using Answer Set Programming for a Decision Support System. 374-378 - Nicola Leone
Data Integration: a Challenging ASP Application. 379-383 - Kathrin Konczak, Ralf Vogel:
Abduction and Preferences in Linguistics. 384-388 - Irene Papatheodorou
Inference of Gene Relations from Microarray Data by Abduction. 389-393
System Track
- Susanne Grell, Kathrin Konczak, Torsten Schaub:
nomore<: A System for Computing Preferred Answer Sets. 394-398 - Omar El-Khatib, Enrico Pontelli
Integrating an Answer Set Solver into Prolog: ASP-PROLOG. 399-404 - Emilia Oikarinen
circ2dlp - Translating Circumscription into Disjunctive Logic Programming. 405-409 - Lengning Liu, Miroslaw Truszczynski:
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. 410-415 - Thomas Eiter, Michael Fink, Ján Senko:
KMonitor - A Tool for Monitoring Plan Execution in Action Theories. 416-421 - Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ System. 422-426 - Islam Elkabani
SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. 427-431 - Francesco Ricca, Nicola Leone
A DLP System with Object-Oriented Features. 432-436 - Thomas Eiter, Wolfgang Faber
Testing Strong Equivalence of Datalog Programs - Implementation and Examples. 437-441 - Yin Chen, Fangzhen Lin, Lei Li:
SELP - A System for Studying Strong Equivalence Between Logic Programs. 442-446 - Yuliya Lierler:
cmodels - SAT-Based Disjunctive Answer Set Solver. 447-451
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-11-25 22:50 CET 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: