![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Brian Logan 0001
Person information
- affiliation: University of Aberdeen, Department of Computing Science, United Kingdom
- affiliation: Utrecht University, The Netherlands
- affiliation: University of Nottingham, School of Computer Science, United Kingdom
Other persons with the same name
- Brian Logan 0002 — Salford University, UK
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c131]Giovanni Varricchione, Natasha Alechina
, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655 - 2023
- [j40]Heshan Du
, Natasha Alechina
, Amin Farjudian
, Brian Logan, Can Zhou, Anthony G. Cohn:
A Logic of East and West. J. Artif. Intell. Res. 76: 527-565 (2023) - [j39]Jan de Mooij
, Parantapa Bhattacharya, Davide Dell'Anna
, Mehdi Dastani, Brian Logan, Samarth Swarup:
A framework for modeling human behavior in large-scale agent-based epidemic simulations. Simul. 99(12): 1183-1211 (2023) - [c130]Di Wu, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression with Maintenance Goals. AAMAS 2023: 2400-2402 - [c129]Maksim Gladyshev
, Natasha Alechina
, Mehdi Dastani
, Dragan Doder
, Brian Logan
:
Dynamic Causality. ECAI 2023: 867-874 - [c128]Giovanni Varricchione, Natasha Alechina
, Mehdi Dastani, Brian Logan:
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. EUMAS 2023: 328-344 - [c127]Michael Dann
, Yuan Yao, Natasha Alechina
, Brian Logan, Felipe Meneguzzi, John Thangarajah:
Multi-Agent Intention Recognition and Progression. IJCAI 2023: 91-99 - [c126]Nima Motamed
, Natasha Alechina
, Mehdi Dastani, Dragan Doder, Brian Logan:
Probabilistic Temporal Logic for Reasoning about Bounded Policies. IJCAI 2023: 3296-3303 - [c125]Davide Dell'Anna, Natasha Alechina
, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan:
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract). IJCAI 2023: 6868-6872 - 2022
- [j38]Giuseppe De Giacomo
, Paolo Felli, Brian Logan, Fabio Patrizi
, Sebastian Sardiña:
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. 302: 103598 (2022) - [j37]Rafael C. Cardoso
, Brian Logan, Felipe Meneguzzi
, Nir Oren
, Bruno Yun
:
Resilience, reliability, and coordination in autonomous multi-agent systems. AI Commun. 35(4): 339-356 (2022) - [j36]Davide Dell'Anna
, Natasha Alechina
, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan:
Data-Driven Revision of Conditional Norms in Multi-Agent Systems. J. Artif. Intell. Res. 75: 1549-1593 (2022) - [c124]Davide Dell'Anna
, Natasha Alechina
, Fabiano Dalpiaz
, Mehdi Dastani
, Maarten Löffler, Brian Logan
:
The Complexity of Norm Synthesis and Revision. COINE 2022: 38-53 - [c123]Michael Dann
, Yuan Yao
, Natasha Alechina
, Brian Logan, John Thangarajah:
Multi-Agent Intention Progression with Reward Machines. IJCAI 2022: 215-222 - [c122]Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi
, Sebastian Sardiña:
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI 2022: 5722-5726 - [c121]Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022 - [e3]Natasha Alechina
, Matteo Baldoni
, Brian Logan
:
Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13190, Springer 2022, ISBN 978-3-030-97456-5 [contents] - 2021
- [j35]Jürgen Dix, Brian Logan, Michael Winikoff:
Preface to the Special Issue on engineering reliable multi-agent systems. Auton. Agents Multi Agent Syst. 35(2): 37 (2021) - [c120]Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression using Quantitative Summary Information. AAMAS 2021: 1416-1424 - [c119]Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks, Brian Logan, Alessandro Ricci:
Agent Programming in the Cognitive Era. AAMAS 2021: 1718-1720 - [c118]Parantapa Bhattacharya, A. Jan de Mooij, Davide Dell'Anna
, Mehdi Dastani, Brian Logan, Samarth Swarup:
PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents. EMAS@AAMAS 2021: 1-21 - [c117]Michael Dann
, Yuan Yao
, Brian Logan, John Thangarajah:
Multi-Agent Intention Progression with Black-Box Agents. IJCAI 2021: 132-138 - [c116]Jan de Mooij, Davide Dell'Anna, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, Samarth Swarup:
Using Agent-Based Simulation to Investigate Behavioural Interventions in a Pandemic using Mobility Data. AMPM@JURIX 2021 - [c115]Jan de Mooij, Davide Dell'Anna
, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, Samarth Swarup:
Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation. MABS 2021: 99-112 - [i9]Davide Dell'Anna, Natasha Alechina, Brian Logan, Maarten Löffler, Fabiano Dalpiaz, Mehdi Dastani:
The Complexity of Data-Driven Norm Synthesis and Revision. CoRR abs/2112.02626 (2021) - 2020
- [j34]Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks
, Brian Logan, Alessandro Ricci
:
Agent programming in the cognitive era. Auton. Agents Multi Agent Syst. 34(2): 37 (2020) - [j33]Ahmed M. Rady, Joel E. Fischer
, Stuart Reeves
, Brian Logan, Nicholas James Watson
:
The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods. Sensors 20(1): 230 (2020) - [c114]Natasha Alechina
, Stéphane Demri, Brian Logan:
Parameterised Resource-Bounded ATL. AAAI 2020: 7040-7046 - [c113]Michael Dann
, John Thangarajah, Yuan Yao
, Brian Logan:
Intention-Aware Multiagent Scheduling. AAMAS 2020: 285-293 - [c112]Natasha Alechina
, Brian Logan:
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. Fields of Logic and Computation III 2020: 9-29 - [c111]Joe Collenette, Brian Logan:
Multi-agent Control of Industrial Robot Vacuum Cleaners. EMAS@AAMAS 2020: 87-99 - [c110]Simon Castle-Green
, Alexi Dewfall, Brian Logan
:
The Intention Progression Competition. EMAS@AAMAS 2020: 144-151 - [c109]Yuan Yao
, Natasha Alechina
, Brian Logan, John Thangarajah:
Intention Progression under Uncertainty. IJCAI 2020: 10-16 - [c108]Lavindra de Silva, Felipe Meneguzzi, Brian Logan:
BDI Agent Architectures: A Survey. IJCAI 2020: 4914-4921 - [i8]Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. CoRR abs/2005.10297 (2020)
2010 – 2019
- 2019
- [j32]Lavindra de Silva, Paolo Felli
, David Sanderson
, Jack C. Chaplin, Brian Logan, Svetan M. Ratchev
:
Synthesising process controllers from formal models of transformable assembly systems. Robotics Comput. Integr. Manuf. 58: 130-144 (2019) - [c107]Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi:
Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019: 2646-2653 - [c106]Natasha Alechina, Mehdi Dastani, Brian Logan:
Decidable Model Checking with Uniform Strategies. AAMAS 2019: 170-178 - [c105]Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan:
Strategic Responsibility Under Imperfect Information. AAMAS 2019: 592-600 - [c104]Kwabena Amponsah, Sameh Zakhary, Darren Robinson, Paul Nathanail, Brian Logan, Peer-Olaf Siebers:
Distributed building energy simulation with the HLA. SummerSim 2019: 19:1-19:12 - [i7]Jürgen Dix, Brian Logan, Michael Winikoff:
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports 9(3): 52-63 (2019) - 2018
- [j31]Natasha Alechina, Brian Logan, Mehdi Dastani:
Modeling Norm Specification and Verification in Multiagent Systems. FLAP 5(2): 457-490 (2018) - [j30]Sam Leask, Brian Logan:
Programming Agent Deliberation Using Procedural Reflection. Fundam. Informaticae 158(1-3): 93-120 (2018) - [j29]Brian Logan:
An agent programming manifesto. Int. J. Agent Oriented Softw. Eng. 6(2): 187-210 (2018) - [j28]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. J. Artif. Intell. Res. 62: 433-458 (2018) - [j27]Hoang Nga Nguyen
, Natasha Alechina, Brian Logan, Abdur Rakib:
Alternating-time temporal logic with resource bounds. J. Log. Comput. 28(4): 631-663 (2018) - [j26]Natasha Alechina, Fenrong Liu, Brian Logan:
Efficient minimal preference change. J. Log. Comput. 28(8): 1715-1733 (2018) - [j25]Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the complexity of resource-bounded logics. Theor. Comput. Sci. 750: 69-100 (2018) - [c103]Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168 - [c102]Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev:
Composite Capabilities for Cloud Manufacturing. AAMAS 2018: 1809-1811 - [c101]Natasha Alechina, Brian Logan:
Resource Logics with a Diminishing Resource. AAMAS 2018: 1847-1849 - [c100]Lavindra de Silva, Felipe Meneguzzi
, Brian Logan:
An Operational Semantics for a Fragment of PRS. IJCAI 2018: 195-202 - [c99]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). IJCAI 2018: 5543-5547 - [i6]Natasha Alechina, Brian Logan:
Resource Logics with a Diminishing Resource. CoRR abs/1806.11559 (2018) - [i5]Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña:
Situation Calculus for Synthesis of Manufacturing Controllers. CoRR abs/1807.04561 (2018) - 2017
- [j24]Natasha Alechina
, Nils Bulling, Brian Logan
, Hoang Nga Nguyen:
The virtues of idleness: A decidable fragment of resource agent logic. Artif. Intell. 245: 56-85 (2017) - [j23]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
:
Model-checking for Resource-Bounded ATL with production and consumption of resources. J. Comput. Syst. Sci. 88: 126-144 (2017) - [j22]Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair decomposition of group obligations. J. Log. Comput. 27(7): 2043-2062 (2017) - [c98]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentivising Monitoring in Open Normative Systems. AAAI 2017: 305-311 - [c97]Dhirendra Singh, Lin Padgham, Brian Logan:
Integrating BDI Agents with Agent-Based Simulation Platforms: (JAAMAS Extended Abstract). AAMAS 2017: 249-250 - [c96]Brian Logan, John Thangarajah, Neil Yorke-Smith:
Progressing Intention Progression: A Call for a Goal-Plan Tree Contest. AAMAS 2017: 768-772 - [c95]Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. AAMAS 2017: 1091-1099 - [c94]Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev:
Synthesising Industry-Standard Manufacturing Process Controllers. AAMAS 2017: 1811-1813 - [c93]Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev
:
Process Plan Controllers for Non-Deterministic Manufacturing Systems. IJCAI 2017: 1023-1030 - 2016
- [j21]Dhirendra Singh, Lin Padgham
, Brian Logan:
Integrating BDI Agents with Agent-Based Simulation Platforms. Auton. Agents Multi Agent Syst. 30(6): 1050-1071 (2016) - [c92]Yuan Yao, Brian Logan, John Thangarajah:
Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions. AAAI 2016: 2558-2565 - [c91]Yuan Yao
, Lavindra de Silva, Brian Logan:
Reasoning About the Executability of Goal-Plan Trees. EMAS@AAMAS 2016: 176-191 - [c90]Yuan Yao, Brian Logan:
Action-Level Intention Selection for BDI Agents. AAMAS 2016: 1227-1236 - [c89]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). AAMAS 2016: 1399-1400 - [c88]Natasha Alechina, Brian Logan:
Verifying Systems of Resource-Bounded Agents. CiE 2016: 3-12 - [c87]Lavindra de Silva, Paolo Felli
, Jack C. Chaplin, Brian Logan, David Sanderson
, Svetan M. Ratchev
:
Realisability of Production Recipes. ECAI 2016: 1449-1457 - [c86]Yuan Yao
, Brian Logan, John Thangarajah
:
Intention Selection with Deadlines. ECAI 2016: 1700-1701 - [c85]Natasha Alechina, Mehdi Dastani, Brian Logan:
Verifying Existence of Resource-Bounded Coalition Uniform Strategies. IJCAI 2016: 24-30 - [c84]Paolo Felli, Brian Logan, Sebastian Sardiña:
Parallel Behavior Composition for Manufacturing. IJCAI 2016: 271-278 - [c83]Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the Complexity of Resource-Bounded Logics. RP 2016: 36-50 - [i4]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR abs/1602.06731 (2016) - [i3]Natasha Alechina, Mehdi Dastani, Brian Logan:
Expressibility of norms in temporal logic. CoRR abs/1608.06787 (2016) - 2015
- [c82]Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin:
Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. AAAI 2015: 3948-3953 - [c81]Brian Logan:
A Future for Agent Programming. EMAS@AAMAS 2015: 3-17 - [c80]Jiaqi Li, Felipe Meneguzzi, Moser Silva Fagundes, Brian Logan:
Reinforcement Learning of Normative Monitoring Intensities. COIN@AAMAS/IJCAI 2015: 209-223 - [c79]Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan:
Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS 2015: 443-451 - [c78]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda:
Symbolic Model-checking for Resource-Bounded ATL. AAMAS 2015: 1809-1810 - [c77]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Symbolic Model Checking for One-Resource RB+-ATL. IJCAI 2015: 1069-1075 - [c76]Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen:
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. IJCAI 2015: 1494-1501 - [c75]Sam Leask, Brian Logan:
Programming Deliberation Strategies in Meta-APL. PRIMA 2015: 433-448 - [i2]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi:
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR abs/1504.06766 (2015) - 2014
- [c74]Natasha Alechina, Mehdi Dastani, Brian Logan:
Norm approximation for imperfect monitors. AAMAS 2014: 117-124 - [c73]Thu Trang Doan, Yuan Yao, Natasha Alechina, Brian Logan:
Verifying heterogeneous multi-agent programs. AAMAS 2014: 149-156 - [c72]Felipe Meneguzzi, Brian Logan, Moser Silva Fagundes:
Norm monitoring with asymmetric information. AAMAS 2014: 1523-1524 - [c71]Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina:
Run-time norm compliance in BDI agents. AAMAS 2014: 1581-1582 - [c70]Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair Allocation of Group Tasks According to Social Norms. CLIMA 2014: 19-34 - [c69]Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina:
N-Jason: Run-Time Norm Compliance in AgentSpeak(L). EMAS@AAMAS 2014: 367-387 - [c68]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
:
Decidable Model-Checking for a Resource Logic with Production of Resources. ECAI 2014: 9-14 - [c67]Yuan Yao
, Brian Logan, John Thangarajah
:
SP-MCTS-based Intention Scheduling for BDI Agents. ECAI 2014: 1133-1134 - 2013
- [c66]Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hübner, Brian Logan, Hai H. Nguyen, Marc van Zee:
Multi-Cycle Query Caching in Agent Programming. AAAI 2013: 32-38 - [c65]Daniela Dybalova, Bas Testerink, Mehdi Dastani, Brian Logan:
A Framework for Programming Norm-Aware Multi-agent Systems. COIN@AAMAS/PRIMA 2013: 364-380 - [c64]Natasha Alechina, Mehdi Dastani, Brian Logan:
Reasoning about Normative Update. IJCAI 2013: 20-26 - [c63]Xiaofan Liu, Natasha Alechina, Brian Logan:
Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. ISPEC 2013: 233-247 - [c62]Natasha Alechina, Fenrong Liu, Brian Logan:
Minimal Preference Change. LORI 2013: 15-26 - [p1]Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik:
Computational Models for Normative Multi-Agent Systems. Normative Multi-Agent Systems 2013: 71-92 - [e2]Mehdi Dastani, Jomi Fred Hübner, Brian Logan:
Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7837, Springer 2013, ISBN 978-3-642-38699-2 [contents] - 2012
- [j20]John A. Fozard
, Michael Lees
, John R. King
, Brian S. Logan:
Inhibition of quorum sensing in a computational biofilm simulation. Biosyst. 109(2): 105-114 (2012) - [c61]Natasha Alechina, Mehdi Dastani, Brian Logan:
Programming norm-aware agents. AAMAS 2012: 1057-1064 - [c60]Julian Zappala, Natasha Alechina, Brian Logan:
Consensus games. AAMAS 2012: 1309-1310 - [c59]Hai H. Nguyen, Natasha Alechina, Brian Logan:
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. Description Logics 2012 - [c58]Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks
, Brian Logan:
Query Caching in Agent Programming Languages. ProMAS 2012: 123-137 - [i1]Jürgen Dix, Koen V. Hindriks
, Brian Logan, Wayne Wobcke:
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). Dagstuhl Reports 2(8): 74-98 (2012) - 2011
- [j19]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about agent deliberation. Auton. Agents Multi Agent Syst. 22(2): 356-381 (2011) - [j18]Natasha Alechina, Brian Logan, Nguyen Hoang Nga
, Abdur Rakib
:
Logic for coalitions with bounded resources. J. Log. Comput. 21(6): 907-937 (2011) - [j17]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. 412(44): 6115-6134 (2011) - [c57]Konstantin Vikhorev, Natasha Alechina, Brian Logan:
Agent programming with priorities and deadlines. AAMAS 2011: 397-404 - 2010
- [j16]Julian Zappala, Brian Logan:
Effects of resource availability on consensus decision making in primates. Comput. Math. Organ. Theory 16(4): 400-415 (2010) - [j15]Natasha Alechina, Brian Logan:
Belief ascription under bounded resources. Synth. 173(2): 179-197 (2010) - [c56]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Resource-bounded alternating-time temporal logic. AAMAS 2010: 481-488 - [c55]Neil Madden, Brian Logan:
User evaluation of virtual reporting agents. FDG 2010: 5:1-5:8 - [c54]Xiaofan Liu, Natasha Alechina, Brian Logan:
Syntax and Semantics for Business Rules. KES (4) 2010: 41-50 - [c53]Natasha Alechina, Brian Logan:
Computationally Grounded Account of Belief and Awareness for AI Agents. MALLOW 2010 - [c52]Natasha Alechina, Brian Logan, Nguyen Hoang Nga
, Abdur Rakib
:
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt 2010: 69-84 - [c51]Daniel Kiss, Neil Madden, Brian Logan:
Atomic Intentions in Jason +. ProMAS 2010: 79-95
2000 – 2009
- 2009
- [j14]Michael Lees
, Brian S. Logan, Georgios Theodoropoulos
:
Analysing probabilistically constrained optimism. Concurr. Comput. Pract. Exp. 21(11): 1467-1482 (2009) - [j13]Thomas Chesney
, Iain Coyne
, Brian Logan, Neil Madden:
Griefing in virtual worlds: causes, casualties and coping strategies. Inf. Syst. J. 19(6): 525-548 (2009) - [j12]Natasha Alechina, Brian Logan:
A Logic of Situated Resource-Bounded Agents. J. Log. Lang. Inf. 18(1): 79-95 (2009) - [j11]Natasha Alechina, Brian Logan, Nguyen Hoang Nga
, Abdur Rakib
:
Verifying time, memory and communication bounds in systems of reasoning agents. Synth. 169(2): 385-403 (2009) - [c50]Doan Thu Trang, Brian Logan, Natasha Alechina:
Verifying Dribble Agents. DALT 2009: 244-261 - [c49]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664 - [c48]Konstantin Vikhorev, Natasha Alechina, Brian Logan:
The ARTS Real-Time Agent Architecture. LADS 2009: 1-15 - [c47]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
:
Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14 - [c46]Konstantin Vikhorev, Natasha Alechina, Brian Logan:
The ARTS Real-Time Agent Architecture. MALLOW 2009 - [c45]Neil Madden, Brian Logan:
Modularity and Compositionality in Jason. PROMAS 2009: 237-253 - 2008
- [j10]Dan Chen, Roland Ewald, Georgios K. Theodoropoulos
, Rob Minson, Ton Oguara, Michael Lees
, Brian S. Logan, Adelinde M. Uhrmacher:
Data access in distributed simulations of multi-agent systems. J. Syst. Softw. 81(12): 2345-2360 (2008) - [j9]Michael Lees
, Brian S. Logan, Georgios Theodoropoulos
:
Using Access Patterns to Analyze the Performance of Optimistic Synchronization Algorithms in Simulations of MAS. Simul. 84(10-11): 481-492 (2008) - [j8]Natasha Alechina, Mark Jago, Brian Logan:
Preference-based belief revision for rule-based agents. Synth. 165(2): 159-177 (2008) - [c44]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) 2008: 736-743 - [c43]Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer:
Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458 - [c42]Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini
, Brian Logan:
Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA 2008: 77-96 - [c41]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about Agent Deliberation. KR 2008: 16-26 - [c40]Natasha Alechina, Brian Logan, Nguyen Hoang Nga
, Abdur Rakib
:
Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS 2008: 1-15 - [c39]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
:
Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14 - [c38]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML 2008: 31-38 - 2007
- [j7]Michael Lees, Brian S. Logan, John R. King:
BacGrid: simulations of bacteria using the grid. BMC Syst. Biol. 1(S-1): S5 (2007) - [j6]Michael Lees
, Brian S. Logan, Georgios Theodoropoulos
:
Distributed simulation of agent-based systems with HLA. ACM Trans. Model. Comput. Simul. 17(3): 11 (2007) - [c37]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
A Logic of Agent Programs. AAAI 2007: 795-800 - [c36]Neil Madden, Brian Logan:
Collaborative Narrative Generation in Persistent Virtual Environments. AAAI Fall Symposium: Intelligent Narrative Technologies 2007: 71-78 - [c35]Thomas Chesney, Iain Coyne, Brian Logan, Neil Madden:
A Design for Researching Virtual Worlds - Opportunities and Limitations. ECIS 2007: 1380-1387 - [c34]Michael Lees
, Brian S. Logan, John King
:
Multiscale models of bacterial populations. WSC 2007: 881-890 - 2006
- [j5]Michael Lees
, Brian S. Logan, Georgios K. Theodoropoulos
:
Agents, games and HLA. Simul. Model. Pract. Theory 14(6): 752-767 (2006) - [c33]Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini:
Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI 2006: 213-218 - [c32]Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini
, Luciano Serafini:
Verifying space and time requirements for resource-bounded agents. AAMAS 2006: 217-219 - [c31]Dan Fielding, Brian Logan, Steve Benford
:
Balancing the needs of players and spectators in agent-based commentary systems. AAMAS 2006: 996-998 - [c30]Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner
, Mark Jago, Brian Logan:
Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290 - [c29]Georgios Theodoropoulos, Yi Zhang, Dan Chen, Rob Minson, Stephen John Turner, Wentong Cai, Yong Xie, Brian Logan:
Large Scale Distributed Simulation on the Grid. CCGRID 2006: 63 - [c28]Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner
, Mark Jago, Brian Logan:
Automating Belief Revision for AgentSpeak. DALT 2006: 61-77 - [c27]Michael Lees
, Brian S. Logan, Dan Chen, Ton Oguara, Georgios Theodoropoulos
:
Analysing Probabilistically Constrained Optimism. DS-RT 2006: 201-208 - [c26]Natasha Alechina, Mark Jago, Brian Logan:
Modal Logics for Communicating Rule-Based Agents. ECAI 2006: 322-326 - [c25]Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini:
Verifying Space and Time Requirements for Resource-Bounded Agents. MoChArt 2006: 19-34 - [c24]Roland Ewald, Dan Chen, Georgios K. Theodoropoulos
, Michael Lees
, Brian S. Logan, Ton Oguara, Adelinde M. Uhrmacher:
Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of Multi-Agent Systems. PADS 2006: 29-36 - [c23]Michael Lees
, Brian S. Logan, Dan Chen, Ton Oguara, Georgios Theodoropoulos
:
Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems. PADS 2006: 37-44 - 2005
- [c22]Natasha Alechina, Mark Jago, Brian Logan:
Resource-Bounded Belief Revision and Contraction. DALT 2005: 141-154 - [c21]Michael Lees
, Brian S. Logan, Dan Chen, Ton Oguara, Georgios Theodoropoulos
:
Decision-Theoretic Throttling for Optimistic Simulations of Multi-Agent Systems. DS-RT 2005: 171-178 - [c20]Ton Oguara, Dan Chen, Georgios Theodoropoulos, Brian S. Logan, Michael Lees
:
An Adaptive Load Management Mechanism for Distributed Simulation of Multi-agent Systems. DS-RT 2005: 179-186 - [c19]Natasha Alechina, Brian Logan:
Verifying Bounds on Deliberation Time in Multi-Agent Systems. EUMAS 2005: 25-34 - [c18]Neil Madden, Brian Logan:
It's About Time. IJCAI 2005: 1511-1512 - [c17]Ella Tallyn, Boriana Koleva
, Brian Logan, Dan Fielding, Steve Benford
, Giulia Gelmini-Hornsby, Neil Madden:
Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds. International Conference on Virtual Storytelling 2005: 179-188 - [e1]Paul Davidsson, Brian Logan, Keiki Takadama:
Multi-Agent and Multi-Agent-Based Simulation, Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3415, Springer 2005, ISBN 3-540-25262-2 [contents] - 2004
- [c16]Dan Fielding, Mike Fraser, Brian Logan, Steve Benford:
Extending game participation with embodied reporting agents. Advances in Computer Entertainment Technology 2004: 100-108 - [c15]Natasha Alechina, Brian Logan, Mark Whitsey:
A Complete and Decidable Logic for Resource-Bounded Agents. AAMAS 2004: 606-613 - [c14]Dan Fielding, Mike Fraser, Brian Logan, Steve Benford:
Reporters, Editors and Presenters: Using Embodied Agents to Report on Online Computer Games. AAMAS 2004: 1530-1531 - [c13]Michael Lees
, Brian S. Logan, Rob Minson, Ton Oguara, Georgios Theodoropoulos:
Modelling Environments for Distributed Simulation. E4MAS 2004: 150-167 - [c12]Cyril Schoreels, Brian Logan, Jonathan M. Garibaldi
:
Agent based Genetic Algorithm Employing Financial Technical Analysis for Making Trading Decisions Using Historical Equity Market Data. IAT 2004: 421-424 - [c11]Michael Lees
, Brian S. Logan, Ton Oguara, Georgios Theodoropoulos:
HLA_AGENT: Distributed Simulation of Agent-Based Systems with HLA. International Conference on Computational Science 2004: 881-888 - [c10]Natasha Alechina, Brian Logan, Mark Whitsey:
Modelling Communicating Agents in Timed Reasoning Logics. JELIA 2004: 95-107 - [c9]Michael Lees
, Brian S. Logan, Rob Minson, Ton Oguara, Georgios Theodoropoulos:
Distributed Simulation of MAS. MABS 2004: 25-36 - 2003
- [c8]Elizabeth Sara Gordon, Brian Logan:
A goal processing architecture for game agents. AAMAS 2003: 998-999 - 2002
- [c7]Natasha Alechina, Brian Logan:
Ascribing beliefs to resource bounded agents. AAMAS 2002: 881-888 - 2001
- [j4]Natasha Alechina, Brian Logan:
State Space Search with Prioritised Soft Constraints. Appl. Intell. 14(3): 263-272 (2001) - [j3]Brian S. Logan, Georgios Theodoropoulos
:
The distributed simulation of multiagent systems. Proc. IEEE 89(2): 174-185 (2001) - [c6]Natasha Alechina, Brian Logan:
Logical Omniscience and the Cost of Deliberation. LPAR 2001: 100-109 - 2000
- [c5]Matthias Scheutz, Aaron Sloman, Brian Logan:
Emotional States and Realistic Agent Behaviour. GAME-ON 2000: 81-
1990 – 1999
- 1999
- [j2]Aaron Sloman, Brian Logan:
Building Cognitively Rich Agents Using the SIM_AGENT Toolkit. Commun. ACM 42(3): 71-77 (1999) - 1998
- [c4]Brian Logan, Natasha Alechina:
A* with Bounded Costs. AAAI/IAAI 1998: 444-449 - [c3]Aaron Sloman, Brian Logan:
Cognition and Affect: Architectures and Tools. Agents 1998: 471-472 - 1994
- [c2]Brian Logan, Steven Reece, Karen Sparck Jones:
Modelling Information Retrieval Agents with Belief Revision. SIGIR 1994: 91-100 - 1992
- [c1]Brian Logan, David Corne, Tim Smithers:
The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems. ECAI 1992: 282-286 - 1990
- [j1]Tim Smithers, Alistair Conkie, Jim Doheny, Brian Logan, Karl Millington, Ming Xi Tang:
Design as intelligent behaviour: An AI in design research programme. Artif. Intell. Eng. 5(2): 78-109 (1990)
Coauthor Index
aka: Hoang Nga Nguyen
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint