Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
暂无分享,去创建一个
Piergiorgio Bertoli | Marco Pistore | Jörg Hoffmann | Malte Helmert | M. Helmert | P. Bertoli | M. Pistore | J. Hoffmann
[1] Merijn de Jonge,et al. eServices for Hospital Equipment , 2007, ICSOC.
[2] Takahiro Kawamura,et al. Semantic Matching of Web Services Capabilities , 2002, SEMWEB.
[3] Stefan Edelkamp,et al. Promela Planning , 2003, SPIN.
[4] James A. Hendler,et al. Semi-automatic Composition ofWeb Services using Semantic Descriptions , 2003, WSMAI.
[5] Joachim Hertzberg,et al. How to do Things with Worlds: On Formalizing Actions and Plans , 1993, J. Log. Comput..
[6] Bernhard Nebel,et al. In Defense of PDDL Axioms , 2003, IJCAI.
[7] Hector Geffner,et al. From Conformant into Classical Planning: Efficient Translations that May Be Complete Too , 2007, ICAPS.
[8] M. Fox,et al. The 3rd International Planning Competition: Results and Analysis , 2003, J. Artif. Intell. Res..
[9] Fangzhen Lin,et al. State Constraints Revisited , 1994, J. Log. Comput..
[10] James A. Hendler,et al. HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..
[11] Ian Horrocks,et al. A software framework for matchmaking based on semantic web technology , 2003, WWW '03.
[12] Gregory A.Petsko and Dagmar Ringe. Protein structure and function , 2003 .
[13] Timothy W. Finin,et al. A Planner for Composing Services Described in DAML-S , 2003 .
[14] Anton Riabov,et al. A Planning Approach for Message-Oriented Semantic Web Service Composition , 2007, AAAI.
[15] Ivan Serina,et al. Planning Through Stochastic Local Search and Temporal Action Graphs in LPG , 2003, J. Artif. Intell. Res..
[16] Daniel I. Chasman,et al. Protein structure :determination, analysis, and applications for drug discovery , 2003 .
[17] Craig A. Knoblock,et al. Composing, optimizing, and executing plans for bioinformatics web services , 2005, The VLDB Journal.
[18] Mathias Weske,et al. Automated Service Composition Using Heuristic Search , 2006, Business Process Management.
[19] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.
[20] Jerry R. Hobbs,et al. DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.
[21] Dana S. Nau,et al. Web Service Composition with Volatile Information , 2005, SEMWEB.
[22] Paolo Liberatore,et al. The Complexity of Belief Update , 1997, IJCAI.
[23] Ronen I. Brafman,et al. Conformant planning via heuristic forward search: A new approach , 2004, Artif. Intell..
[24] David E. Smith,et al. Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..
[25] José Luis Ambite,et al. Automatically Composing Data Workflows with Relational Descriptions and Shim Services , 2007, ISWC/ASWC.
[26] Piergiorgio Bertoli,et al. Automated Web Service Composition by On-the-Fly Belief Space Search , 2006, ICAPS.
[27] Lubert Stryer,et al. Protein structure and function , 2005, Experientia.
[28] Jerry R. Hobbs,et al. DAML-S: Semantic Markup for Web Services , 2001, SWWS.
[29] Maurizio Lenzerini,et al. On the Update of Description Logic Ontologies at the Instance Level , 2006, AAAI.
[30] Franz Baader,et al. Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.
[31] Malte Helmert,et al. The Fast Downward Planning System , 2006, J. Artif. Intell. Res..
[32] Boi Faltings,et al. Type based service composition , 2004, WWW Alt. '04.
[33] Tran Cao Son,et al. Adapting Golog for Composition of Semantic Web Services , 2002, KR.
[34] Boi Faltings,et al. Large scale, type-compatible service composition , 2004, Proceedings. IEEE International Conference on Web Services, 2004..
[35] Andreas Herzig,et al. The PMA Revisited , 1996, KR.
[36] Gabriel M. Kuper,et al. Updating Logical Databases , 1986, Adv. Comput. Res..
[37] Shankar Ponnekanti,et al. SWORD: A Developer Toolkit for Web Service Composition , 2008 .
[38] Freddy Lécué,et al. A Formal Model for Semantic Web Service Composition , 2005, SEMWEB.
[39] Bijan Parsia,et al. Planning for Semantic Web Services , 2004, SWS@ISWC.
[40] Dana S. Nau,et al. The Incompleteness of Planning with Volatile External Information , 2006, ECAI.
[41] Hudson Turner,et al. A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.
[42] N. Oppenheimer,et al. Structure and mechanism , 1989 .
[43] Koustuv Dasgupta,et al. Synthy: A system for end to end composition of web services , 2005, J. Web Semant..
[44] Koustuv Dasgupta,et al. A service creation environment based on end to end composition of Web services , 2005, WWW '05.
[45] Tom Bylander,et al. The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..
[46] Ismailcem Budak Arpinar,et al. Automatic Composition of Semantic Web Services , 2003, ICWS.
[47] Daniel Bryce,et al. Planning Graph Heuristics for Belief Space Search , 2006, J. Artif. Intell. Res..
[48] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.
[49] Carl Branden. Introduction to Protein Structure Second Edition , 2009 .
[50] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.
[51] Andreas Herzig,et al. Updates, actions, and planning , 2001, IJCAI.
[52] Wolfgang Faber,et al. A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.
[53] Boi Faltings,et al. Efficient matchmaking and directory services , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).
[54] Enrico Giunchiglia,et al. An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.
[55] Yixin Chen,et al. Temporal Planning using Subgoal Partitioning and Resolution in SGPlan , 2006, J. Artif. Intell. Res..
[56] Jos de Bruijn,et al. Enabling Semantic Web Services: The Web Service Modeling Ontology , 2006 .
[57] Blai Bonet,et al. Planning with Incomplete Information as Heuristic Search in Belief Space , 2000, AIPS.
[58] Ulrike Sattler,et al. A proposal for describing services with DLs , 2002, Description Logics.
[59] James A. Hendler,et al. Template-based Composition of Semantic Web Services , 2005, AAAI Fall Symposium: Agents and the Semantic Web.
[60] Georg Gottlob,et al. On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..
[61] A. R. Fresht. Structure and Mechanism in Protein Science: A Guide to Enzyme Catalysis and Protein Folding , 1999 .
[62] Robert K. Brayton,et al. ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions , 1993, 30th ACM/IEEE Design Automation Conference.
[63] Ivan Serina,et al. Fast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search , 2005, AAAI.
[64] Piergiorgio Bertoli,et al. Conformant planning via symbolic model checking and heuristic search , 2004, Artif. Intell..
[65] Daniel S. Weld,et al. UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.
[66] Blai Bonet,et al. Planning as heuristic search , 2001, Artif. Intell..
[67] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[68] Piergiorgio Bertoli,et al. Automated composition of Web services via planning in asynchronous domains , 2005, Artif. Intell..
[69] Edwin P. D. Pednault,et al. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.
[70] Bart Selman,et al. Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems , 2000, Journal of Automated Reasoning.
[71] D. Janaki Ram,et al. Raising Programming Abstraction from Objects to Services , 2007, IEEE International Conference on Web Services (ICWS 2007).
[72] Freddy Lécué,et al. Making the Difference in Semantic Web Service Composition , 2007, AAAI.
[73] Jos de Bruijn,et al. Web Service Modeling Ontology , 2005, Appl. Ontology.
[74] James A. Hendler,et al. Information Gathering During Planning for Web Service Composition , 2004, SEMWEB.
[75] Keith Golden,et al. Automating the Processing of Earth Observation Data , 2003 .
[76] Andreas Herzig,et al. Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..
[77] Carsten Lutz,et al. Updating Description Logic ABoxes , 2006, KR.
[78] Malte Helmert,et al. Decidability and Undecidability Results for Planning with Numerical State Variables , 2002, PuK.
[79] David E. Smith,et al. Conformant Graphplan , 1998, AAAI/IAAI.
[80] Sheila A. McIlraith,et al. Planning with complex actions , 2002, NMR.
[81] Bernhard Nebel,et al. The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..
[82] J. Hoffmann,et al. Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks , 2005, J. Artif. Intell. Res..
[83] Maurizio Lenzerini,et al. On the Approximation of Instance Level Update and Erasure in Description Logics , 2007, AAAI.
[84] Keith Golden,et al. A Domain Description Language for Data Processing , 2003 .
[85] Keith Golden,et al. DPADL: An Action Language for Data Processing Domains , 2002 .
[86] Annapaola Marconi,et al. Automated synthesis of composite BPEL4WS Web services , 2005, IEEE International Conference on Web Services (ICWS'05).
[87] Tran Cao Son,et al. Semantic Web Services , 2001, IEEE Intell. Syst..
[88] Maria Fox,et al. PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..
[89] Bijan Parsia,et al. Composition-driven Filtering and Selection of Semantic Web Services , 2004 .
[90] Carsten Lutz,et al. Reasoning About Actions Using Description Logics with General TBoxes , 2006, JELIA.
[91] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.
[92] Tanveer F. Syeda-Mahmood,et al. SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).
[93] Drew McDermott,et al. Using Regression-Match Graphs to Control Search in Planning , 1999, Artif. Intell..
[94] Enrico Giunchiglia,et al. Nonmonotonic causal theories , 2004, Artif. Intell..
[95] Drew McDermott,et al. Estimated-Regression Planning for Interactions with Web Services , 2002, AIPS.
[96] Annapaola Marconi,et al. Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.