Logic and intelligent interaction.
Thomas ÅgotnesJohan van BenthemEric PacuitPublished in: Synth. (2009)
Keyphrases
- intelligent systems
- nonmonotonic logics
- information retrieval
- human computer interaction
- decision support
- database
- predicate logic
- human interaction
- proof theory
- deontic logic
- epistemic logic
- abductive reasoning
- multi touch
- digital circuits
- classical logic
- modal logic
- machine learning
- real world
- neural network
- databases