Theoretical Computer Science

DOI10.1007/b13810zbMath1257.68132OpenAlexW3144329707MaRDI QIDQ5897363

Cristina Baroglio, Alberto Martelli, Matteo Baldoni, Viviana Patti

Publication date: 23 February 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13810

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (1)

Reasoning about interaction protocols for customizing web service selection and composition

Uses Software

• GOLOG
• Maude

This page was built for publication: Theoretical Computer Science