Logic Programming with Functions over Order-Sorted Feature Terms.
Hassan Aït-KaciAndreas PodelskiPublished in: ELP (1992)
Keyphrases
- logic programming
- logic programs
- logic programming language
- knowledge representation and reasoning
- programming language
- nonmonotonic reasoning
- deductive databases
- answer set programming
- computational logic
- function symbols
- knowledge representation
- constraint logic programming
- predicate logic
- general purpose
- knowledge base
- reasoning about actions
- default logic
- linear logic
- inductive logic programming
- background knowledge
- answer sets
- procedural semantics
- pseudo boolean constraints
- machine learning
- object oriented
- query language
- expert systems
- artificial intelligence