Default theories over monadic languages.

Michael Kaminski Julia Rubin-Mosin

Published in: Theor. Comput. Sci. (2006)

Keyphrases

default theories
default logic
autoepistemic logic
deductive databases
revision operators
logic programming
nonmonotonic reasoning
expressive power
nonmonotonic logics
default reasoning
datalog queries
answer set programming
classical logic
datalog programs
answer sets
image segmentation
databases
database