Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited.
Fan YangPublished in: WoLLIC (2016)
Keyphrases
- logic programming
- predicate logic
- dependence structure
- logic programs
- decision procedures
- truth values
- horn clauses
- derivation rules
- automated reasoning
- modal logic
- independence assumption
- classical logic
- closed world assumptions
- deductive databases
- multi valued
- conditional logic
- inference rules
- deontic logic
- declarative semantics
- fixpoint
- database
- knowledge representation and reasoning
- digital circuits
- default logic
- asynchronous circuits
- closed world assumption
- first order logic
- fixed point semantics
- programming language