Adapting Golog for Composition of Semantic Web Services

By Sheila A. McIlraith, Tran Cao Son. 2002

1,017 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Citations in the corpus

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, background): “Indeed, the situation calculus has proven helpful in providing formal under-pinnings to automated planning formalisms [Lin and Reiter, 1997; McIlraith and Son, 2002], updates in closed-and open-world databases [ Hariri et al. , 2013 ] , and dynamic Bayesian networks over complex actions [Hajishirzi…”
Semi-automatic Composition ofWeb Services using Semantic Descriptions (2003, background): “McIlarith and Son [10] proposed an approach to building agent technology based on the notion of generic procedures and customizing user constraints.”
HTN planning for Web Service composition using SHOP2 (2004, methodology): “Information gathering during planning is same as the Middle Ground execution (MG) for sensing actions in Golog approach [12].”
Automating DAML-S Web Services Composition Using SHOP2 (2003, background): “McIlarith and Son [10] proposed an approach to building agent technology based on the notion of generic procedures and customizing user constraints.”
Simulation, verification and automated composition of web services (2002, background): “INTRODUCTION The vision of the semantic Web [4] is to provide computerinterpretable markup of the Web s content and capability, thus enabling automation of many tasks currently performed by human-beings.”
DAML-S: Web Service Description for the Semantic Web (2002, unknown): “breaking down interoperability barriers through semantics, and the automatic insertion of message parameter translations between clients and services [10, 13, 22]; composition of new services through automatic selection, composition and interoperation of existing services [15, 14]; verification of s”
Web services composition: A decade's overview (2014, methodology): “[46] present an approach to address automated Web services composition and its execution for the semantic Web.”
Bringing Semantics to Web Services with OWL-S (2007, methodology): “The first such system was based on Golog [55, 56].”
Automated discovery, interaction and composition of Semantic Web services (2003, unknown): “Other planner, like HiTAP that we used, or modifications of Golog for Web services [22], limit the evaluation of operators to information gathering actions that do not have any permanent effect on other agents or the environment.”
The Situation Calculus: A Case for Modal Logic (2010, background): “An important milestone was the development of the action programming language Golog [34], which is based on the situation calculus and which led to applications in robotics [8,32] and the semantic web [38], among other things.”
Automated Composition of Semantic Web Services into Executable Processes (2004, unknown): “In [18], web service composition is achieved with user defined re-usable, customizable, high level procedures expressed in Golog.”
A Survey of Automated Web Service Composition Methods (2004, background): “[17, 19, 16] adapt and extend the Golog language for automatic construction of Web services.”
Automated composition of Web services via planning in asynchronous domains (2005, unknown): “A similar line is followed by [100,83], considering DAML-S [6] annotated services instead; DAML-S services are considered as well by [8], which recasts composition as a constraint satisfaction problem, by [65], which adopts an interpreter for an extended version of the ConGolog language to adapt and”
Automatic Composition of Transition-based Semantic Web Services with Messaging (2005, background): “Several works on automatic composition of OWL-S services exists, e.g., [15, 16, 18].”
Constraint driven Web service composition in METEOR-S (2004, methodology): “using extended Golog [19]) or hierarchal planning constructs [33].”
Bringing Semantics to Web Services: The OWL-S Approach (2004, background): “[20],[21],[30] also execute information-gathering services at plan time to reduce the search space for plans and to reduce non-determinism.”
Automated Planning and Acting (2016, methodology): “Different approaches have addressed the problem of planning with nondeterministic models in a theorem proving setting, such as techniques based on situation calculus [198] and the Golog Language [378, 417], which have also been devised for the conformant planning problem.”