Negation and partial axiomatizations of dependence and independence logic revisited.
Fan YangPublished in: Ann. Pure Appl. Log. (2019)
Keyphrases
- logic programming
- predicate logic
- dependence structure
- independence assumption
- classical logic
- logic programs
- derivation rules
- closed world assumptions
- decision procedures
- horn clauses
- truth values
- modal logic
- deductive databases
- conditional independence
- automated reasoning
- semantics of logic programs
- possibility theory
- databases
- answer sets
- fixpoint
- conditional logic
- digital circuits
- multi valued
- probability theory
- knowledge representation
- operational semantics
- asynchronous circuits
- declarative semantics
- expressive power
- programming language
- fixed point semantics