Modal logic based theory for non-monotonic reasoning.

Pierre Siegel Camilla Schwind

Published in: J. Appl. Non Class. Logics (1993)

Keyphrases

formal theory
commonsense reasoning
theoretical basis
real world
artificial intelligence
expert systems
general theory
computational model
proof theory
partially ordered
theoretical foundation
modal logic
database
knowledge representation
pairwise
data structure
image sequences
neural network