Login / Signup
A Model-Theoretic Approach to Belief Change in Answer Set Programming.
James P. Delgrande
Torsten Schaub
Hans Tompits
Stefan Woltran
Published in:
ACM Trans. Comput. Log. (2013)
Keyphrases
</>
answer set programming
logic programs
belief change
high level
natural language
logic programming
stable models