Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law.
S. BertarelloStefania CostantiniGaetano Aurelio LanzaronePublished in: ICLP Workshop: Legal Application of Logic Programming (1994)
Keyphrases
- logic programming
- explanation based learning
- logic programs
- answer set programming
- logic programming language
- constraint logic programming
- domain theory
- deductive databases
- nonmonotonic reasoning
- default logic
- inductive learning
- inductive logic programming
- knowledge representation
- probabilistic model
- horn clause logic
- machine learning
- answer sets
- programming language
- domain knowledge
- search control knowledge
- inference rules
- computational logic
- function symbols
- representation language
- search space
- search algorithm
- knowledge base