Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
The complexity of logic-based abduction
Journal of the ACM (JACM)
Integrating information via matchmaking
Journal of Intelligent Information Systems - Special issue on intelligent integration of information
Semantic web support for the business-to-business e-commerce lifecycle
Proceedings of the 11th international conference on World Wide Web
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
Generic Schema Matching with Cupid
Proceedings of the 27th International Conference on Very Large Data Bases
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The description logic handbook
Semantic matchmaking in a P-2-P electronic marketplace
Proceedings of the 2003 ACM symposium on Applied computing
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Automated semantic web services orchestration via concept covering
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Knowledge based approach to semantic composition of teams in an organization
Proceedings of the 2005 ACM symposium on Applied computing
Knowledge elicitation for query refinement in a semantic-enabled e-marketplace
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Ontology-based natural language parser for E-marketplaces
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
Variable-strength conditional preferences for ranking objects in ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Expressive probabilistic description logics
Artificial Intelligence
Semantic-enhanced Bluetooth discovery protocol for m-commerce applications
International Journal of Web and Grid Services
A semantic-based mobile registry for dynamic RFID-based logistics support
Proceedings of the 10th international conference on Electronic commerce
Semantic Composition of Lecture Subparts for a Personalized e-Learning
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
MIR '08 Proceedings of the 1st ACM international conference on Multimedia information retrieval
A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
International Journal of Electronic Commerce
Ontological Queries Supporting Decision Process in KaSeA System
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research
A semantic-based registry enabling discovery, composition and substitution of pervasive services
Proceedings of the Seventh ACM International Workshop on Data Engineering for Wireless and Mobile Access
Computing Information Minimal Match Explanations for Logic-Based Matchmaking
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Electronic Commerce Research and Applications
A Unified Framework for Non-standard Reasoning Services in Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Towards Semantics-Based Instantiation of Services
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Semantic-Based automated composition of distributed learning objects for personalized e-learning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Explanation services and request refinement in user friendly semantic-enabled b2c e-marketplaces
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
User profiles and matchmaking on mobile phones
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Cooperative service composition
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Applying semantic web technologies for diagnosing road traffic congestions
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
| Hi-index | 0.00 |
Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. Caching ...