8. LPNMR 2005:
Diamante,
Italy
Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (Eds.):
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 BibTeX
Invited Papers
ASP Foundations
ASP Extensions
Applications
Actions and Causations
Algorithms and Computation
Foundations
Semantics
Application Track
- Gang Wu, Jia-Huai You, Guohui Lin:
Application of Smodels in Quartet Based Phylogeny Construction.
369-373
Electronic Edition (link) BibTeX
- Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner:
Using Answer Set Programming for a Decision Support System.
374-378
Electronic Edition (link) BibTeX
- Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina:
Data Integration: a Challenging ASP Application.
379-383
Electronic Edition (link) BibTeX
- Kathrin Konczak, Ralf Vogel:
Abduction and Preferences in Linguistics.
384-388
Electronic Edition (link) BibTeX
- Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot:
Inference of Gene Relations from Microarray Data by Abduction.
389-393
Electronic Edition (link) BibTeX
System Track
- Susanne Grell, Kathrin Konczak, Torsten Schaub:
nomore<: A System for Computing Preferred Answer Sets.
394-398
Electronic Edition (link) BibTeX
- Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
Integrating an Answer Set Solver into Prolog: ASP-PROLOG.
399-404
Electronic Edition (link) BibTeX
- Emilia Oikarinen, Tomi Janhunen:
circ2dlp - Translating Circumscription into Disjunctive Logic Programming.
405-409
Electronic Edition (link) BibTeX
- Lengning Liu, Miroslaw Truszczynski:
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.
410-415
Electronic Edition (link) BibTeX
- Thomas Eiter, Michael Fink, Ján Senko:
KMonitor - A Tool for Monitoring Plan Execution in Action Theories.
416-421
Electronic Edition (link) BibTeX
- Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ System.
422-426
Electronic Edition (link) BibTeX
- Islam Elkabani, Enrico Pontelli, Tran Cao Son:
SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates.
427-431
Electronic Edition (link) BibTeX
- Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso:
A DLP System with Object-Oriented Features.
432-436
Electronic Edition (link) BibTeX
- Thomas Eiter, Wolfgang Faber, Patrick Traxler:
Testing Strong Equivalence of Datalog Programs - Implementation and Examples.
437-441
Electronic Edition (link) BibTeX
- Yin Chen, Fangzhen Lin, Lei Li:
SELP - A System for Studying Strong Equivalence Between Logic Programs.
442-446
Electronic Edition (link) BibTeX
- Yuliya Lierler:
cmodels - SAT-Based Disjunctive Answer Set Solver.
447-451
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:29:02 2009
by Michael Ley (ley@uni-trier.de)