A model-theoretic characterisation of clique width.
Achim BlumensathPublished in: Ann. Pure Appl. Log. (2006)
Keyphrases
- model theoretic
- deductive databases
- description logics
- operational semantics
- proof theoretic
- decision procedures
- logic programs
- probabilistic reasoning
- default reasoning
- fixpoint
- special case
- integrity constraints
- presburger arithmetic
- software engineering
- machine learning
- modal logic
- probabilistic logic
- markov random field
- programming language
- general purpose
- multi agent