ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Value-Added Web Services Composition Using Automatic Program Synthesis
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Journal of Artificial Intelligence Research
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Total-order planning with partially ordered subtasks
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning executing sensing and replanning for information gathering
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Software engineering for large-scale multi-agent systems
Automatic composition of aggregation workflows for transportation modeling
dg.o '05 Proceedings of the 2005 national conference on Digital government research
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
WOODSS and the Web: annotating and reusing scientific workflows
ACM SIGMOD Record
A Workflow-Based Web Service Composition System
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Evaluation of Service Composition Planning with OWLS-XPlan
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Fast Dynamic Re-planning of Composite OWL-S Services
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
A robotic service framework supporting automated integration of ubiquitous sensors and devices
Information Sciences: an International Journal
Using AI and semantic web technologies to attack process complexity in open systems
Knowledge-Based Systems
Internet collaboration and service composition as a loose form of teamwork
Journal of Network and Computer Applications
DIANE: an integrated approach to automated service discovery, matchmaking and composition
Proceedings of the 16th international conference on World Wide Web
A bio-inspired emergent system for intelligent Web service composition and management
Knowledge-Based Systems
Automatic generation of data processing workflows for transportation modeling
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
Research on Reasoning of the Dynamic Semantic Web Services Composition
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Bringing Semantics to Web Services with OWL-S
World Wide Web
Automatic annotation of Web services based on workflow definitions
ACM Transactions on the Web (TWEB)
Exploiting web service techniques for composing simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
An ontology-based framework for bioinformatics workflows
International Journal of Bioinformatics Research and Applications
Towards the composition of stateful and independent semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
A distributed CSP approach for collaborative planning systems
Engineering Applications of Artificial Intelligence
Quality-of-service oriented web service composition algorithm and planning architecture
Journal of Systems and Software
The NExT System: Towards True Dynamic Adaptations of Semantic Web Service Compositions
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Current Topics in Artificial Intelligence
A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Towards the Use of XPDL as Planning and Scheduling Modeling Tool: The Workflow Patterns Approach
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
International Journal of Electronic Commerce
Stratified Multi-agent HTN Planning in Dynamic Environments
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Dynamic Web Services Provisioning with Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Semantic Web Services for Satisfying SOA Requirements
Advances in Web Semantics I
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Composing semantic Web services under constraints
Expert Systems with Applications: An International Journal
Smart environments meet the semantic web
Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Using a Rule Language for Capturing Semantics in Web-Based Systems
Proceedings of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Web Service Composition via the Customization of Golog Programs with User Preferences
Conceptual Modeling: Foundations and Applications
Semantic annotations for web services discovery and composition
Computer Standards & Interfaces
Hierarchical Morphological Composition Of Web Hosting System
Journal of Integrated Design & Process Science
Automatic Generation of Mashups for Personalized Commerce in Digital TV by Semantic Reasoning
EC-Web 2009 Proceedings of the 10th International Conference on E-Commerce and Web Technologies
Making the difference in semantic web service composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Semantic Web Service Composition Using Planning and Ontology Concept Relevance
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Journal of Artificial Intelligence Research
Automated generation of composite web services based on functional semantics
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic Web Service Composition in Social Environments
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Synthesizing Semantic Web Service Compositions with jMosel and Golog
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Optimizing Web Service Composition While Enforcing Regulations
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Similarity Based Semantic Web Service Match
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Information gathering during planning for Web Service composition
Web Semantics: Science, Services and Agents on the World Wide Web
On the semantics of service compositions
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Web services discovery and constraints composition
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Goal reasoning with context record types
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Automatically composing data workflows with relational descriptions and shim services
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Web service composition with user preferences
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
A monolithic approach to automated composition of semantic web services with the Event Calculus
Knowledge-Based Systems
Security conscious composition of Semantic Web services based on AI planning and description logic
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Adaptive information extraction from unstructured documents
International Journal of Intelligent Information and Database Systems
Web service composition using fluent calculus
International Journal of Metadata, Semantics and Ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Automated composition of web services with the abductive event calculus
Information Sciences: an International Journal
Semantic web service composition testbed
Computers and Electrical Engineering
A conceptual modeling approach for web service composition supporting service re-configuration
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
Workflow construction for service-oriented knowledge discovery
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Preference-based web service composition: a middle ground between execution and search
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Customizing the composition of actions, programs, and web ervices with user preferences
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
A workflow framework for intelligent service composition
Future Generation Computer Systems
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Conceptual modeling approaches for dynamic web service composition
The evolution of conceptual modeling
Expert Systems with Applications: An International Journal
A semantic web services-based infrastructure for ubiquitous service systems
Journal of Web Engineering
Semantic services for information and management support in mass casualty incident scenarios
ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Web service composition with volatile information
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Semantic web research trends and directions
PReMI'05 Proceedings of the First international conference on Pattern Recognition and Machine Intelligence
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
Semantic operation composition according to user tasks in ubiquitous environment
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Dynamic planning approach to automated web service composition
Applied Intelligence
A constraint-based approach to horizontal web service composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Web service composition via generic procedures and customizing user preferences
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Requirements for automated service composition
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
A semantic rewriting approach to automatic information providing web service composition
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Semantic awareness in automated web service composition through planning
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Engineering a multi agent platform with dynamic semantic service discovery and invocation capability
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Service Oriented Computing and Applications
Conversation-based specification and composition of agent services
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
A model driven approach to agent-based service-oriented architectures
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
A semi-automated orchestration tool for service-based business processes
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Web service composition: an approach using effect-based reasoning
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Reducing agent plans to workflows
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Profit sharing in service composition
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
A constrained object model for configuration based workflow composition
BPM'05 Proceedings of the Third international conference on Business Process Management
Web service composition via organisation-based (re)planning
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Composing web services enacted by autonomous agents through agent-centric contract net protocol
Information and Software Technology
Computation of refactoring plans from refactoring strategies using HTN planning
Proceedings of the Fifth Workshop on Refactoring Tools
QoS-aware automatic service composition: a graph view
Journal of Computer Science and Technology - Special issue on Community Analysis and Information Recommendation
Application of dynamic service composition in web question answering
International Journal of Wireless and Mobile Computing
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Interaction protocols for cross-organisational workflows
Knowledge-Based Systems
Satisfying agent goals by executing different task semantics: HTN, OWL-S or plug one yourself
Autonomous Agents and Multi-Agent Systems
A declarative framework for work process configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Automatic behavior composition synthesis
Artificial Intelligence
Specifying and Composing Web Services with an Environment Ontology-Based Approach
International Journal of Web Services Research
An Optimal and Complete Algorithm for Automatic Web Service Composition
International Journal of Web Services Research
Behavioural description based web service composition using abstraction and refinement
International Journal of Web and Grid Services
A survey of intelligent assistants for data analysis
ACM Computing Surveys (CSUR)
Semi-Automated Software Composition Through Generated Components
Proceedings of International Conference on Information Integration and Web-based Applications & Services
The WTE+ framework: automated construction and runtime adaptation of service mashups
Automated Software Engineering
QoS-aware and multi-granularity service composition
Information Systems Frontiers
A cross organisation compatible workflows generation and execution framework
Knowledge-Based Systems
Accurate sub-swarms particle swarm optimization algorithm for service composition
Journal of Systems and Software
A study on dynamic Semantic Web service composition
Web Intelligence and Agent Systems
Hi-index | 0.00 |
Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWL-S. We implemented a system that plans over sets of OWL-S descriptions using SHOP2 and then executes the resulting plans over the Web. The system is also capable of executing information-providing Web Services during the planning process. We discuss the challenges and difficulties of using planning in the information-rich and human-oriented context of Web Services.