Workshop Report: Application of Logic Programming to Legal Reasoning.
Robert A. KowalskiPublished in: New Gener. Comput. (1995)
Keyphrases
- logic programming
- logic programs
- legal reasoning
- nonmonotonic reasoning
- deductive databases
- defeasible reasoning
- answer sets
- knowledge base
- knowledge representation
- logic programming language
- programming language
- stable models
- legal knowledge representation
- answer set programming
- reasoning about actions
- inductive logic programming
- knowledge representation and reasoning
- constraint logic programming
- high level
- computational logic
- pseudo boolean constraints
- database
- inference rules
- default logic
- formal model
- software engineering
- defeasible logic
- case based reasoning