Information
| Name | Erman Acar |
| Group | Knowledge Representation & Reasoning |
List of presentations
| Date | Title |
|---|---|
| 22 January 2018 | Group reasoning in social environments |
| 29 October 2018 | When Satisfiability is Easier than Model Checking: A Fragment of Strategy Logic |
| 11 November 2019 | Making Decisions over Contextual Ontologies |