ALPprolog – A new logic programming method for dynamic domains

Drescher, Conrad; Thielscher, Michael

doi:10.1017/s1471068411000111

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

Publication Types

Select...

Book1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Like most predecessors though, Agent Logic Programs do not yet have an implementation based on the efficient Answer Set Programming technique. Indeed the only existing implementation, ALPprolog, uses prime implicants to solve the entailment problem (Drescher and Thielscher, 2011).…”

Section: Introductionmentioning

confidence: 99%

Online Agent Logic Programming with oClingo

Cerexhe

Gebser

Thielscher

2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The online answer set solver oClingo offers a powerful new technique for uniting the speed of Answer Set Programming (ASP) with dynamic events. The price of this power is paid by increased constraints on the construction of a 'safe' program-one that satisfies an arcane modularity condition. We provide an alternative in the form of so-called Agent Logic Programs-a concise declarative language for describing agent control strategies. Specifically, we take an ASPcompatible subset of Agent Logic Programs, extend it with exogenous actions, argue this translation is faithful to the original definition, and prove that it guarantees oClingo's modularity condition. The result is a safe, clean input language for oClingo and a new implementation for Agent Logic Programs.

show abstract

Section: Introductionmentioning

confidence: 99%