论文信息 - Input Language of clingo

Input Language of clingo

clingois 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.

Vladimir Lifschitz | V. Lifschitz

[1] I. Niemelä,et al. Extending the Smodels system with cardinality and weight constraints , 2001 .

[2] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.

[3] Vladimir Lifschitz. Intelligent Instantiation and Supersafe Rules , 2016, ICLP.

[4] Ilkka Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.

[5] Herman H. Goldstine,et al. The Computer from Pascal to von Neumann , 1973 .