Reasoning about interaction protocols for customizing web service selection and composition
From MaRDI portal
Publication:861301
DOI10.1016/j.jlap.2006.05.005zbMath1178.68061MaRDI QIDQ861301
Matteo Baldoni, Alberto Martelli, Viviana Patti, Cristina Baroglio
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
reasoning about actions; personalization; semantic web services; agent logic programming; interaction protocols
Uses Software
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