Erratum to: "Some model-theoretic results in the algebraic theory of quadratic forms" [Ann. Pure Appl. Logic 112 (2-3) (2001) 189-223].
Vincent AstierPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- model theoretic
- proof theoretic
- deductive databases
- operational semantics
- description logics
- decision procedures
- artificial neural networks
- proof theory
- logic programs
- fixpoint
- default reasoning
- presburger arithmetic
- proof procedure
- probabilistic reasoning
- algebraic structure
- action theories
- logic programming
- nonmonotonic reasoning
- modal logic
- autoepistemic logic
- constraint logic programming
- linear logic
- neural network
- computational complexity
- minimal models
- automated reasoning
- knowledge base