Reasoning about interaction protocols for customizing web service selection and composition

DOI10.1016/J.JLAP.2006.05.005zbMath1178.68061OpenAlexW2137182239MaRDI QIDQ861301

Alberto Martelli, Viviana Patti, Cristina Baroglio, Matteo Baldoni

Publication date: 9 January 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2006.05.005

zbMATH Keywords

reasoning about actionspersonalizationsemantic web servicesagent logic programminginteraction protocols

Mathematics Subject Classification ID

Network protocols (68M12) Internet topics (68M11)

Uses Software

• ConGolog
• GOLOG
• METATEM
• Racer

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programming rational agents in a modal action logic
• Advances in agent communication. International workshop on agent communication languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and invited papers
• ConGolog, a concurrent programming language based on the situation calculus
• Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions
• GOLOG: A logic programming language for dynamic domains
• Representing Incomplete Knowledge in Abductive Logic Programming
• Theoretical Computer Science

This page was built for publication: Reasoning about interaction protocols for customizing web service selection and composition