A Computationally Tractable Nonmonotonic Logic.

Thomas J. Weigert Jeffrey J. P. Tsai

Published in: IEEE Trans. Knowl. Data Eng. (1994)

Keyphrases

computationally tractable
nonmonotonic logics
default logic
modal logic
propositional logic
nonmonotonic reasoning
np hard
default theories
defeasible logic
chance constrained
neural network
logic programming
default reasoning
formal specification
machine learning