Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Brian Logan 0001

Brian S. Logan 0001

> Home > Persons

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

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/DuAFLZC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/DuAFLZC23
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)
2022
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiacomoFLPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiacomoFLPS22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/CardosoLMOY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/CardosoLMOY22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/DellAnnaADDL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/DellAnnaADDL22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/coin-ws/DellAnnaADDLL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coin-ws/DellAnnaADDLL22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Dann0A0T22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Dann0A0T22
Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Multi-Agent Intention Progression with Reward Machines. IJCAI 2022: 215-222
[c122]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiacomoF0PS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoF0PS22
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]
- view
  - electronic edition @ kr.org
  - no references & citations available
- export record
  dblp key:
  - conf/kr/AlechinaG0P22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AlechinaG0P22
Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/2021
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/DixLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/DixLW21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0007ALT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0007ALT21
Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression using Quantitative Summary Information. AAMAS 2021: 1416-1424
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BordiniSHLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BordiniSHLR21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/BhattacharyaMDD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/BhattacharyaMDD21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Dann0LT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Dann0LT21
Michael Dann, Yuan Yao, Brian Logan, John Thangarajah:
Multi-Agent Intention Progression with Black-Box Agents. IJCAI 2021: 132-138
[c116]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jurix/MooijDBD0S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/MooijDBD0S21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mabs/MooijDBDLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mabs/MooijDBDLS21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-02626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-02626
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/BordiniSHLR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/BordiniSHLR20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/RadyFRLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/RadyFRLW20
Ahmed 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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/AlechinaDL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaDL20
Natasha Alechina, Stéphane Demri, Brian Logan:
Parameterised Resource-Bounded ATL. AAAI 2020: 7040-7046
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DannT0L20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DannT0L20
Michael Dann, John Thangarajah, Yuan Yao, Brian Logan:
Intention-Aware Multiagent Scheduling. AAMAS 2020: 285-293
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AlechinaL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AlechinaL20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/CollenetteL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/CollenetteL20
Joe Collenette, Brian Logan:
Multi-agent Control of Industrial Robot Vacuum Cleaners. EMAS@AAMAS 2020: 87-99
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/Castle-GreenDL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/Castle-GreenDL20
Simon Castle-Green, Alexi Dewfall, Brian Logan:
The Intention Progression Competition. EMAS@AAMAS 2020: 144-151
[c109]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/0007ALT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/0007ALT20
Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression under Uncertainty. IJCAI 2020: 10-16
[c108]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/SilvaML20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SilvaML20
Lavindra de Silva, Felipe Meneguzzi, Brian Logan:
BDI Agent Architectures: A Survey. IJCAI 2020: 4914-4921
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10297
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10297
Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. CoRR abs/2005.10297 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/rcim/SilvaFSCLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rcim/SilvaFSCLR19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlechinaBGFLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaBGFLV19
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaDL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaDL19
Natasha Alechina, Mehdi Dastani, Brian Logan:
Decidable Model Checking with Uniform Strategies. AAMAS 2019: 170-178
[c105]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/YazdanpanahDJAL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/YazdanpanahDJAL19
Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan:
Strategic Responsibility Under Imperfect Information. AAMAS 2019: 592-600
[c104]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/scsc/AmponsahZRNLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsc/AmponsahZRNLS19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/DixLW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DixLW19
Jürgen Dix, Brian Logan, Michael Winikoff:
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports 9(3): 52-63 (2019)
2018
[j31]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/AlechinaLD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/AlechinaLD18
Natasha Alechina, Brian Logan, Mehdi Dastani:
Modeling Norm Specification and Verification in Multiagent Systems. FLAP 5(2): 457-490 (2018)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LeaskL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LeaskL18
Sam Leask, Brian Logan:
Programming Agent Deliberation Using Procedural Reflection. Fundam. Informaticae 158(1-3): 93-120 (2018)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ijaose/Logan18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijaose/Logan18
Brian Logan:
An agent programming manifesto. Int. J. Agent Oriented Softw. Eng. 6(2): 187-210 (2018)
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/AlechinaHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/AlechinaHKL18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/NguyenALR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/NguyenALR18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaLL18
Natasha Alechina, Fenrong Liu, Brian Logan:
Efficient minimal preference change. J. Log. Comput. 28(8): 1715-1733 (2018)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlechinaBDL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlechinaBDL18
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the complexity of resource-bounded logics. Theor. Comput. Sci. 750: 69-100 (2018)
[c103]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GiacomoVFAL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoVFAL18
Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168
[c102]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/FelliSLR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/FelliSLR18
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev:
Composite Capabilities for Cloud Manufacturing. AAMAS 2018: 1809-1811
[c101]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaL18
Natasha Alechina, Brian Logan:
Resource Logics with a Diminishing Resource. AAMAS 2018: 1847-1849
[c100]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/SilvaML18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SilvaML18
Lavindra de Silva, Felipe Meneguzzi, Brian Logan:
An Operational Semantics for a Fragment of PRS. IJCAI 2018: 195-202
[c99]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AlechinaHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaHKL18
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-11559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-11559
Natasha Alechina, Brian Logan:
Resource Logics with a Diminishing Resource. CoRR abs/1806.11559 (2018)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-04561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-04561
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/AlechinaBLN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AlechinaBLN17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/AlechinaLNR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/AlechinaLNR17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaHL17
Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair decomposition of group obligations. J. Log. Comput. 27(7): 2043-2062 (2017)
[c98]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/AlechinaHKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaHKL17
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentivising Monitoring in Open Normative Systems. AAAI 2017: 305-311
[c97]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/SinghPL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SinghPL17
Dhirendra Singh, Lin Padgham, Brian Logan:
Integrating BDI Agents with Agent-Based Simulation Platforms: (JAAMAS Extended Abstract). AAMAS 2017: 249-250
[c96]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/LoganTY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LoganTY17
Brian Logan, John Thangarajah, Neil Yorke-Smith:
Progressing Intention Progression: A Call for a Goal-Plan Tree Contest. AAMAS 2017: 768-772
[c95]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaHL17
Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. AAMAS 2017: 1091-1099
[c94]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/SilvaFCLSR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SilvaFCLSR17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/FelliSLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FelliSLR17
Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev:
Process Plan Controllers for Non-Deterministic Manufacturing Systems. IJCAI 2017: 1023-1030
2016
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/SinghPL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/SinghPL16
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/YaoLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/YaoLT16
Yuan Yao, Brian Logan, John Thangarajah:
Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions. AAAI 2016: 2558-2565
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/YaoSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/YaoSL16
Yuan Yao, Lavindra de Silva, Brian Logan:
Reasoning About the Executability of Goal-Plan Trees. EMAS@AAMAS 2016: 176-191
[c90]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/YaoL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/YaoL16
Yuan Yao, Brian Logan:
Action-Level Intention Selection for BDI Agents. AAMAS 2016: 1227-1236
[c89]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaHKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaHKL16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/AlechinaL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/AlechinaL16
Natasha Alechina, Brian Logan:
Verifying Systems of Resource-Bounded Agents. CiE 2016: 3-12
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/SilvaFCLSR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/SilvaFCLSR16
Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev:
Realisability of Production Recipes. ECAI 2016: 1449-1457
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/YaoLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/YaoLT16
Yuan Yao, Brian Logan, John Thangarajah:
Intention Selection with Deadlines. ECAI 2016: 1700-1701
[c85]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/AlechinaDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaDL16
Natasha Alechina, Mehdi Dastani, Brian Logan:
Verifying Existence of Resource-Bounded Coalition Uniform Strategies. IJCAI 2016: 24-30
[c84]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/FelliLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FelliLS16
Paolo Felli, Brian Logan, Sebastian Sardiña:
Parallel Behavior Composition for Manufacturing. IJCAI 2016: 271-278
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AlechinaBDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AlechinaBDL16
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the Complexity of Resource-Bounded Logics. RP 2016: 36-50
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlechinaHKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlechinaHKL16
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR abs/1602.06731 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlechinaDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlechinaDL16
Natasha Alechina, Mehdi Dastani, Brian Logan:
Expressibility of norms in temporal logic. CoRR abs/1608.06787 (2016)
2015
[c82]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/DuNALJG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DuNALJG15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Logan15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Logan15
Brian Logan:
A Future for Agent Programming. EMAS@AAMAS 2015: 3-17
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LiMFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LiMFL15
Jiaqi Li, Felipe Meneguzzi, Moser Silva Fagundes, Brian Logan:
Reinforcement Learning of Normative Monitoring Intensities. COIN@AAMAS/IJCAI 2015: 209-223
[c79]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaBDL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaBDL15
Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan:
Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS 2015: 443-451
[c78]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaLNRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaLNRM15
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda:
Symbolic Model-checking for Resource-Bounded ATL. AAMAS 2015: 1809-1810
[c77]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/AlechinaLNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaLNR15
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Symbolic Model Checking for One-Resource RB+-ATL. IJCAI 2015: 1069-1075
[c76]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/AlechinaBLN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaBLN15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/LeaskL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/LeaskL15
Sam Leask, Brian Logan:
Programming Deliberation Strategies in Meta-APL. PRIMA 2015: 433-448
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlechinaLNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlechinaLNR15
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaDL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaDL14
Natasha Alechina, Mehdi Dastani, Brian Logan:
Norm approximation for imperfect monitors. AAMAS 2014: 117-124
[c73]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/DoanYAL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DoanYAL14
Thu Trang Doan, Yuan Yao, Natasha Alechina, Brian Logan:
Verifying heterogeneous multi-agent programs. AAMAS 2014: 149-156
[c72]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/MeneguzziLF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/MeneguzziLF14
Felipe Meneguzzi, Brian Logan, Moser Silva Fagundes:
Norm monitoring with asymmetric information. AAMAS 2014: 1523-1524
[c71]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/LeePLDA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LeePLDA14
Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina:
Run-time norm compliance in BDI agents. AAMAS 2014: 1581-1582
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/AlechinaHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/AlechinaHL14
Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair Allocation of Group Tasks According to Social Norms. CLIMA 2014: 19-34
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/LeePLDA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/LeePLDA14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/AlechinaLNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AlechinaLNR14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/YaoLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/YaoLT14
Yuan Yao, Brian Logan, John Thangarajah:
SP-MCTS-based Intention Scheduling for BDI Agents. ECAI 2014: 1133-1134
2013
[c66]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/AlechinaBDHHLNZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaBDHHLNZ13
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
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DybalovaTDL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DybalovaTDL13
Daniela Dybalova, Bas Testerink, Mehdi Dastani, Brian Logan:
A Framework for Programming Norm-Aware Multi-agent Systems. COIN@AAMAS/PRIMA 2013: 364-380
[c64]
- view
- export record
  dblp key:
  - conf/ijcai/AlechinaDL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaDL13
