Introduction: Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4).
Davide GrossiOlivier RoyPublished in: J. Log. Comput. (2018)
Keyphrases
- selected papers
- annual conference
- international workshop
- invited talk
- computer science
- conference proceedings
- user interaction
- logic programming
- classical logic
- program committee
- review process
- automated reasoning
- multi agent
- asia pacific
- nonmonotonic logics
- human computer interaction
- logical framework
- modal logic
- social networks
- dagstuhl castle