scientific article; zbMATH DE number 5284505

MaRDI QIDQ3501865zbMATH OpenFDO

Authors Xueli Yu, Rui Wang, Ying-Jie Li

Publication date 3 June 2008

zbMATH Keywords

description logicAI planningsemantic webservice composition

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• A Context Model for Service Composition Based on Dynamic Description Logic
• Reasoning about interaction protocols for web service composition

Cited in

(8)

• Reasoning about interaction protocols for web service composition
• Domain-independent planning for services in uncertain and dynamic environments
• Reasoning about interaction protocols for customizing web service selection and composition
• A Context Model for Service Composition Based on Dynamic Description Logic
• The pragmatic proof: hypermedia API composition and execution
• Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection
• Reasoning about orchestrations of web services using partial correctness
• Type theory based semantic verification for service composition in cloud computing environments

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3501865)