Modeling of Resilient Systems in Default Logic.

Andrei Doncescu

Published in: ILP (Late Breaking Papers) (2013)

Keyphrases

default logic
default theories
logic programming
nonmonotonic logics
autoepistemic logic
nonmonotonic reasoning
dynamic programming
default reasoning
databases
high level
graphical models
default rules
truth maintenance systems