Keyphrases
- cognitive neuroscience
- recent advances
- information processing
- modal logic
- multi valued
- trade off
- logic programming
- deontic logic
- nonmonotonic logics
- logical framework
- automated reasoning
- real time
- dynamic logic
- asynchronous circuits
- defeasible logic
- decision making
- design decisions
- database
- databases
- artificial intelligence
- case study