Foundations of logic programming
Foundations of logic programming
A deductive solution for plan generation
New Generation Computing
Logic programming and databases
Logic programming and databases
Journal of the ACM (JACM)
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
A note on the stable model semantics for logic programs
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Distributed and Parallel Databases
Extending the Stable Model Semantics with More Expressive Rules
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Multiagent Systems with Workflows
IEEE Internet Computing
Reasoning with infinite stable models
Artificial Intelligence
Agent-based integration of Web Services with Workflow Management Systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Multiagent based Supply Chain Management (Studies in Computational Intelligence)
Multiagent based Supply Chain Management (Studies in Computational Intelligence)
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Applied Ontology
Supporting Execution-Level Business Process Modeling with Semantic Technologies
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
First principles planning in BDI systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
From agent interaction protocols to executable code: a model-driven approach
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The DSML4MAS development environment
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Towards Efficient Belief Update for Planning-Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Business Process Modeling: Current Issues and Future Challenges
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Clasp: a conflict-driven answer set solver
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Extending BPMN for modeling complex choreographies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A 25-year perspective on logic programming
An incremental answer set programming based system for finite model computation
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
From stakeholder intentions to software agent implementations
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Adaptive Hybrid Semantic Selection of SAWSDL Services with SAWSDL-MX2
International Journal on Semantic Web & Information Systems
Hi-index | 0.00 |
The paper presents an agent-supported framework for improving solutions for enterprise interoperability and enterprise collaboration. We present and explain the basic approach and system architecture. Special emphasis is put on how agents can support enterprise interoperability as well as enterprise collaboration services. The framework adopts a modeling approach for the description and execution of business processes. With this a system engineer can describe the interaction protocols that should be used at an intuitive level and transform the model down to executable code. Private partner processes can be integrated using a mapping approach to bridge technical interoperability gaps. In addition to modeled service compositions, the framework also supports automatic composition of semantically enhanced services based on a transformation to logic programs.