Search results for: Dmitry Tishkovsky
Lecture Notes in Computer Science > The Semantic Web > Research Track > 438-451
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 651-665
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 242-247
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 310-324
Information Processing Letters > 2013 > 113 > 1-2 > 34-38
Electronic Notes in Theoretical Computer Science > 2010 > 262 > Complete > 17-32
Journal of Logic, Language and Information > 2008 > 17 > 1 > 109-129
Annals of Mathematics and Artificial Intelligence > 2004 > 42 > 1-3 > 5-36
Studia Logica > 2004 > 78 > 3 > 381-415