Resolution for Logic Programming with Universal Quantifiers.
Antony Francis BowersPatricia M. HillFrancisco IbañezPublished in: PLILP (1997)
Keyphrases
- logic programming
- logic programs
- answer set programming
- programming language
- deductive databases
- nonmonotonic reasoning
- logic programming language
- knowledge representation
- knowledge representation and reasoning
- computational logic
- knowledge base
- default logic
- answer sets
- stable models
- classical logic
- inductive logic programming
- reasoning about actions
- constraint logic programming
- pseudo boolean constraints
- function symbols
- first order logic
- software engineering
- xml documents
- autoepistemic logic
- high level
- normal logic programs
- machine learning
- propositional variables