- automated reasoning
- interactive theorem proving
- software verification
- software testing
- proof assistants
- proof planning
- proof checking
- rewriting and unification
- logic programming
- modal and temporal logics
- systems specification and synthesis
- model checking
- proof-carrying code
- logic and databases
- reasoning for the semantic web
|
- propositional reasoning
- description logics
- hardware verification
- logic and ontologies
- network and protocol verification
- nonmonotonic reasoning
- constructive logic and type theory
- lambda and combinatory calculi
- knowledge representation and reasoning
- constraint programming
- logical foundations of programming
- computational interpretations of logic
- logic and computational complexity
- logic in artificial intelligence
- reasoning about actions
|
