Keyphrases
- transition systems
- reasoning about actions
- logic programming
- modal logic
- classical logic
- proof theory
- asynchronous circuits
- predicate logic
- sound and complete axiomatization
- real time
- digital circuits
- computational properties
- logical framework
- collective intelligence
- logic programs
- information retrieval
- automated reasoning
- probability theory
- human actions
- formal theory
- practical reasoning
- artificial intelligence
- joint action
- data mining