Systems of agents controlled by logical programs: complexity of verification
type: Item
instance of: scholarly article
title: Systems of agents controlled by logical programs: complexity of verification
zbMATH Open document ID: 1187.68626
DOI: 10.1134/S036176880905003X
author: M. K. Valiev
author: Michael I. Dekhtyar
author: Alexandre Dikovsky
published in: Programming and Computer Software
publication date: 2009-11-24T00:00:00Z
Mathematics Subject Classification ID: 68T42
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5637579
describes a project that uses: METATEM
describes a project that uses: AgentSpeak
MaRDI profile type: Publication
cites work: On feasible cases of checking multi-agent systems behavior.
cites work: On complexity of verification of interacting agents' behavior
cites work: MetateM: An introduction
cites work: Q4779807
cites work: Q4536749
cites work: Q4209291
cites work: Q4739289
cites work: Heterogeneous active agents. III: Polynomially implementable agents
cites work: Q3940830
cites work: The complexity of propositional linear temporal logics
cites work: Q4385542
cites work: Q4353562
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q4002642
cites work: Q4198056
cites work: Q4298260
cites work: Q5486072
full work available at URL: s036176880905003x
OpenAlex ID: W2038759358
Recommended article: Q4739289
Recommended article: Verifying Systems of Resource-Bounded Agents
Recommended article: State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
Recommended article: On complexity of verification of interacting agents' behavior
Recommended article: Parameterised verification for multi-agent systems
Recommended article: Complexity of logics for multi-agent systems with restricted modal context
Recommended article: The computational complexity of scenario-based agent verification and design
Recommended article: Logical aspects of multi-agent systems
Recommended article: Verifying time, memory and communication bounds in systems of reasoning agents
description: scientific article; zbMATH DE number 5637579