Collection on Answer Set Programming (ASP) and more

Torsten Schaub

ASP Systems

(in alphabetical order)

asperix, Angers, France
assat, Hongkong, China
cmodels and sup, Texas, USA
deres, Kentucky, USA
dlv, Vienna, Austria
idp ¹, Leuven, Belgium
platypus, Potsdam, London, Helsinki
Potassco: clasp, gringo, clingo, iclingo, clingcon, and claspar, Potsdam
- Variants of clasp, Istanbul, Turkey
smodels/lparse, Helsinki, Finland

Front-, Back-ends, and further Tools

action languages:
- dlvk (uses dlv)
- ccalc (uses SAT-solvers instead of ASP)
- coala (uses clasp/gringo)
nested logic programming: nlp
preference-handling: plp
planning (from PDDL): plasp
constraint-handling: inca, xpanda
symmetry-breaking: sbass
finite-model computation: fmc2iasp
debugging: spock
Potassco's lab section
Tomi Janhunen's ASP tools

References

A good starting point are definitely the respective urls of the systems: dlv and smodels.
... as well as the manual for gringo.
Here's an easy introduction in German.
Vladimir Lifschitz tutorial
... as well as his introduction to answer set programming.
... as well as the mathematical foundations of answer set programming (co-authored with Paulo Ferraris).
The latter and other articles can be found at the bibliograpy pages of the Texas Action Group.
Michael Gelfond's handbook article on answer sets.
A Glimpse of Answer Set Programming.
Miros $\l$ aw Truszczynski's invited talk at NMR'06.
An overview on dlv.
Tutorials by Ilkka Niemelä can be found on his homepage.
A tutorial on disjunctive logic programming by Wolfgang Faber (pdf.gz,ps.gz)
A report on language extensions by Ilkka Niemelä.
A primer on Answer Set Programming by Thomas Eiter, Giovambattista Ianni, and Thomas Krennwallner

Events

International Conference on Logic Programming And Nonmonotonic Reasoning
International Conference on Logic Programming
International Workshop on Nonmonotonic Reasoning
International Workshop on Answer Set Programming
Nonmonotonic Reasoning, Answer Set Programming and Constraints at Dagsuhl (2002; 2005)
Thirty years of Nonmonotonic Reasoning

Further Resources

European Working Group on Answer Set Programming (WASP)
Asparagus is a benchmark system for answerset programing.
A Library of Logic Programming Systems, Logic Based Systems and Test Cases.
Anthony Kakas' Abductive Constraint Logic Programming.
Marc Denecker's group's software for ID Logic.
Case-study collection.

Applications

agent programming (in Jazzyk; ASP plugin and two applications Jazzbot and Urbibot) [47,60]
argumentation [23,24],
assessment tests [65],
assisted living [56,55,57],
bio-informatics [6,72,73,71,21,31,22,37,63,27,28,17,36] (web),
code optimisation [11,16],
configuration [66],
cryptanalysis [42],
database integration [49],
decision support [59,4],
diagnosis [25,3],
game theory [18],
general game playing [64,69],
hardware design [29,32],
insurance industry [7],
knowledge management [40]
model checking [52,41],
music composition [9,10] (web),
multi-agent planning [68],
operationg systems [34,48],
phylogenesis [45,12],
planning [20,51],
policies [67,14,8,54,58,53,38,15],
robot control [13],
security protocols [1,2,19],
semantic web [26],
student assigments [61],
team-building [39],
tourism [44],
video game maps (warzone),
workflows [70,46],
and more!

Don't hesitate to send me further applications! I'm happy to include them!

Bibliography

