Polarized Proof Nets with Cycles and Fixpoints Semantics.
Raphaël MontelaticiPublished in: TLCA (2003)
Keyphrases
- fixpoint semantics
- proof theory
- logic programs
- proof theoretic
- logic programming
- deductive databases
- nonmonotonic reasoning
- formal semantics
- complete axiomatization
- precise definition
- model theoretic
- autoepistemic logic
- higher order logic
- theorem prover
- fixpoint
- data sets
- theorem proving
- conditional logic
- logical rules
- semantic information
- description logics
- multi agent
- metadata
- cp nets
- default reasoning
- linear logic
- minimal models
- belief revision