Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs.
Miroslaw TruszczynskiPublished in: Artif. Intell. (2010)
Keyphrases
- propositional theories
- semantics of logic programs
- logic programs
- answer set semantics
- answer sets
- logic programming
- answer set programming
- fixpoint
- computational properties
- propositional logic
- stable models
- horn clauses
- computational problems
- ontology languages
- reasoning tasks
- deductive databases
- inductive logic programming
- truth values
- sat solvers
- default logic
- machine learning
- expressive power
- heuristic search
- knowledge base