Login / Signup
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.
Thomas Eiter
Giovambattista Ianni
Roman Schindlauer
Hans Tompits
Published in:
WLP (2006)
Keyphrases
</>
integrating multiple
answer set programming
logic programming
update semantics
logic programs
reasoning tasks
stable model semantics
answer sets
disjunctive logic programming
programming language
constraint logic programming
answer set semantics
answer set programs
conceptual model
action language