Deductive Nonmonotonic Inference Operations: Antitonic Representations.

Yuri Kaluzhny Daniel Lehmann

Published in: J. Log. Comput. (1995)

Keyphrases

nonmonotonic inference
nonmonotonic reasoning
real time
neural network
higher level
belief revision
object oriented
logic programming