Logic, Prolog, and Legal Sentence.
Cornell PopaYonut LopatanSorin StratulatPublished in: ICLP Workshop: Legal Application of Logic Programming (1994)
Keyphrases
- logic programming
- logic programs
- natural language
- knowledge representation
- classical logic
- legal information
- defeasible logic
- modal logic
- automated reasoning
- sentence level
- expert systems
- legal reasoning
- asynchronous circuits
- logic programming language
- proof theory
- predicate logic
- multi valued
- legal knowledge
- legal information retrieval
- prolog programs
- artificial intelligence and law
- abstract machine
- artificial intelligence
- discourse structure
- constraint logic programming
- inference engine
- default logic
- answer set programming
- information extraction
- knowledge base