Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.
Andreas WeiermannPublished in: Ann. Pure Appl. Log. (2005)
Keyphrases
- phase transition
- proof theoretic
- proof theory
- random constraint satisfaction problems
- default reasoning
- linear logic
- constraint satisfaction
- nonmonotonic reasoning
- fixpoint
- model theoretic
- constraint logic programming
- satisfiability problem
- np complete
- random instances
- graph theory
- cut elimination
- description logics
- deductive databases
- cellular automata
- belief revision
- logic programs