Generating Explicit Orderings for Non-monotonic Logics.

James Cussens Anthony Hunter Ashwin Srinivasan

Published in: AAAI (1993)

Keyphrases

modal logic
expressive power
expert systems

query language
website

database systems
multi agent

knowledge representation
inference rules