Computing in Horn clause theories
Computing in Horn clause theories
Communications of the ACM
IEEE Internet Computing
The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Using JessTab to Integrate Protégé and Jess
IEEE Intelligent Systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Jess in Action: Java Rule-Based Systems
Jess in Action: Java Rule-Based Systems
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Proceedings of the 2005 ACM symposium on Applied computing
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Goal-Driven Semantic Description and Query for Grid Workflow
SKG '07 Proceedings of the Third International Conference on Semantics, Knowledge and Grid
The architecture and design of a malleable object-oriented prolog engine
Proceedings of the 2008 ACM symposium on Applied computing
Translating owl and semantic web rules into prolog: Moving toward description logic programs
Theory and Practice of Logic Programming
An Ontology-Centric Approach to Sensor-Mission Assignment
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
Policy-Based Semantic Resource Matchmaker for Grid Environment
ICCEE '08 Proceedings of the 2008 International Conference on Computer and Electrical Engineering
DR-Prolog: a system for reasoning with rules and ontologies on the semantic web
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Explaining Prolog based expert systems using a layered meta-interpreter
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Bootstrapping trust evaluations through stereotypes
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Flexible task resourcing for intelligent agents
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Resource Determination and Allocation in Sensor Networks
The Computer Journal
Hi-index | 12.05 |
In many settings, fully automated reasoning about tasks and resources is crucial. This is particularly important in multi-agent systems where tasks are monitored, managed and performed by intelligent agents. For these agents, it is critical to autonomously reason about the types of resources a task may require. However, determining appropriate resource types requires extensive expertise and domain knowledge. In this paper, we propose a means to automate the selection of resource types that are required to fulfil tasks. Our approach combines ontological reasoning and Logic Programming in a novel way for flexible matchmaking of resources to tasks. Using the proposed approach, intelligent agents can autonomously reason about the resources and tasks in various real-life settings and we demonstrate this here through case-studies. Our evaluation shows that the proposed approach equips intelligent agents with flexible reasoning support for task resourcing.