Abstract
clingo is the centerpiece of the collection of ASP-related tools created at the University of Potsdam in Germany, called Potassco (for Potsdam Answer Set Solving Collection). Useful documentation and teaching materials, including information on downloading the latest clingo release and on running clingo in your browser, are available at the website of the Potassco project, https://potassco.org.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Herman Goldstine. The computer from Pascal to von Neumann. Princeton University Press, 1973.
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 7(3):499–562, 2006.
Vladimir Lifschitz. Intelligent instantiation and supersafe rules. In Technical Communications of the 28th International Conference on Logic Programming (ICLP), 2016.
Jorge Lobo, Jack Minker, and Arcot Rajasekar. Foundations of Disjunctive Logic Programming. MIT Press, 1992.
Ilkka Niemelä and Patrik Simons. Efficient implementation of the well-founded and stable model semantics. In Proceedings Joint International Conference and Symposium on Logic Programming, pages 289–303, 1996.
Ilkka Niemelä and Patrik Simons. Extending the Smodels system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 491–521. Kluwer, 2000.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Lifschitz, V. (2019). Input Language of clingo. In: Answer Set Programming. Springer, Cham. https://doi.org/10.1007/978-3-030-24658-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-24658-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-24657-0
Online ISBN: 978-3-030-24658-7
eBook Packages: Computer ScienceComputer Science (R0)