Specifying and Analysing Institutions in Multi- Agent Systems Using Answer Set Programming
(2007) : Cliffe, Owen
url:
https://purehost.bath.ac.uk/ws/portalfiles/portal/187933801/thesis.pdf#InstaL #logic #institution #MAS #clingo #ASP #my_bibtex
Abstract gringo | Theory and Practice of Logic Programming | Cambridge Core
Abstract gringo - Volume 15 Issue 4-5
Multi-shot ASP solving with clingo
(2018) : Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
DOI:
https://doi.org/10.1017/s1471068418000054#ASP #answer_set_programming #clingo #logic_programming #multi_shot_solving#my_bibtex
Multi-shot ASP solving with clingo | Theory and Practice of Logic Programming | Cambridge Core
Multi-shot ASP solving with clingo - Volume 19 Issue 1
Abstract Gringo
(2015) : Martin Gebser and Amelia Harrison and Roland Kaminski and Vladimir Lifschitz and Torsten Schaub
DOI:
https://doi.org/10.1017/s1471068415000150#clingo #gringo #logic #logic_programming #symbol_grounding#my_bibtexSpecifying and Analysing Institutions in Multi- Agent Systems Using Answer Set Programming
(2007) : Cliffe, Owen
url:
https://purehost.bath.ac.uk/ws/portalfiles/portal/187933801/thesis.pdf#ASP #InstaL #MAS #clingo #institution #logic#my_bibtexA User's Guide To Gringo, Clasp, Clingo, and Iclingo
(2008) : Eiter, Thomas and Faber, Wolfgang and Fink, Michael and Woltran, Stefan
url:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.541#ansprolog #answer_set_programming #clingo #log#my_bibtex
CiteSeerX — A User’s Guide to gringo, clasp, clingo, and iclingo
CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): This document provides an introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo, and iclingo, developed at the University of Potsdam. The first tool, gringo, is a grounder capable of translating logic pro-grams provided by users into equivalent propositional logic programs. The answer sets of such programs can be computed by clasp, which is a solver. The third tool, clingo, integrates the functionalities of gringo and clasp, thus, acting as a monolithic solver for user programs. Finally, iclingo extends clingo by an incremental mode that incorporates both grounding and solving. For one, this document aims at enabling ASP novices to make use of the aforementioned tools. For another, it provides a reference of their features that ASP adepts might be tempted to exploit. Note that this document contains a lot of examples. For convienience no examples have to be typed in by hand instead they can directly be safed to disc by clicking them.
nope
José A. Alonso