Login / Signup

Algorithmic definitions for KLM-style defeasible disjunctive Datalog.

Matthew MorrisTala RossThomas Meyer
Published in: South Afr. Comput. J. (2020)
Keyphrases
  • disjunctive datalog
  • expressive power
  • disjunctive logic programming
  • defeasible logic
  • datalog programs
  • propositional logic
  • default logic
  • complexity theoretic
  • deontic logic
  • expert systems
  • polynomial hierarchy