Natasha Alechina, Mehdi Dastani, Brian Logan:
Reasoning about Normative Update. IJCAI 2013: 20-26
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/ispec/LiuAL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispec/LiuAL13
Xiaofan Liu, Natasha Alechina, Brian Logan:
Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. ISPEC 2013: 233-247
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/AlechinaLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/AlechinaLL13
Natasha Alechina, Fenrong Liu, Brian Logan:
Minimal Preference Change. LORI 2013: 15-26
[p1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/AlechinaBDVLMMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AlechinaBDVLMMS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/2012
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]
- view
  authority control:
- export record
  dblp key:
  - journals/biosystems/FozardLKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biosystems/FozardLKL12
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/aamas/AlechinaDL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/AlechinaDL12
Natasha Alechina, Mehdi Dastani, Brian Logan:
Programming norm-aware agents. AAMAS 2012: 1057-1064
[c60]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/aamas/ZappalaAL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/ZappalaAL12
Julian Zappala, Natasha Alechina, Brian Logan:
Consensus games. AAMAS 2012: 1309-1310
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/NguyenAL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/NguyenAL12
Hai H. Nguyen, Natasha Alechina, Brian Logan:
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. Description Logics 2012
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/AlechinaBHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/AlechinaBHL12
Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan:
Query Caching in Agent Programming Languages. ProMAS 2012: 123-137
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/DixHLW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DixHLW12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/AlechinaDLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/AlechinaDLM11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaLNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaLNR11
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Logic for coalitions with bounded resources. J. Log. Comput. 21(6): 907-937 (2011)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlechinaDLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlechinaDLM11
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/VikhorevAL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/VikhorevAL11
Konstantin Vikhorev, Natasha Alechina, Brian Logan:
Agent programming with priorities and deadlines. AAMAS 2011: 397-404
2010
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/cmot/ZappalaL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cmot/ZappalaL10
Julian Zappala, Brian Logan:
Effects of resource availability on consensus decision making in primates. Comput. Math. Organ. Theory 16(4): 400-415 (2010)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/AlechinaL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/AlechinaL10
Natasha Alechina, Brian Logan:
Belief ascription under bounded resources. Synth. 173(2): 179-197 (2010)
[c56]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaLNR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaLNR10
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Resource-bounded alternating-time temporal logic. AAMAS 2010: 481-488
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/int-ws/MaddenL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/int-ws/MaddenL10
Neil Madden, Brian Logan:
User evaluation of virtual reporting agents. FDG 2010: 5:1-5:8
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/LiuAL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/LiuAL10
Xiaofan Liu, Natasha Alechina, Brian Logan:
Syntax and Semantics for Business Rules. KES (4) 2010: 41-50
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mallow/AlechinaL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mallow/AlechinaL10
Natasha Alechina, Brian Logan:
Computationally Grounded Account of Belief and Awareness for AI Agents. MALLOW 2010
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/AlechinaLNR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/AlechinaLNR10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/KissML10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/KissML10
Daniel Kiss, Neil Madden, Brian Logan:
Atomic Intentions in Jason +. ProMAS 2010: 79-95

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/LeesLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/LeesLT09
Michael Lees, Brian S. Logan, Georgios Theodoropoulos:
Analysing probabilistically constrained optimism. Concurr. Comput. Pract. Exp. 21(11): 1467-1482 (2009)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/isj/ChesneyCLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isj/ChesneyCLM09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AlechinaL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AlechinaL09
Natasha Alechina, Brian Logan:
A Logic of Situated Resource-Bounded Agents. J. Log. Lang. Inf. 18(1): 79-95 (2009)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/AlechinaLNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/AlechinaLNR09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/TrangLA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/TrangLA09
Doan Thu Trang, Brian Logan, Natasha Alechina:
Verifying Dribble Agents. DALT 2009: 244-261
[c49]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/AlechinaLNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaLNR09
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/lads/VikhorevAL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lads/VikhorevAL09
Konstantin Vikhorev, Natasha Alechina, Brian Logan:
The ARTS Real-Time Agent Architecture. LADS 2009: 1-15
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/AlechinaLNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/AlechinaLNR09
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14
[c46]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mallow/VikhorevAL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mallow/VikhorevAL09
Konstantin Vikhorev, Natasha Alechina, Brian Logan:
The ARTS Real-Time Agent Architecture. MALLOW 2009
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/MaddenL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/MaddenL09
Neil Madden, Brian Logan:
Modularity and Compositionality in Jason. PROMAS 2009: 237-253
2008
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ChenETMOLLU08
- ask others
- share record