Deciding the guarded fragments by resolution
Journal of Symbolic Computation
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
A predicate-ordered logic for knowledge representation on the web
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Best-match querying from document-centric XML
Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004
Structured queries in XML retrieval
Proceedings of the 14th ACM international conference on Information and knowledge management
Articulating information needs in XML query languages
ACM Transactions on Information Systems (TOIS)
Terminological cycles in a description logic with existential restrictions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Enriching EL-Concepts with Greatest Fixpoints
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Hi-index | 0.00 |