- automated reasoning
- interactive theorem proving
- implementations of logic
- proof assistants
- program and system verification
- model checking
- rewriting and unification
- logic programming
- constraint programming
- logic and databases
- modal and temporal logics
- proof-carrying code
- translation validation
- logic for the semantic web
| - description logics
- nonmonotonic reasoning
- specification using logics
- logic in artificial intelligence
- lambda and combinatory calculi
- constructive logic and type theory
- computional interpretations of logic
- logical foundations of programming
- logical aspects of concurrency
- logic and computational complexity
- knowledge representation and reasoning
- reasoning about actions
- proof planning
- effectively presented structures
|
