Deontic relevant logic as the logical basis for legal information systems.
Jingde ChengPublished in: SAC (2006)
Keyphrases
- information systems
- deontic logic
- classical logic
- legal reasoning
- logical framework
- logic programming
- logical structure
- logical representation
- dynamic logic
- probabilistic logic
- predicate calculus
- logical operations
- logical rules
- information technology
- truth values
- predicate logic
- past cases
- asynchronous circuits
- mathematical theory
- databases
- case based reasoning
- automated reasoning
- computer systems
- systems development
- legal knowledge
- modal logic
- temporal logic
- health care
- closely related
- logical theories
- inconsistent knowledge