Reasoning about action I: a possible worlds approach
Artificial Intelligence
Updating logical databases
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Espresso-signature: a new exact minimizer for logic functions
DAC '93 Proceedings of the 30th international Design Automation Conference
The computational complexity of propositional STRIPS planning
Artificial Intelligence
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Using regression-match graphs to control search in planning
Artificial Intelligence
Propositional belief base update and minimal change
Artificial Intelligence
The complexity of belief update
Artificial Intelligence
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
Efficient Matchmaking and Directory Services
WI '03 Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Large Scale, Type-Compatible Service Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Type based service composition
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence
A service creation environment based on end to end composition of Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Composing, optimizing, and executing plans for bioinformatics web services
The VLDB Journal — The International Journal on Very Large Data Bases
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Artificial Intelligence
Conformant planning via heuristic forward search: a new approach
Artificial Intelligence
SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Enabling Semantic Web Services: The Web Service Modeling Ontology
Enabling Semantic Web Services: The Web Service Modeling Ontology
Applied Ontology
The Incompleteness of Planning with Volatile External Information
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
On the approximation of instance level update and erasure in description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Making the difference in semantic web service composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A planning approach for message-oriented semantic web service composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
The 3rd international planning competition: results and analysis
Journal of Artificial Intelligence Research
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
Where "Ignoring delete lists" works: local search topology in planning benchmarks
Journal of Artificial Intelligence Research
Planning graph heuristics for belief space search
Journal of Artificial Intelligence Research
The fast downward planning system
Journal of Artificial Intelligence Research
Temporal planning using subgoal partitioning and resolution in SGPlan
Journal of Artificial Intelligence Research
Updates, actions, and planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Information gathering during planning for Web Service composition
Web Semantics: Science, Services and Agents on the World Wide Web
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Synthy: A system for end to end composition of web services
Web Semantics: Science, Services and Agents on the World Wide Web
SPIN'03 Proceedings of the 10th international conference on Model checking software
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 volatile information
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Reasoning about actions using description logics with general TBoxes
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
A formal model for semantic web service composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Optimizing Web Service Composition While Enforcing Regulations
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Fast forward planning by guided enforced hill climbing
Engineering Applications of Artificial Intelligence
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
PWWM: a personal web workflow methodology
The Personal Web
Hi-index | 0.00 |
Thanks to recent advances, AI Planning has become the underlying technique for several applications. Figuring prominently among these is automated Web Service Composition (WSC) at the "capability" level, where services are described in terms of preconditions and effects over ontological concepts. A key issue in addressing WSC as planning is that ontologies are not only formal vocabularies; they also axiomatize the possible relationships between concepts. Such axioms correspond to what has been termed "integrity constraints" in the actions and change literature, and applying a web service is essentially a belief update operation. The reasoning required for belief update is known to be harder than reasoning in the ontology itself. The support for belief update is severely limited in current planning tools. Our first contribution consists in identifying an interesting special case of WSC which is both significant and more tractable. The special case, which we term forward effects, is characterized by the fact that every ramification of a web service application involves at least one new constant generated as output by the web service. We show that, in this setting, the reasoning required for belief update simplifies to standard reasoning in the ontology itself. This relates to, and extends, current notions of "message-based" WSC, where the need for belief update is removed by a strong (often implicit or informal) assumption of "locality" of the individual messages. We clarify the computational properties of the forward effects case, and point out a strong relation to standard notions of planning under uncertainty, suggesting that effective tools for the latter can be successfully adapted to address the former. Furthermore, we identify a significant sub-case, named strictly forward effects, where an actual compilation into planning under uncertainty exists. This enables us to exploit off-the-shelf planning tools to solve message-based WSC in a general form that involves powerful ontologies, and requires reasoning about partial matches between concepts. We provide empirical evidence that this approach may be quite effective, using Conformant-FF as the underlying planner.