Verifying time, memory and communication bounds in systems of reasoning agents
type: Item
instance of: scholarly article
title: Verifying time, memory and communication bounds in systems of reasoning agents
zbMATH Open document ID: 1187.68571
author: Natasha Alechina
author: Brian Logan
author: Hoang Nga Nguyen
author: Abdur Rakib
published in: Synthese
publication date: 2009-11-04T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5625284
zbMATH Keywords: distributed reasoning
zbMATH Keywords: resource bounds
zbMATH Keywords: epistemic logic
describes a project that uses: MOCHA
MaRDI profile type: Publication
full work available at URL: s11229-009-9557-1
OpenAlex ID: W3138118222
cites work: Q3624002
cites work: Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures
cites work: Verifying Space and Time Requirements for Resource-Bounded Agents
cites work: Logics in Artificial Intelligence
cites work: Space Complexity in Propositional Calculus
cites work: Alternating-time temporal logic
cites work: Partition-based logical reasoning for first-order and propositional theories
cites work: Q4209291
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Reasoning about rational, but not logically omniscient, agents
cites work: Decision procedures and expressiveness in the temporal logic of branching time
cites work: Q4251071
cites work: Q4845472
cites work: The intractability of resolution
cites work: Q3992823
cites work: Deductive Algorithmic Knowledge
cites work: On the computational complexity of coalitional resource games
DOI: 10.1007/S11229-009-9557-1
Recommended article: Verifying Systems of Resource-Bounded Agents
Recommended article: Verifying Time and Communication Costs of Rule-Based Reasoners
Recommended article: AI*IA 2003: Advances in Artificial Intelligence
Recommended article: Verifying Space and Time Requirements for Resource-Bounded Agents
Recommended article: State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
Recommended article: Logics in Artificial Intelligence
Recommended article: Systems of agents controlled by logical programs: complexity of verification
Recommended article: Compositional verification of multi-agent systems in temporal multi-epistemic logic
description: scientific article; zbMATH DE number 5625284