Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation.
Trevor J. M. Bench-CaponG. O. RobinsonTom RoutenMarek J. SergotPublished in: ICAIL (1987)
Keyphrases
- logic programming
- logic programs
- case law
- answer set programming
- deductive databases
- legal reasoning
- nonmonotonic reasoning
- knowledge base
- knowledge representation
- logic programming language
- knowledge representation and reasoning
- constraint logic programming
- computational logic
- default logic
- classical logic
- programming language
- knowledge representation language
- stable models
- data mining
- case based reasoning
- procedural semantics
- pseudo boolean constraints
- probabilistic reasoning
- background knowledge
- linear logic
- answer sets
- database systems
- machine learning