Search results for: Peter F. Patel-Schneider
Lecture Notes in Computer Science > Conceptual Modeling: Foundations and Applications > Implementations > 436-465
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Comparison > 72-76
Lecture Notes in Computer Science > Service-Oriented Computing - ICSOC 2003 > Service Personalization > 149-164
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Comparison > 27-30
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Comparison > 19-23
Lecture Notes in Computer Science > Principles and Practice of Semantic Web Reasoning > Architectures > 32-36
Lecture Notes in Computer Science
Web Semantics: Science, Services and Agents on the World Wide Web > 2007 > 5 > 4 > 240-250
Journal of Automated Reasoning > 2007 > 39 > 3 > 277-316