Login / Signup

A Survey of Complexity Results for Nonmonotonic Logics.

Marco CadoliMarco Schaerf
Published in: J. Log. Program. (1993)
Keyphrases
  • nonmonotonic logics
  • modal logic
  • default logic
  • nonmonotonic reasoning
  • propositional logic
  • general purpose
  • neural network
  • decision trees
  • software engineering
  • knowledge based systems
  • defeasible logic