The Role of Functions in the Stable Model Semantics.

Michael Bartholomew

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

logic programs
logic programming
stable models
normal logic programs
situation calculus
fixpoint
stable model semantics
datalog programs
programming language
deductive databases
answer set programming
autoepistemic logic
logic programs with negation
databases
answer sets
semantics for logic programs