Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.
Miroslaw TruszczynskiPublished in: ICLP (2009)
Keyphrases
- propositional theories
- semantics of logic programs
- logic programs
- answer set semantics
- answer sets
- logic programming
- fixpoint
- answer set programming
- computational properties
- horn clauses
- computational problems
- propositional logic
- stable models
- deductive databases
- ontology languages
- inductive logic programming
- truth values
- nonmonotonic reasoning
- data types
- reasoning tasks
- knowledge base
- sat solvers
- query processing
- expert systems