Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies.
Santiago FigueiraDaniel GorínRafael GrimsonPublished in: J. Comput. Syst. Sci. (2014)
Keyphrases
- logic programming
- predicate logic
- modal logic
- multi valued
- truth values
- neural network
- asynchronous circuits
- logic programs
- deductive databases
- probability theory
- automated reasoning
- digital circuits
- set theory
- classical logic
- logical framework
- horn clauses
- graphical models
- knowledge representation
- multi agent systems