Scholar
Przemysław Andrzej Wałęga
Google Scholar ID: OmGoUz4AAAAJ
University of Oxford
Citations & Impact
Citations
506
H-index
14
i10-index
15
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- - Research on the temporal formalism DatalogMTL and its implementation
- - Semantic Analysis of Videos project, using Answer Set Programming to detect events in videos
- - Stability Checking in Block Structures project, using Qualitative Reasoning to automatically check the stability of boxes
- - AI Playing Angry Birds project, mimicking human common sense reasoning about space and physics
Research Experience
- - Associate Professor (Senior Lecturer) at Queen Mary University of London, Centre for Fundamental Computer Science
- - Senior Researcher at University of Oxford, Department of Computer Science
- - Recent research focuses on the temporal formalism DatalogMTL and the implementation of Metric Temporal Reasoner MeTeoR at the University of Oxford
- - PhD thesis: Interval temporal logics and the interplay between their computational complexity and expressive power
Education
- - PhD in Logics: Institute of Philosophy, University of Warsaw, supervised by Joanna Golińska-Pilarek and Michał Zawidzki
- - BEng and MS in Mechatronics: Warsaw University of Technology
- - BS in Philosophy: Institute of Philosophy, University of Warsaw
Background
- - Research Interests: Artificial Intelligence (AI), particularly Knowledge Representation and Reasoning (KRR)
- - Professional Field: Designing formal logical languages, studying their computational properties, and developing efficient reasoning algorithms
- - Special focus on methods for complex reasoning about time
Miscellany
- - Personal Interests: Not specifically mentioned
Co-authors