Tutorials
Lomuscio, Alessio R. (Imperial College London) | Moss, Lawrence S. (Indiana University) | Ovchinnikova, Ekaterina (University of Southern California) | Rosati, Riccardo (Sapienza University of Rome)
The tutorials presented at the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning included Verification of Multi-Agent Systems against Epistemic Specifications by Alessio Lomuscio, Dynamic Epistemic Logic and Its Interaction with Knowledge Representation by Lawrence S. Moss, Natural Language Understanding with World Knowledge and Inference by Ekaterina Ovchinnikova, and Query Answering and Rewriting in Ontology-Based Data Access by Riccardo Rosati.
- Technology: