Keyphrases
- computer algebra
- computer science
- formal logic
- modal logic
- classical logic
- predicate logic
- cooperative
- logic programming
- game theory
- bounded rationality
- computational properties
- dynamic logic
- deontic logic
- nonmonotonic logics
- multi agent
- profit sharing
- delay insensitive
- database
- mathematical knowledge
- linear logic
- asynchronous circuits
- computer programming
- learning styles
- website
- search engine
- information retrieval