Logic-based technologies for multi-agent systems: a systematic literature review
Article in Autonomous Agents and Multi-Agent Systems (October 2020)
The most recent citing publication is shown below. View this citation on Dimensions.
Declarative Agent Languages and Technologies X
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Handling Change in Normative Specifications
-
Altmetric BadgeChapter 2 Latest Developments of WADE to Support User-Centric Business Processes
-
Altmetric BadgeChapter 3 Strong Planning in the Logics of Communication and Change
-
Altmetric BadgeChapter 4 Agent Deliberation via Forward and Backward Chaining in Linear Logic
-
Altmetric BadgeChapter 5 Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason
-
Altmetric BadgeChapter 6 A Generalized Commitment Machine for 2CL Protocols and Its Implementation
-
Altmetric BadgeChapter 7 Solving Fuzzy Distributed CSPs: An Approach with Naming Games
-
Altmetric BadgeChapter 8 Commitment Protocol Generation
-
Altmetric BadgeChapter 9 Goal-Based Qualitative Preference Systems
-
Altmetric BadgeChapter 10 SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems
-
Altmetric BadgeChapter 11 Some Thoughts about Commitment Protocols
-
Altmetric BadgeChapter 12 Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends
-
Altmetric BadgeChapter 13 Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell
Attention for Chapter 5:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason