Nonmonotonic Logic and Temporal Projection.

Steve Hanks Drew V. McDermott

Published in: Artif. Intell. (1987)

Keyphrases

nonmonotonic logics
nonmonotonic reasoning
propositional logic
default logic
modal logic
temporal information
default theories
temporal reasoning
artificial intelligence
high level
sufficient conditions