Modelling Normative Frameworks Using Answer Set Programing.

Owen Cliffe Marina De Vos Julian A. Padget

Published in: LPNMR (2009)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics

answer set programs
normal logic programs
multi agent systems
fixpoint
artificial intelligence

semantics of logic programs
database
normal form
data exchange
expert systems

search algorithm
loop formulas
counter examples
high level