Search results for: Michael Zakharyaschev
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Description Logic and Semantic Web > 98-110
Artificial Intelligence > 2016 > 234 > C > 78-119
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 134-149
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Section 1: Invited Talks > 6-7
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 1. Invited Contributions > 72-72
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Invited Talk > 1-23
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 651-665
Lecture Notes in Computer Science > Conceptual Modeling – ER 2010 > Operations on Spatio-temporal Data > 174-187
Lecture Notes in Computer Science > Automated Reasoning > Tableaux for Temporal Description Logic with Constant Domains > 121-136
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 10. Modal and Temporal Logics > 574-589
Artificial Intelligence > 2014 > 217 > Complete > 43-75
Artificial Intelligence > 2014 > 213 > Complete > 42-59