Logo des Repositoriums

Auflistung nach Schlagwort "Answer set programming"

1 - 2 von 2
  • Zeitschriftenartikel
    An ASP Implementation of Defeasible Deontic Logic
    (KI - Künstliche Intelligenz: Vol. 38, No. 0, 2024) Governatori, Guido
    We present a novel implementation of Defeasible Deontic Logic as an Answer Set Programming meta-program, and we evaluate the performance of the implementation against a recent set of benchmarks.
  • Zeitschriftenartikel
    Centurio, a General Game Player: Parallel, Java- and ASP-based
    (KI - Künstliche Intelligenz: Vol. 25, No. 1, 2011) Möller, Maximilian; Schneider, Marius; Wegner, Martin; Schaub, Torsten
    We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by techniques borrowed from Upper Confidence bounds applied to Trees as well as Answer Set Programming (for single-player games). Centurio’s Monte Carlo Tree Search is accomplished in a massively parallel way by means of multi-threading as well as cluster-computing. Another major feature of Centurio is its compilation of game descriptions, states, and state manipulations into Java, yielding an edge over existing Prolog-based approaches. Centurio is open source software freely available via the web.