Specification of Nonmonotonic Reasonong.

Joeri Engelfriet Jan Treur

Published in: FAPR (1996)

Keyphrases

nonmonotonic reasoning
information systems
high level
multiple inheritance
nonmonotonic logics
specification language
database
logic programming
formal specification
protocol specification
provably correct
default rules
autoepistemic logic
formal language
defeasible logic
user defined
real time