Connecting First-Order ASP and the Logic FO(ID) through Reducts.
Miroslaw TruszczynskiPublished in: Correct Reasoning (2012)
Keyphrases
- first order logic
- classical first order logic
- answer set programming
- horn clauses
- quantifier free
- logic programming
- predicate calculus
- linear temporal logic
- set theory
- rough sets
- answer set programs
- web applications
- conditional logic
- guarded fragment
- expressive power
- inference rules
- theorem proving
- general logic programs
- logical formulas
- probabilistic logic
- fixpoint
- automated reasoning
- higher order
- knowledge representation
- decision rules
- greedy algorithm
- transitive closure
- logic programs
- rough set theory
- model theoretic
- quantifier elimination
- sound and complete with respect
- multi valued
- answer sets
- classical logic
- modal logic
- valued logic
- logical theories
- decision table
- digital circuits
- epistemic logic
- inductive logic programming
- belief revision
- theorem prover