Teaching
Advanced Tutorials
Advanced Tutorials
First-Order Rewritability of Temporal Ontology-Mediated Queries
First-Order Rewritability of Temporal Ontology-Mediated Queries
Presented with M. Zakharyaschev and V. Ryzhikov at the Reasoning Web Summer School 2020 (Declarative AI):
University Courses
University Courses
Knowledge Representation and Reasoning, University of Oxford
Knowledge Representation and Reasoning, University of Oxford
Introduction to Mathematics I, University of Warsaw
Introduction to Mathematics I, University of Warsaw
Autorski skrypt:
Introduction to Mathematics II, University of Warsaw
Introduction to Mathematics II, University of Warsaw
Autorski skrypt:
Logic, University of Warsaw
Logic, University of Warsaw
Email: przemyslaw dot walega at cs dot ox dot ac dot uk