A Free Logic for Stable Models with Partial Intensional Functions.
Pedro CabalarLuis Fariñas del CerroDavid PearceAgustín ValverdePublished in: JELIA (2014)
Keyphrases
- stable models
- logic programming
- logic programs
- logic programs with negation
- derivation rules
- answer set programming
- fixpoint
- normal logic programs
- general theory
- deductive databases
- classical logic
- stable model semantics
- strong equivalence
- declarative semantics
- answer sets
- computational properties
- minimal models
- nonmonotonic reasoning
- expert systems
- horn clauses
- modal logic
- model theoretic
- multi valued
- default logic
- inductive logic programming
- propositional theories
- semantics for logic programs
- artificial intelligence
- knowledge base
- autoepistemic logic
- truth values
- programming language