Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.

Marc Denecker Maurice Bruynooghe Joost Vennekens

Published in: Correct Reasoning (2012)

Keyphrases

fixpoint
stable models
proof theoretic
model theoretic
semantics of logic programs
logic programs
logic programming

horn clauses
truth values
deductive databases
fixpoint semantics
proof theory
declarative semantics
stable model semantics

minimal models
logical framework
nonmonotonic reasoning
finite state machines
formal semantics
update rule
description logics

query answers
autoepistemic logic
relational databases
normal logic programs
integrity constraints
probability distribution