${\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
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)
Uses Software
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