


default search action
Brian Logan 0001
- > Home > Persons > Brian Logan 0001
Publications
- 2025
- [c135]Maksim Gladyshev
, Natasha Alechina
, Mehdi Dastani, Dragan Doder, Brian Logan
:
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. AAAI 2025: 14949-14957 - [i13]Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan:
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. CoRR abs/2501.10190 (2025) - 2024
- [j41]Jan de Mooij, Tabea S. Sonnenschein
, Marco Pellegrino, Mehdi Dastani, Dick Ettema, Brian Logan
, Judith Anne Verstegen
:
GenSynthPop: generating a spatially explicit synthetic population of individuals and households from aggregated data. Auton. Agents Multi Agent Syst. 38(2): 48 (2024) - [c133]Giovanni Varricchione
, Natasha Alechina
, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan
, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655 - [c132]Giovanni Varricchione
, Natasha Alechina
, Mehdi Dastani, Brian Logan
:
Maximally Permissive Reward Machines. ECAI 2024: 1181-1188 - [d6]Jan de Mooij
, Tabea S. Sonnenschein
, Marco Pellegrino, Mehdi Dastani, Dick Ettema, Brian Logan
, Judith Anne Verstegen
:
GenSynthPop-Python: Generating a Spatially Explicit Synthetic Population of Agents and Households from Aggregated Data. Version v2.0.0. Zenodo, 2024 [all versions] - [d5]Jan de Mooij
, Tabea S. Sonnenschein
, Marco Pellegrino, Mehdi Dastani, Dick Ettema, Brian Logan
, Judith Anne Verstegen
:
GenSynthPop-Python: Generating a Spatially Explicit Synthetic Population of Agents and Households from Aggregated Data. Version v2.0.1. Zenodo, 2024 [all versions] - [d4]Jan de Mooij
, Tabea S. Sonnenschein
, Marco Pellegrino, Mehdi Dastani
, Dick Ettema, Brian Logan
, Judith Anne Verstegen
:
GenSynthPop-Python. Version placeholder. Zenodo, 2024 [all versions] - [d3]Tabea S. Sonnenschein
, Jan de Mooij
, Marco Pellegrino, Mehdi Dastani
, Dick Ettema, Brian Logan
, Judith Anne Verstegen
:
TabeaSonnenschein/GenSynthPop: R-package for Generating Representative Spatially Explicit Synthetic Populations. Zenodo, 2024 - [i12]Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan:
Maximally Permissive Reward Machines. CoRR abs/2408.08059 (2024) - 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) - [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 - [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
- [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 - 2021
- [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 - [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 - [d2]Jan de Mooij
, Davide Dell'Anna
, Parantapa Bhattacharya
, Mehdi Dastani, Brian Logan
, Samarth Swarup
:
Large-scale Data-driven Agent-based Simulation of Covid-19. Zenodo, 2021 - [d1]Jan de Mooij
, Davide Dell'Anna
, Parantapa Bhattacharya
, Mehdi Dastani, Brian Logan
, Samarth Swarup
:
Sim-2APL - A Practical Agent Programming Language for Simulation. Zenodo, 2021 - [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) - 2019
- [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 - 2018
- [j31]Natasha Alechina, Brian Logan, Mehdi Dastani:
Modeling Norm Specification and Verification in Multiagent Systems. FLAP 5(2): 457-490 (2018) - 2016
- [c85]Natasha Alechina, Mehdi Dastani, Brian Logan:
Verifying Existence of Resource-Bounded Coalition Uniform Strategies. IJCAI 2016: 24-30 - [i3]Natasha Alechina, Mehdi Dastani, Brian Logan:
Expressibility of norms in temporal logic. CoRR abs/1608.06787 (2016) - 2015
- [c79]Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan:
Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS 2015: 443-451 - 2014
- [c74]Natasha Alechina, Mehdi Dastani, Brian Logan:
Norm approximation for imperfect monitors. AAMAS 2014: 117-124 - 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 - [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
- [c61]Natasha Alechina, Mehdi Dastani, Brian Logan:
Programming norm-aware agents. AAMAS 2012: 1057-1064 - 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) - [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) - 2008
- [c43]Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer:
Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458 - [c41]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about Agent Deliberation. KR 2008: 16-26 - 2007
- [c37]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
A Logic of Agent Programs. AAAI 2007: 795-800

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 2025-08-06 23:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint