Brian Logan

Available identifiers

zbMath Open logan.brianMaRDI QIDQ208224

List of research outcomes

Publication	Date of Publication	Type
A Logic of East and West	2023-03-13	Paper
Data-Driven Revision of Conditional Norms in Multi-Agent Systems	2023-01-09	Paper
Resilience, reliability, and coordination in autonomous multi-agent systems	2022-12-12	Paper
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5869530	2022-09-28	Paper
Situation calculus for controller synthesis in manufacturing systems with first-order state representation	2021-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5157010	2021-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q4993611	2021-06-15	Paper
Efficient minimal preference change	2019-07-10	Paper
Alternating-time temporal logic with resource bounds	2019-01-31	Paper
On the complexity of resource-bounded logics	2018-11-23	Paper
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems	2018-08-14	Paper
On the complexity of resource-bounded logics	2018-03-26	Paper
Fair decomposition of group obligations	2018-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q5282949	2017-07-18	Paper
Model-checking for resource-bounded ATL with production and consumption of resources	2017-06-30	Paper
The virtues of idleness: a decidable fragment of resource agent logic	2017-02-28	Paper
Verifying Systems of Resource-Bounded Agents	2016-08-17	Paper
Fair Allocation of Group Tasks According to Social Norms	2014-10-14	Paper
Minimal Preference Change	2013-11-06	Paper
Reasoning about plan revision in BDI agent programs	2012-01-04	Paper
Logic for coalitions with bounded resources	2011-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q2996156	2011-05-06	Paper
Belief ascription under bounded resources	2010-08-13	Paper
Verifying Dribble Agents	2010-02-02	Paper
Expressing Properties of Coalitional Ability under Resource Bounds	2010-01-07	Paper
Reasoning about Other Agents’ Beliefs under Bounded Resources	2009-11-12	Paper
Verifying time, memory and communication bounds in systems of reasoning agents	2009-11-04	Paper
Bounded-Resource Reasoning as (Strong or Classical) Planning	2009-08-20	Paper
Preference-based belief revision for rule-based agents	2009-06-16	Paper
A logic of situated resource-bounded agents	2009-03-24	Paper
Verifying Time and Communication Costs of Rule-Based Reasoners	2009-03-17	Paper
Verifying Space and Time Requirements for Resource-Bounded Agents	2007-11-01	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
State space search with prioritised soft constraints	2002-02-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Brian Logan