Nonmonotonic inference operations.

Michael Freund Daniel Lehmann

Published in: Log. J. IGPL (1993)

Keyphrases

nonmonotonic inference
nonmonotonic reasoning
conditional logic
default reasoning
neural network
higher order
database
high level
knowledge representation
logic programming