The following pages link to Brian Logan (Q208224):
Displaying 36 items.
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Reasoning about plan revision in BDI agent programs (Q655407) (← links)
- Belief ascription under bounded resources (Q987466) (← links)
- A logic of situated resource-bounded agents (Q1006513) (← links)
- Preference-based belief revision for rule-based agents (Q1024129) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- (Q1623285) (redirect page) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350) (← links)
- Minimal Preference Change (Q2859090) (← links)
- Fair Allocation of Group Tasks According to Social Norms (Q2921955) (← links)
- (Q2996156) (← links)
- Logic for coalitions with bounded resources (Q3103974) (← links)
- Fair decomposition of group obligations (Q3133187) (← links)
- Verifying Systems of Resource-Bounded Agents (Q3188235) (← links)
- Bounded-Resource Reasoning as (Strong or Classical) Planning (Q3393381) (← links)
- Verifying Dribble Agents (Q3402253) (← links)
- Verifying Time and Communication Costs of Rule-Based Reasoners (Q3614874) (← links)
- Reasoning about Other Agents’ Beliefs under Bounded Resources (Q3644774) (← links)
- Expressing Properties of Coalitional Ability under Resource Bounds (Q3655213) (← links)
- Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Q4580270) (← links)
- Alternating-time temporal logic with resource bounds (Q4612421) (← links)
- (Q4993611) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- Resilience, reliability, and coordination in autonomous multi-agent systems (Q5054936) (← links)
- (Q5157010) (← links)
- Efficient minimal preference change (Q5222679) (← links)
- (Q5282949) (← links)
- Logics in Artificial Intelligence (Q5394117) (← links)
- Verifying Space and Time Requirements for Resource-Bounded Agents (Q5423880) (← links)
- (Q5869530) (← links)
- Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Q5870524) (← links)
- A Logic of East and West (Q5881809) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)
- On the complexity of resource-bounded logics (Q5915899) (← links)
- State space search with prioritised soft constraints (Q5945809) (← links)
