${\cal B}$ -Tropos

DOI10.1007/978-3-540-88833-8_9zbMath1175.68453OpenAlexW1448172222MaRDI QIDQ3602948

Paolo Torroni, Nicola Zannone, Volha Bryl, Marco Montali, Paola Mello

Publication date: 12 February 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-88833-8_9

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Operations research and management science (90B99) Agent technology and artificial intelligence (68T42)

Related Items (1)

Verification from Declarative Specifications Using Logic Programming

Uses Software

• SCIFF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Specification and Verification of Agent Interaction Using Abductive Reasoning
• The First Contest on Multi-agent Systems Based on Computational Logic
• Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem
• Actions and Events in Interval Temporal Logic
• The IFF proof procedure for abductive logic programming
• Verifiable agent interaction in abductive logic programming
• Abductive Logic Programming
• On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

This page was built for publication: ${\cal B}$ -Tropos