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 III : third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Beliefs in Agent Implementation
-
Altmetric BadgeChapter 2 Modelling Uncertainty in Agent Programming
-
Altmetric BadgeChapter 3 Complete Axiomatizations of Finite Syntactic Epistemic States
-
Altmetric BadgeChapter 4 An Architecture for Rational Agents
-
Altmetric BadgeChapter 5 LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
-
Altmetric BadgeChapter 6 A Distributed Architecture for Norm-Aware Agent Societies
-
Altmetric BadgeChapter 7 About Declarative Semantics of Logic-Based Agent Languages
-
Altmetric BadgeChapter 8 Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour
-
Altmetric BadgeChapter 9 Resource-Bounded Belief Revision and Contraction
-
Altmetric BadgeChapter 10 Agent-Oriented Programming with Underlying Ontological Reasoning
-
Altmetric BadgeChapter 11 Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains
-
Altmetric BadgeChapter 12 A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results
-
Altmetric BadgeChapter 13 An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
-
Altmetric BadgeChapter 14 A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Attention for Chapter 12:
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results