1: L. Aiello and F. Massacci.
Verifying security protocols as planning in logic programming.
ACM Transactions on Computational Logic, 2(4):542-580, 2001.
2: A. Armando, L. Compagna, and Y. Lierler.
Automatic compilation of protocol insecurity problems into logic programming.
In J. Alferes and J. Leite, editors, Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA'04), volume 3229 of Lecture Notes in Computer Science, pages 617-627. Springer-Verlag, 2004.
3: M. Balduccini and M. Gelfond.
Diagnostic reasoning with a-prolog.
Theory and Practice of Logic Programming, 3(4-5):425-461, 2003.
4: M. Balduccini and M. Gelfond.
Model-based reasoning for complex flight systems.
In Proceedings of the Fifth AIAA Conference on Aviation, Technology, Integration, and Operations (ATIO'05), 2005.
(available at http://www.krlab.cs.ttu.edu/Papers).
5: C. Baral.
Knowledge Representation, Reasoning and Declarative Problem Solving.
Cambridge University Press, 2003.
6: C. Baral, K. Chancellor, N. Tran, N. Tran, A. Joy, and M. Berens.
A knowledge based approach for representing and reasoning about signaling networks.
In Proceedings of the Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology (ISMB'04/ECCB'04), pages 15-22, 2004.
7: C. Beierle, O. Dusso, and G. Kern-Isberner.
Using answer set programming for a decision support system.
In C. Baral, G. Greco, N. Leone, and G. Terracina, editors, Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), volume 3662 of Lecture Notes in Artificial Intelligence, pages 374-378. Springer-Verlag, 2005.
8: E. Bertino, A. Mileo, and A. Provetti.
Declarative policies for web service selection.
In Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05), pages 239-242. IEEE Computer Society, 2005.
9: G. Boenn, M. Brain, M. de Vos, and J. Fitch.
Automatic composition of melodic and harmonic music by answer set programming.
In Garcia de la Banda and Pontelli [35], pages 160-174.
10: G. Boenn, M. Brain, M. de Vos, and J. Fitch.
Anton: Composing logic and logic composing.
In Erdem et al. [30], pages 542-547.
11: M. Brain, T. Crick, M. de Vos, and J. Fitch.
Toast: Applying answer set programming to superoptimisation.
In Etalle and Truszczynski [33], pages 270-284.
12: D. Brooks, E. Erdem, S. Erdogan, J. Minett, and D. Ringe.
Inferring phylogenetic trees using answer set programming.
Journal of Automated Reasoning, 39(4):471-511, 2007.
13: O. Caldiran, K. Haspalamutgil, A. Ok, C. Palaz, E. Erdem, and V. Patoglu.
Bridging the gap between high-level reasoning and low-level control.
In Erdem et al. [30], pages 342-354.
14: J. Chomicki, J. Lobo, and S. Naqvi.
Conflict resolution using logic programming.
IEEE Transactions on Knowledge and Data Engineering, 15(1):244-249, 2003.
15: O. Cliffe, M. de Vos, and J. Padget.
Modelling normative frameworks using answer set programing.
In Erdem et al. [30], pages 548-553.
16: T. Crick, M. Brain, M. de Vos, and J. Fitch.
Generating optimal code using answer set programming.
In Erdem et al. [30], pages 554-559.
17: A. Dal Palù, A. Dovier, and E. Pontelli.
Logic programming techniques in protein structure determination: Methodologies and results.
In Erdem et al. [30], pages 560-566.
18: M. de Vos and D. Vermeir.
Logic programming agents and game theory.
In Provetti and Son [62].
19: J. Delgrande, T. Grote, and A. Hunter.
A general approach to the verification of cryptographic protocols using answer set programming.
In Erdem et al. [30], pages 355-367.
20: Y. Dimopoulos, B. Nebel, and J. Köhler.
Encoding planning problems in nonmonotonic logic programs.
In S. Steel and R. Alami, editors, Proceedings of the Fourth European Conference on Planning, volume 1348 of Lecture Notes in Artificial Intelligence, pages 169-181. Springer-Verlag, 1997.
21: S. Dworschak, S. Grell, V. Nikiforova, T. Schaub, and J. Selbig.
Modeling biological networks by action languages via answer set programming.
Constraints, 13(1-2):21-65, 2008.
22: S. Dworschak, T. Grote, A. König, T. Schaub, and P. Veber.
The system BioC for reasoning about biological models in action language $\mathcal{C}$ .
In Proceedings of the Twentieth International Conference on Tools with Artificial Intelligence (ICTAI'08), volume 1, pages 11-18. IEEE Computer Society Press, 2008.
23: U. Egly, S. Gaggl, and S. Woltran.
ASPARTIX: Implementing argumentation frameworks using answer-set programming.
In Garcia de la Banda and Pontelli [35], pages 734-738.
24: U. Egly, S. Gaggl, and S. Woltran.
Answer-set programming encodings for argumentation frameworks.
Argument and Computation, 1(2):144-177, 2010.
25: T. Eiter, W. Faber, N. Leone, and G. Pfeifer.
The diagnosis frontend of the dlv system.
AI Communications, 12(1-2):99-111, 1999.
26: T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits.
Combining answer set programming with description logics for the semantic web.
Artificial Intelligence, 172(12-13):1495-1539, 2008.
27: E. Erdem.
PHYLO-ASP: Phylogenetic systematics with answer set programming.
In Erdem et al. [30], pages 567-572.
28: E. Erdem, O. Erdem, and F. Türe.
HAPLO-ASP: Haplotype inference using answer set programming.
In Erdem et al. [30], pages 573-578.
29: E. Erdem, V. Lifschitz, and M. Wong.
Wire routing and satisfiability planning.
In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. Pereira, Y. Sagiv, and P. Stuckey, editors, Proceedings of the First International Conference on Computational Logic (CL'00), volume 1861 of Lecture Notes in Computer Science, pages 822-836. Springer-Verlag, 2000.
30: E. Erdem, F. Lin, and T. Schaub, editors.
Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), volume 5753 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2009.
31: E. Erdem and F. Türe.
Efficient haplotype inference with answer set programming.
In D. Fox and C. Gomes, editors, Proceedings of the Twenty-third National Conference on Artificial Intelligence (AAAI'08), pages 436-441. AAAI Press, 2008.
32: E. Erdem and M. Wong.
Rectilinear Steiner tree construction using answer set programming.
In B. Demoen and V. Lifschitz, editors, Proceedings of the Twentieth International Conference on Logic Programming (ICLP'04), volume 3132 of Lecture Notes in Computer Science, pages 386-399. Springer-Verlag, 2004.
33: S. Etalle and M. Truszczynski, editors.
Proceedings of the Twenty-second International Conference on Logic Programming (ICLP'06), volume 4079 of Lecture Notes in Computer Science. Springer-Verlag, 2006.
34: F. Gagnon and B. Esfandiari.
Using answer set programming to enhance operating system discovery.
In Erdem et al. [30], pages 579-584.
35: M. Garcia de la Banda and E. Pontelli, editors.
Proceedings of the Twenty-fourth International Conference on Logic Programming (ICLP'08), volume 5366 of Lecture Notes in Computer Science. Springer-Verlag, 2008.
36: M. Gebser, C. Guziolowski, M. Ivanchev, T. Schaub, A. Siegel, S. Thiele, and P. Veber.
Repair and prediction (under inconsistency) in large biological networks with answer set programming.
In F. Lin and U. Sattler, editors, Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10), pages 497-507. AAAI Press, 2010.
37: M. Gebser, T. Schaub, S. Thiele, B. Usadel, and P. Veber.
Detecting inconsistencies in large biological networks with answer set programming.
In Garcia de la Banda and Pontelli [35], pages 130-144.
38: M. Gelfond and J. Lobo.
Authorization and obligation policies in dynamic systems.
In Garcia de la Banda and Pontelli [35], pages 22-36.
39: G. Grasso, S. Iiritano, N. Leone, V. Lio, F. Ricca, and F. Scalise.
An ASP-based system for team-building in the Gioia-Tauro seaport.
In M. Carro and R. Peña, editors, Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages (PADL'10), volume 5937 of Lecture Notes in Computer Science, pages 40-42. Springer-Verlag, 2010.
40: G. Grasso, S. Iiritano, N. Leone, and F. Ricca.
Some DLV applications for knowledge management.
In Erdem et al. [30], pages 591-597.
41: K. Heljanko and I. Niemelä.
Bounded LTL model checking with stable models.
Theory and Practice of Logic Programming, 3(4-5):519-550, 2003.
42: M. Hietalahti, F. Massacci, and I. Niemelä.
Des: a challenge problem for nonmonotonic reasoning systems.
CoRR, cs.AI/0003039, 2000.
43: P. Hill and D. Warren, editors.
Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP'09), volume 5649 of Lecture Notes in Computer Science. Springer-Verlag, 2009.
44: S. Ielpa, S. Iiritano, N. Leone, and F. Ricca.
An ASP-based system for e-tourism.
In Erdem et al. [30], pages 368-381.
45: J. Kavanagh, D. Mitchell, E. Ternovska, J. Manuch, X. Zhao, and A. Gupta.
Constructing Camin-Sokal phylogenies via answer set programming.
In M. Hermann and A. Voronkov, editors, Proceedings of the Thirteenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), volume 4246 of Lecture Notes in Computer Science, pages 452-466. Springer-Verlag, 2006.
46: P. Koksal, N. Cicekli, and I. Toroslu.
Specification of workflow process using the action description language C.
In Provetti and Son [62].
47: Michael Köster, Peter Novák, David Mainzer, and Bernd Fuhrmann.
Two case studies for jazzyk bsm.
In F. Dignum, J. Bradshaw, B. Silverman, and W. van Doesburg, editors, AGS, volume 5920 of Lecture Notes in Computer Science, pages 33-47. Springer, 2009.
48: V. Kumar and J. Delgrande.
Optimal multicore scheduling: An application of ASP techniques.
In Erdem et al. [30], pages 604-609.
49: N. Leone, G. Greco, G. Ianni, V. Lio, G. Terracina, T. Eiter, W. Faber, M. Fink, G. Gottlob, R. Rosati, D. Lembo, M. Lenzerini, M. Ruzzi, E. Kalka, B. Nowicki, and W. Staniszkis.
The INFOMIX system for advanced integration of incomplete and inconsistent data.
In F. Özcan, editor, Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD'05), pages 915-917. ACM Press, 2005.
50: V. Lifschitz.
Foundations of logic programming.
In G. Brewka, editor, Principles of Knowledge Representation, pages 69-127. CSLI Publications, 1996.
51: V. Lifschitz.
Answer set programming and plan generation.
Artificial Intelligence, 138(1-2):39-54, 2002.
52: X. Liu, C. Ramakrishnan, and S. Smolka.
Fully local and efficient evaluation of alternating fixed points (extended abstract).
In B. Steffen, editor, TACAS, volume 1384 of Lecture Notes in Computer Science, pages 5-19. Springer-Verlag, 1998.
53: J. Lobo.
Policy-based computing: From systems and applications to theory.
In C. Baral, G. Brewka, and J. Schlipf, editors, Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), volume 4483 of Lecture Notes in Artificial Intelligence, page 2. Springer-Verlag, 2007.
54: A. Mileo.
Preference Specification and Enforcement in Declarative Policies.
PhD thesis, Universitá degli Studi di Milano, 2006.
55: A. Mileo, D. Merico, and R. Bisiani.
A logic programming approach to home monitoring for risk prevention in assisted living.
In Garcia de la Banda and Pontelli [35], pages 145-159.
56: A. Mileo, D. Merico, and R. Bisiani.
Wireless sensor networks supporting context-aware reasoning in assisted living.
In F. Makedon and L. Baillie, editors, Proceedings of the ACM International Conference on Pervasive Technologies Related to Assistive Environments (PETRA'08), volume 282 of ACM International Conference Proceeding Series, page 54. ACM, 2008.
57: A. Mileo, D. Merico, and R. Bisiani.
Non-monotonic reasoning supporting wireless sensor networks for intelligent monitoring: The SINDI system.
In Erdem et al. [30], pages 585-590.
58: A. Mileo and T. Schaub.
Extending ordered disjunctions for policy enforcement: Preliminary report.
In E. Pontelli and T. Son, editors, Proceedings of the International Workshop on Preferences in Logic Programming Systems (PREFS'06), pages 45-59, 2006.
59: M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, and M. Barry.
An A-prolog decision support system for the space shuttle.
In I. Ramakrishnan, editor, Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), volume 1990 of Lecture Notes in Computer Science, pages 169-183. Springer-Verlag, 2001.
60: P. Novák.
Behavioural State Machines: Agent Programming and Engineering.
PhD thesis, Faculty of Mathematics/Computer Science and Mechanical Engineering, Clausthal University of Technology, Germany, September 2009.
61: J. Oetsch, M. Seidl, H. Tompits, and S. Woltran.
cct on stage: Generalised uniform equivalence testing for verifying student assignment solutions.
In Erdem et al. [30], pages 382-395.
62: A. Provetti and T. Son, editors.
Proceedings of the AAAI Spring Symposium on Answer Set Programming (ASP'01). AAAI/The MIT Press, 2001.
63: T. Schaub and S. Thiele.
Metabolic network expansion with ASP.
In Hill and Warren [43], pages 312-326.
64: S. Schiffel and M. Thielscher.
Automated theorem proving for general game playing.
In C. Boutilier, editor, Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09), pages 911-916. AAAI Press/The MIT Press, 2009.
65: P. Schwaiger and B. Freitag.
Using answer set programming for the automatic compilation of assessment tests.
In Etalle and Truszczynski [33], pages 300-314.
66: T. Soininen and I. Niemelä.
Developing a declarative rule language for applications in product configuration.
In G. Gupta, editor, Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (PADL'99), volume 1551 of Lecture Notes in Computer Science, pages 305-319. Springer-Verlag, 1999.
67: T. Son and J. Lobo.
Reasoning about policies using logic programs.
In Provetti and Son [62].
68: T. Son, E. Pontelli, and C. Sakama.
Logic programming for multiagent planning with negotiation.
In Hill and Warren [43], pages 99-114.
69: M. Thielscher.
Answer set programming for single-player games in general game playing.
In Hill and Warren [43], pages 327-341.
70: G. Trajcevski, C. Baral, and J. Lobo.
Formalizing and reasoning about the requirements specifications of workflow systems.
International Journal of Cooperative Information Systems, 10(4):483-507, 2001.
71: N. Tran.
Reasoning and hypothesing about signaling networks.
PhD thesis, Arizona State University, December 2006.
72: N. Tran and C. Baral.
Reasoning about triggered actions in AnsProlog and its application to molecular interactions in cells.
In D. Dubois, C. Welty, and M. Williams, editors, Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR'04), pages 554-564. AAAI Press, 2004.
73: N. Tran, C. Baral, and C. Shankland.
Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge.
In M. Veloso and S. Kambhampati, editors, Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI'05), pages 676-681. AAAI Press, 2005.

About this document ...

Collection on Answer Set Programming (ASP) and more

This document was generated using the LaTeX2HTML translator Version 2008 (1.71)

The command line arguments were:
latex2html -split 0 asp

The translation was initiated by Torsten Schaub on 2011-03-29

Footnotes

...http://dtai.cs.kuleuven.be/krr/software/idp ¹: An ASP system based on model generation for extensions of classical logic.

Torsten Schaub 2011-03-29