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
Modeling norm specification and verification in multiagent systems	2022-09-28	Paper
Situation calculus for controller synthesis in manufacturing systems with first-order state representation	2021-12-13	Paper
Norm specification and verification in multiagent systems	2021-10-12	Paper
Computational models for normative multi-agent systems	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
Decidable model-checking for a resource logic with production of resources	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
Logical omniscience and the cost of deliberation	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

This page was built for person: Brian Logan