| 2022 |
|---|
| Natasha Alechina, De Giacomo, Giuseppe, Brian Logan, and Giuseppe Perelli (2022). "Automatic Synthesis of Dynamic Norms for Multi-Agent Systems." Proceedings of the 19th International Conference on Knowledge Representation and Reasoning (KR 2022) (pp. 12-21).
| bib |
 |
| Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, and Brian Logan (2022). "Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning." Proceedings of the International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR).
| bib |
|
| Michael Dann, Yuan Yao, Brian Logan, and John Thangarajah (2022). "Multi-Agent Intention Progression with Reward Machines." Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (pp. 215-222).
| bib |
|
| De Giacomo, Giuseppe, Paolo Felli, Brian Logan, Fabio Patrizi, and Sebastian Sardina (2022). "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)." Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (pp. 5722-5726).
| bib |
|
| Natasha Alechina, Matteo Baldoni, and Brian Logan, editors (2022). Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers, Springer.
| bib |
|
| Cardoso, Rafael C., Brian Logan, Felipe Meneguzzi, Nir Oren, and Bruno Yun (2022). "Resilience, reliability and coordination in autonmous multi-agent systems." AI Communications, 35, 339-356.
| bib |
|
| De Giacomo, Giuseppe, Paolo Felli, Brian Logan, Fabio Patrizi, and Sebastian Sardina (2022). "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation." Aritificial Intelligence, 302, 103598.
| bib |
|
| Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Maarten Loffler, and Brian Logan (2022). "The Complexity of Norm Synthesis and Revision." Proceedings of the International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE).
| bib |
|
| |
|---|
| 2021 |
|---|
| de Mooij, A. Jan, Dell'Anna, Davide, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, and Samarth Swarup (2021). "Using an Agent-Based Simulation to Investigate Behavioral Interventions in a Pandemic." Proceedings of the First Workshop on Agent-Based Modeling and Policy Making (AMPM 2021).
| bib |
|
| Michael Dann, Yuan Yao, Brian Logan, and John Thangarajah (2021). "Multi-Agent Intention Progression with Black Box Agents." Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021).
| bib |
|
| Bordini, Rafael H., El Fallah Seghrouchni, Amal, Koen Hindriks, Brian Logan, and Alessandro Ricci (2021). "Agent programming in the cognitive era." Proceedings of the 20th International Conference on Autonomous Agents and Multiagent systems (AAMAS 2021) (pp. 1718-1720).
| bib |
|
| Yuan Yao, Natasha Alechina, Brian Logan, and John Thangarajah (2021). "Intention Progression using Quantitative Summary Information." Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) (pp. 1416-1424).
| bib |
|
| Parantapa Bhattacharya, A. Jan de Mooij,, Davide Dell'Anna, Mehdi Dastani, Brian Logan, and Samarth Swarup (2021). "PanSim + Sim-2APL: A Framework for Large-Scale Distributed Simulation with Complex Agents." Proceedings of the 9th International Workshop on Engineering Multi-Agent Systems (EMAS 2021).
| bib |
|
| A. Jan de Mooij,, Davide Dell'Anna, Parantapa Bhattacharya, Mehdi Dastani, Brian Logan, and Samarth Swarup (2021). "Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation." Proceedings of the 22nd International Workshop on Multi-Agent-Based Simulation (MABS 2021).
| bib |
|
| |
|---|
| 2020 |
|---|
| Bordini, Rafael H., El Fallah Seghrouchni, Amal, Koen Hindriks, Brian Logan, and Alessandro Ricci (2020). "Agent programming in the cognitive era." Autonomous Agents and Multi-Agent Systems, 34(37).
| bib |
|
| Lavindra de Silva, Felipe Meneguzzi, and Brian Logan (2020). "BDI Agent Architectures: A Survey." Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020).
| bib |
|
| Yuan Yao, Natasha Alechina, Brian Logan, and John Thangarajah (2020). "Intention Progression under Uncertainty." Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020).
| bib |
|
| Natasha Alechina, Stephane Demri, and Brian Logan (2020). "An Outline of Parameterised Resource-Bounded ATL." Proceedings of the 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020).
| bib |
|
| Michael Dann, John Thangarajah, Yuan Yao, and Brian Logan (2020). "Intention-Aware Multiagent Scheduling." Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020).
| bib |
|
| Joe Collenette and Brian Logan (2020). "Multi-Agent Control of Industrial Robot Vacuum Cleaners." Proceedings of the 8th International Workshop on Engineering Multi-Agent Systems (EMAS 2020).
| bib |
|
| Alechina, Natasha, Stephane Demri, and Logan, Brian (2020). "Parameterised Resource-Bounded ATL." Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20).
| bib |
|
| Natasha Alechina and Brian Logan (2020). "State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems." In Andreas Blass, Patrick Cegielski, Nachum Dershowitz, Manfred Droste, and Bernd Finkbeiner, editors, Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday, Springer (pp. 9-29).
| bib |
|
| |
|---|
| 2019 |
|---|
| Amponsah, Kwabena, Zakhary, Sameh, Robinson, Darren, Nathanail, Paul, Logan, Brian, and Siebers, Peer-Olaf (2019). "Distributed Building Energy Simulation with the HLA." Proceedings of the 2019 Summer Simulation Conference.
| bib |
|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2019). "Decidable Model Checking with Uniform Strategies." Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) (pp. 170-178).
| bib |
|
| Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, and Brian Logan (2019). "Strategic Responsibility Under Imperfect Information." Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) (pp. 592-600).
| bib |
|
| Alechina, Natasha, Brazdil, Tomas, De Giacomo, Giuseppe, Felli, Paolo, Logan, Brian, and Vardi, Moshe Y. (2019). "Unbounded Orchestrations of Transducers for Manufacturing." Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19).
| bib |
|
| J\"urgen Dix, Brian Logan, and Michael Winikoff (2019). "Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)." Dagstuhl Reports, 9(3), 52-63.
| bib |
|
| Lavindra de Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan, and Svetan Ratchev (2019). "Synthesising process controllers from formal models of transformable assembly systems." Robotics and Computer Integrated Manufacturing, 58, 130-144.
| bib |
|
| |
|---|
| 2018 |
|---|
| Sam Leask, Natasha Alechina, and Brian Logan (2018). "A Computationally Grounded Model for Goal Processing in BDI Agents." Proceedings of the 6th Workshop on Goal Reasoning (GR 2018).
| bib |
|
| de Silva, Lavindra, Meneguzzi, Felipe, and Logan, Brian (2018). "An Operational Semantics for a Fragment of PRS." Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) (pp. 195-202).
| bib |
|
| Felli, Paolo, de Silva, Lavindra, and Logan, Brian, and Ratchev, Svetan (2018). "Composite Capabilities for Cloud Manufacturing (Demonstration)." Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), (pp. 1809-1811).
| bib |
|
| Natasha Alechina, Joseph Halpern, Ian Kash, and Brian Logan (2018). "Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)." Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) (pp. 5543-5547).
| bib |
|
| Natasha Alechina and Brian Logan (2018). "Resource Logics with a Diminishing Resource (Extended Abstract)." Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018) (pp. 1847-1849).
| bib |
|
| Natasha Alechina, Joseph Halpern, Ian Kash, and Brian Logan (2018). "Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems." Journal of Artificial Intelligence Research, 62, 433-458.
| bib |
|
| Giuseppe De Giacomo, Moshe Vardi, Paolo Felli, Natasha Alechina, and Brian Logan (2018). "Synthesis of Orchestrations of Transducers for Manufacturing." Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) (pp. 6161-6168).
| bib |
|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2018). "Modelling Norm Specification and Verification in Multiagent Systems." Journal of Applied Logics -- IfCoLog Journal of Logics and their Applications, 5(2), 457-490.
| bib |
|
| Natasha Alechina, Nils Bulling, Stephane Demri, and Brian Logan (2018). "On the complexity of resource-bounded logics." Theoretical Computer Science, 750, 69-100.
| bib |
|
| Sam Leask and Brian Logan (2018). "Programming Agent Deliberation Using Procedural Reflection." Fundamenta Informaticae, 158(1--3), 93-120.
| bib |
|
| Natasha Alechina and Brian Logan (2018). "Resource Logics with a Diminishing Resource."
| bib |
|
| |
|---|
| 2017 |
|---|
| Brian Logan (2018). "An Agent Programming Manifesto." International Journal of Agent-Oriented Software Engineering, 6(2), 187-210.
| bib |
|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2017). "Verifying Existence of Resource-Bounded Coalition Uniform Strategies." 15th European Conference on Multi-Agent Systems (EUMAS 2017).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2017). "Model-checking for Resource-Bounded ATL with production and consumption of resources." Journal of Computer and System Sciences, 88, 126-144.
| bib |
|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2017). "Uniform Strategies under Bounded Resources." Proceedings of the Eighth Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017).
| bib |
|
| Felli, Paolo, de Silva, Lavindra, Logan, Brian, and Ratchev, Svetan (2017). "Process Plan Controllers for Non-Deterministic Manufacturing Systems." Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017) (pp. 1023-1030).
| bib |
|
| Alechina, Natasha, Halpern, Joseph Y., and Logan, Brian (2017). "Causality, Responsibility and Blame in Team Plans." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), (pp. 1091-1099).
| bib |
|
| Dhirendra Singh, Lin Padgham, and Brian Logan (2017). "Integrating BDI Agents with Agent-Based Simulation Platforms (JAAMAS Extended Abstract)." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), (pp. 249-250).
| bib |
|
| Brian Logan, John Thangarajah, and Neil Yorke-Smith (2017). "Progressing Intention Progresson: A Call for a Goal-Plan Tree Contest." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), (pp. 768-772).
| bib |
|
| de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David, and Ratchev, Svetan (2017). "Synthesising Industry-Standard Manufacturing Process Controllers (Demonstration)." Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), (pp. 1811-1813).
| bib |
|
| Natasha Alechina, Nils Bulling, Brian Logan, and Hoang Nga Nguyen (2017). "The virtues of idleness: A decidable fragment of resource agent logic." Artificial Intelligence, 245, 56-85.
| bib |
|
| Natasha Alechina, van der Hoek, Wiebe, and Brian Logan (2017). "Fair decomposition of group obligations." Journal of Logic and Computation.
| bib |
|
| Natasha Alechina, Joe Halpern, Ian Kash, and Brian Logan (2017). "Incentivising Monitoring in Open Normative Systems." Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017) (pp. 305-311).
| bib |
|
| Bakker, Otto J., Chaplin, Jack C., de Silva, Lavindra, Felli, Paolo, Sanderson, David, Logan, Brian, and Ratchev Svetan (2017). "Towards Process Control from Formal Models of Transformable Manufacturing Systems." Proceedings of the 50th CIRP Conference on Manufacturing Systems.
| bib |
|
| |
|---|
| 2016 |
|---|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2016). "Verifying Existence of Resource-Bounded Coalition Uniform Strategies." Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) (pp. 24-30).
| bib |
|
| Brian Logan (2016). "Future Directions in Agent Programming." ALP Newsletter.
| bib |
|
| Yuan Yao, Brian Logan, and John Thangarajah (2016). "Intention Selection with Deadlines." Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016) (pp. 1700-1701).
| bib |
|
| de Silva, Lavindra, Paolo Felli, Chaplin, Jack C., Brian Logan, David Sanderson, and Svetan Ratchev (2016). "Realisability of Production Recipes." Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016) (pp. 1449-1457).
| bib |
|
| Yuan Yao and Brian Logan (2016). "Action-Level Intention Selection for BDI Agents." Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) (pp. 1227-1235).
| bib |
|
| Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, and Brian Logan (2016). "Decentralised Norm Monitoring in Open Multi-Agent Systems." Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) (pp. 1399-1400).
| bib |
|
| Yuan Yao, Brian Logan, and John Thangarajah (2016). "Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions." Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16) (pp. 2558-2564).
| bib |
|
| Dhirendra Singh, Lin Padgham, and Brian Logan (2016). "Integrating BDI Agents with Agent-Based Simulation Platforms." Autonomous Agents and Multi-Agent Systems, 30(6), 1050-1071.
| bib |
|
| Sergio Altomonte, Brian Logan, Markus Feisst, Peter Rutherford, and Robin Wilson (2016). "Interactive and situated learning in education for sustainability." International Journal of Sustainability in Higher Education, 17(3), 417-443.
| bib |
|
| Alechina, Natasha, Bulling, Nils, Demri, Stephane, and Logan, Brian (2016). "On the Complexity of Resource-Bounded Logics." Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (pp. 36-50).
| bib |
|
| Paolo Felli, Brian Logan, and Sebastian Sardina (2016). "Parallel Behavior Composition for Manufacturing." Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) (pp. 271-278).
| bib |
|
| Yuan Yao, de Silva, Lavindra, and Brian Logan (2016). "Reasoning about the Executability of Goal-Plan Trees." Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers (pp. 176-191).
| bib |
|
| Jiaqi Li, Felipe Meneguzzi, Fagundes, Moser Silva, and Brian Logan (2016). "Reinforcement Learning of of Normative Monitoring Intensities." Coordination, Organizations, Institutions, and Norms in Agent Systems XI: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers (pp. 209-223).
| bib |
|
| Natasha Alechina and Brian Logan (2016). "Verifying Systems of Resource-Bounded Agents." Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings (pp. 3-12).
| bib |
|
| |
|---|
| 2015 |
|---|
| H. N. Nguyen, N. Alechina, B. Logan, and A. Rakib (2018). "Aternating-time temporal logic with resource bounds." Journal of Logic and Computation, 28(4), 631-663.
(Published online June 2015).
| bib |
|
| Sam Leask and Brian Logan (2015). "Programming Deliberation Strategies in Meta-APL." Proceedings of the 18th Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015) (pp. 433-448).
| bib |
|
| Natasha Alechina, Nils Bulling, Brian Logan, and Nguyen, Hoang Nga (2015). "On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 1494-1501).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2015). "Symbolic Model-Checking for One-Resource RB+-ATL." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 1069-1075).
| bib |
|
| J. C. Chaplin, O. J. Bakker, de Silva, L., D. Sanderson, E. Kelly, B. Logan, and S. M. Ratchev (2015). "Evolvable Assembly Systems: A Distribted Architecture for Intelligent Manufacturing." 15th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2015) (pp. 2065-2070).
| bib |
|
| Natasha Alechina, Nils Bulling, Mehdi Dastani, and Brian Logan (2015). "Practical Run-Time Norm Enforcement with Bounded Lookahead." Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) (pp. 443-451).
| bib |
|
| "Natasha Alechina, Brian Logan, Leonardo Mostarda, Nguyen, Hoang Nga, and Franco Raimondi", (2015). "Symbolic Model-Checking for Resource-Bounded ATL." Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) (pp. 1809-1810).
| bib |
|
| Heshan Du, Hai Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, and John Goodwin (2015). "Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data." Proceedings of the Twenty-Seventh Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-15) (pp. 3948-3953).
| bib |
|
| Brian Logan (2015). "A Future for Agent Programming." Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers (pp. 3-17).
| bib |
|
| N. Alechina, F. Liu, and B. Logan (2015). "Efficient minimal preference change." Journal of Logic and Computation.
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Franco Raimondi (2015). "Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources." CoRR, abs/1504.06766.
| bib |
|
| |
|---|
| 2014 |
|---|
| Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2014). "Decidable Model-Checking for a Resource Logic with Production of Resources." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. 9-14).
| bib |
|
| Natasha Alechina, van der Hoek, Wiebe, and Brian Logan (2014). "Fair Allocation of Group Tasks According to Social Norms." Computational Logic in Multi-Agent Systems, 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 (pp. 19-34).
| bib |
|
| Yuan Yao, Brian Logan, and John Thangarajah (2014). "SP-MCTS-based Intention Scheduling for BDI Agents." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. 1133-1134).
| bib |
|
| Lee, JeeHang, Julian Padget, Brian Logan, Daniela Dybalova, and Natasha Alechina (2014). "N-Jason: Run-Time Norm Compliance in AgentSpeak(L)." Proceedings of the 2nd International Workshop on Engineering Multi-agent Systems (EMAS 2014).
| bib |
|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2014). "Norm Approximation for Imperfect Monitors." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 117-124).
| bib |
|
| Felipe Meneguzzi, Brian Logan, and Fagundes, Moser Silva (2014). "Norm Monitoring with Asymmetric Information (Extended Abstract)." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 1523-1524).
| bib |
|
| Natasha Alechina, Fenrong Liu, and Brian Logan (2014). "Postulates and a linear-time algorithm for minimal contraction of preferences." Proceedings of the 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2014).
| bib |
|
| Lee, JeeHang, Julian Padget, Brian Logan, Daniela Dybalova, and Natasha Alechina (2014). "Run-Time Norm Compliance in BDI Agents (Extended Abstract)." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 1581-1582).
| bib |
|
| Doan, Thu Trang, Yuan Yao, Natasha Alechina, and Brian Logan (2014). "Verifying Heterogeneous Multi-Agent Programs." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 149-156).
| bib |
|
| Brian Logan (2014). "What Does It Mean to Have an Architecture?." In Wyatt, Jeremy L., Petters, Dean D., and Hogg, David, editors, From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition, Springer (pp. 75-88).
A Collection in Honour of Aaron Sloman.
| bib |
|
| |
|---|
| 2013 |
|---|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2013). "Reasoning about Normative Update." Proceedings of the 11th European Workshop on Multi-Agent Systems (EUMAS 2013).
| bib |
|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2013). "Reasoning about Normative Update." "Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI (pp. 20-26).
| bib |
|
| Natasha Alechina, Fenrong Liu, and Brian Logan (2013). "Minimal preference change." Proceedings Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV) (pp. 15-26).
| bib |
|
| Natasha Alechina, Tristan Behrens, Mehdi Dastani, Koen Hindriks, Jomi Hubner, Brian Logan, Hai Nguyen, and van Zee, Marc (2013). "Multi-Cycle Query Caching in Agent Programming." Proceedings of the Twenty-Seventh AAAI Conferernce on Artificial Intelligence (AAAI 2013) (pp. 32-38).
| bib |
|
| Daniela Dybalova, Bas Testerink, Mehdi Dastani, and Brian Logan (2013). "A Framework for Programming Norm-Aware Multi-Agent Systems." Proceedings of the 15th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2013).
| bib |
|
| Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik (2013). "Computational Models for Normative Multi-Agent Systems." In Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre, editors, Normative Multi-Agent Systems, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (pp. 71-92).
| bib |
|
| Xiaofan Liu, Natasha Alechina, and Brian Logan (2013). "Expressing User Access Authorization Exceptions in Conventional Role-based Access Control." Proceedings of the 9th International Conference on Information Security Practice and Experience (ISPEC 2013) (pp. 233-247).
| bib |
|
| Mehdi Dastani, Jomi F. H\"ubner, and Brian Logan, editors (2013). Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 4-8, 2012. Revised Selected Papers, Springer.
| bib |
|
| Natasha Alechina, Tristan Behrens, Koen Hindriks, and Brian Logan (2013). "Query Caching in Agent Programming Languages." Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 4-8, 2012. Revised Selected Papers (pp. 123-137).
| bib |
|
| |
|---|
| 2012 |
|---|
| Natasha Alechina, Tristan Behrens, Koen Hindriks, and Brian Logan (2012). "Query Caching in Agent Programming Languages." Proceedings of the Tenth International Workshop on Programming Multi-Agent Systems (ProMAS 2012) (pp. 117-131).
| bib |
|
| John A. Fozard, Michael Lees, John R. King, and Brian S. Logan (2012). "Inhibition of quorum sensing in a computational biofilm simulation." BioSystems, 109(2), 105-114.
| bib |
|
| Hai Nguyen, Natasha Alechina, and Brian Logan (2012). "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System." Proceedings of the 25th International Workshop on Description Logics (DL 2012) (pp. 290-300).
CEUR Workshop Proceedings Vol-846.
| bib |
|
| Julian Zappala, Natasha Alechina, and Brian Logan (2012). "Consensus Games (Extended Abstract)." Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) (pp. 1309-1310).
| bib |
|
| Julian Zappala, Natasha Alechina, and Brian Logan (2012). "Consensus Games." Proceedings of the Third Workshop on Cooperative Games in Multiagent Systems (CoopMAS-2012) (pp. 58-72).
| bib |
|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2012). "Programming Norm-Aware Agents." Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) (pp. 1057-1064).
| bib |
|
| Daniel Kiss, Neil Madden, and Brian Logan (2012). "Atomic Intentions in Jason+." Programming Multi-Agent Systems: 8th International Workshop, ProMAS 2010, Toronto, Canada, May 10-15, 2010. Revised Selected Papers (pp. 79-95).
| bib |
|
| Jurgen Dix, Koen V. Hindriks, Brian Logan, and Wayne Wobcke (2012). "Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)." Dagstuhl Reports, 2(8), 74-98.
| bib |
|
| |
|---|
| 2011 |
|---|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2011). "Logic for coalitions with bounded resources." Journal of Logic and Computation, 21(6), 907-937.
| bib |
|
| Markus Feisst, Brian Logan, and Sergio Altomonte (2011). "EDUCATE on SITE: User Acceptance of Mobile Web Applications in Architectural Education." 10th World Conference on Mobile and Contextual Learning (mLearn 2011) (pp. 78-80).
| bib |
|
| Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2011). "Reasoning about plan revision in BDI agent programs." Theoretical Computer Science, 412(44), 6115-6134.
| bib |
|
| Julian Zappala, Natasha Alechina, and Brian Logan (2011). "Consensus Action Games." Proceedings of the IJCAI-2011 Workshop on Social Choice and Artificial Intelligence (pp. 105-110).
(Archived as ILLC Technical Note X-2011-02).
| bib |
|
| Konstantin Vikhorev, Natasha Alechina, and Brian Logan (2011). "Agent programming with priorities and deadlines." Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011) (pp. 397-404).
| bib |
|
| Konstantin Vikhorev, Natasha Alechina, Rafael Bordini, and Brian Logan (2011). "An Operational Semantics for AgentSpeak(RT) (Preliminary Report)." Proceedings of the Ninth International Workshop on Declarative Agent Languages and Technologies (DALT 2011) (pp. 79-94).
| bib |
|
| Doan Thu Trang, Natasha Alechina, and Brian Logan (2011). "The agent programming language meta-APL." Proceedings of the Ninth International Workshop on Programming Multi-Agent Systems (ProMAS 2011) (pp. 72-87).
| bib |
|
| Russell A. Hill, Brian Logan, William I. Sellers, and Julian Zappala (2011). "An Agent-Based Model of Group Decision Making in Baboons." In Anil K. Seth, Tony J. Prescott, and Joanna J. Bryson, editors, Modelling Natural Action Selection, Cambridge University Press (pp. 454-476).
| bib |
|
| Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2011). "Reasoning about agent deliberation." Autonomous Agents and Multi-Agent Systems, 22(2), 356-381.
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib (2010). "Automated verification of resource requirements in multi-agent systems using abstraction." 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers (pp. 69-84).
| bib |
|
| |
|---|
| 2010 |
|---|
| Natasha Alechina and Brian Logan (2010). "Computationally grounded account of belief and awareness for AI agents." Proceedings of the Third International Workshop on Logics for Resource-Bounded Agents (pp. 1-14).
| bib |
|
| Liu Xiaofan, Natasha Alechina, and Brian Logan (2010). "Syntax and Semantics for Business Rules." Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems (KES'2010) (pp. 41-50).
| bib |
|
| Hai Nguyen, Natasha Alechina, and Brian Logan (2010). "Ontology Debugging with Truth Maintenance Systems." ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Workshop Notes (pp. 13-14).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib (2010). "Automated verification of resource requirements in multi-agent systems using abstraction." Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2010). "Resource-bounded alternating-time temporal logic." Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) (pp. 481-488).
| bib |
|
| Natasha Alechina and Brian Logan (2010). "Belief ascription under bounded resources." Synthese, 173(2), 179-197.
| bib |
|
| Julian Zappala and Brian Logan (2010). "Effects of Resource Availability on Consensus Decision Making in Primates." Computational and Mathemtical Organization Theory, 16, 400-415.
| bib |
|
| Neil Madden and Brian Logan (2010). "User evaluation of virtual reporting agents." Proceedings of the Third Workshop on Intelligent Narrative Technologies (INT3'10) (pp. 1-8).
| bib |
|
| Natasha Alechina, Mehdi Dastani, Fahad Khan, Brian Logan, and Meyer, John-Jules Ch. (2010). "Using Theorem Proving to Verify Properties of Agent Programs." In Dastani, Mehdi, Hindriks, Koen V., and Meyer, John-Jules Ch., editors, Specification and Verification of Multi-agent Systems, Springer (pp. 1-34).
| bib |
|
| Neil Madden and Brian Logan (2009). "Modularity and compositionality in Jason." Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers (pp. 237-253).
| bib |
|
| |
|---|
| 2009 |
|---|
| Julian Zappala and Brian Logan (2009). "Effects of Resource Availability on Consensus Decision Making in Primates." Proceedings of the Social Simulation Workshop at the International Joint Conference on Artificial Intelligence (SS\@IJCAI).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Expressing Properties of Coalitional Ability under Resource Bounds." Proceedings Second International Workshop on Logic, Rationality and Interaction (LORI-II) (pp. 1-14).
| bib |
|
| Konstantin Vikhorev, Natasha Alechina, and Brian Logan (2009). "The ARTS Real-Time Agent Architecture." Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009).
CEUR Workshop Proceedings Vol-494.
| bib |
|
| Michael Lees, Brian Logan, and Georgios Theodoropoulos (2009). "Analysing Probabilistically Constrained Optimism." Concurrency and Computation: Practice and Experience, 21(11), 1467-1482.
| bib |
|
| Natasha Alechina, Brian Logan, and Nguyen Hoang (2009). "Verifying Properties of Coalitional Ability under Resource Bounds." Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "A Logic for Coalitions with Bounded Resources." Proceedings of the Twenty First International Joint Conference on Artificial Intelligence (pp. 659-664).
| bib |
|
| Doan Thu Trang, Brian Logan, and Natasha Alechina (2009). "Verifying Dribble Agents." Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes (pp. 162-177).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Verifying time, memory and communication bounds in systems of reasoning agents." Synthese, 169(2), 385-403.
| bib |
|
| Natasha Alechina and Brian Logan (2009). "A logic of situated resource-bounded agents." Journal of Logic, Language and Information, 18(1), 79-95.
| bib |
|
| Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan (2009). "Bounded-resource Reasoning as (Strong or Classical) Planning." Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 2008, Revised Selected and Invited Papers (pp. 77-96).
| bib |
|
| Thomas Chesney, Iain Coyne, Brian Logan, and Neil Madden (2009). "Griefing in Virtual Worlds: Causes, Casualties and Coping Strategies." Information Systems Journal, 19, 525-548.
| bib |
|
| Iain Coyne, Thomas Chesney, Brian Logan, and Neil Madden (2009). "Griefing in a virtual community: An Exploratory survey of Second Life residents." Zeitschrift für Psychologie/Journal of Psychology, 217, 214-221.
Special Addition on Cyberbullying: Abusive Relationships in Cyberspace.
| bib |
|
| Neil Madden and Brian Logan (2009). "Modularity and compositionality in Jason." Proceedings of the Seventh International Workshop on Programming Multi-Agent Systems (ProMAS 2009).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Reasoning about other agents' beliefs under bounded resources." Post-proceedings of KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 (pp. 1-15).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Verifying Time and Communication Costs of Rule-Based Reasoners." Model Checking and Artificial Intelligence, 5th International Workshop MoChArt 2008, Patras Greece, July 21, 2008. Revised Selected and Invited Papers.
| bib |
|
| |
|---|
| 2008 |
|---|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying time, memory and communication bounds in systems of reasoning agents." Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) (pp. 736-743).
| bib |
|
| Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, and Brian Logan (2008). "Bounded-resource Reasoning as (Strong or Classical) Planning." Proceedings of the Ninth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Reasoning about other agents' beliefs under bounded resources." Pre-proceedings of the KR2008 Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008) (pp. 4-18).
| bib |
|
| Dan Chen, Ronald Ewald, Georgios Theodoropoulos, and Robert Minson, Ton Oguara, Michael Lees, Brian Logan, and Adelinde M. Uhrmacher (2008). "Data Access in Distributed Simulations of Multi-agent Systems." Journal of Systems and Software, 81(2), 2345-2360.
| bib |
|
| Natasha Alechina, Mark Jago, and Brian Logan (2008). "Preference-based belief revision for rule-based agents." Synthese, 165(1), 159-177.
| bib |
|
| Michael Lees, Brian Logan, and Georgios Theodoropoulos (2008). "Using Access Patterns to Analyze the Performance of Optimistic Synchronization Algorithms in Simulations of MAS." Simulation, 84(10/11), 481-492.
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying Resource Requirements for Distributed Rule-Based Systems." Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web (RuleML 2008) (pp. 31-38).
| bib |
|
| Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2008). "Reasoning About Agent Deliberation." Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08) (pp. 16-26).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying time and communication costs of rule-based reasoners." Proceedings of the Fifth Workshop on Model Checking and Artificial Intelligence (MoChArt-2008).
| bib |
|
| Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2008). "Reasoning about agent execution strategies (Short Paper)." Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) (pp. 1455-1458).
| bib |
|
| Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verification of Resource Requirements of Distributed Reasoning Agents." Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008).
| bib |
|
| |
|---|
| 2007 |
|---|
| William I. Sellers, Russell A. Hill, and Brian Logan (2007). "An Agent-Based Model of Group Decision Making in Baboons." Philosophical Transactions of the Royal Society B: Biological Sciences, 362(1485), 1699-1710.
| bib |
|
| Natasha Alechina and Brian Logan (2007). "A logic of situated resource-bounded agents." Proceedings of the Workshop on Logics for Resource-Bounded Agents (pp. 25-39).
| bib |
|
| Michael Lees, Brian Logan, and John King (2007). "Multiscale Models of Bacterial Populations." Proceedings of the 2007 Winter Simulation Conference (pp. 881-890).
| bib |
|
| Neil Madden and Brian Logan (2007). "Collaborative Narrative Generation in Persistent Virtual Environments." Intelligent Narrative Technologies: Papers from the 2007 AAAI Fall Symposium (pp. 71-78).
Technical Report FS--07--05.
| bib |
|
| Brian Logan (2007). "Evaluating Agent Architectures Using Simulation." Evaluating Architectures for Intelligence: Papers from the 2007 AAAI Workshop (pp. 40-43).
Technical Report WS--07--04.
| bib |
|
| Natasha Alechina and Brian Logan (2007). "Formal Evaluation of Agent Architectures." Evaluating Architectures for Intelligence: Papers from the 2007 AAAI Workshop (pp. 1-4).
Technical Report WS--07--04.
| bib |
|
| Thomas Chesney, Iain Coyne, Brian Logan, and Neil Madden (2007). "A design for researching virtual worlds---opportunities and limitations." Proceedings of the 15th European Conference on Information Systems (ECIS).
| bib |
|
| Michael Lees, Brian Logan, and John King (2007). "HLA Simulation of Agent-Based Bacterial Models." Proceedings of the 2007 European Simulation Interoperability Workshop.
07E-SIW-032.
| bib |
|
| Michael Lees, Brian Logan, and John King (2007). "BacGrid: simulations of bacteria using the grid." BMC Systems Biology, 1((Suppl 1):S5).
| bib |
|
| Michael Lees, Brian Logan, and John King (2007). "The Architecture and Implementation of the BacGrid Simulator." Technical report. University of Nottingham, .
| bib |
|
| Michael Lees, Brian Logan, and John King (2007). "BacGrid: Simulations of Bacteria using the Grid." BioSysBio: Systems Biology, Bioinformatics and Synthetic Biology.
(poster).
| bib |
|
| Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2007). "A Logic of Agent Programs." Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007) (pp. 795-800).
| bib |
|
| Natasha Alechina, Mark Jago, and Brian Logan (2007). "Belief Revision for Rule-Based Agents." A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007 (pp. 99-113).
| bib |
|
| Michael Lees, Brian Logan, and Georgios Theodoropoulos (2007). "Distributed simulation of agent-based systems with HLA." ACM Transactions on Modeling and Computer Simulation, 17(3), Article 11.
| bib |
|
| |
|---|
| 2006 |
|---|
| Michael Lees, Brian Logan, and Chen Dan, Ton Oguara, and Georgios Theodoropoulos (2006). "Analysing Probabilistically Constrained Optimism." Proceedings of the Tenth IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2006) (pp. 201-208).
| bib |
|
| John King, Michael Lees, and Brian Logan (2006). "Agent-Based and Continuum Modelling of Populations of Cells." Technical report. University of Nottingham, .
| bib |
|
| Brian Logan, Michael Lees, and John King (2006). "BacGrid: Large Scale Systems Biology Simulation on the Grid." Winter Simulation Conference, Track on Modelling and Simulation in Computational Biology.
(poster).
| bib |
|
| Michael Lees, Brian Logan, and Georgios Theodoropoulos (2006). "Agents, games and HLA." Simulation Modelling Practice and Theory, 14(6), 752-767.
| bib |
|
| Michael Lees, Brian Logan, and Chen Dan, Ton Oguara, and Georgios Theodoropoulos (2006). "Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems." Proceedings of the Twentieth ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2006) (pp. 37-44).
| bib |
|
| Dan Fielding, Brian Logan, and Steve Benford (2006). "Balancing the needs of players and spectators in agent-based commentary systems." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 996-998).
| bib |
|
| Natasha Alechina, Rafael H. Bordini, Jomi Fred Hubner, Mark Jago, and Brian Logan (2006). "Belief Revision for AgentSpeak Agents." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 1288-1290).
| bib |
|
| Georgios Theodoropoulos, Yi Zhang, and Dan Chen, Robert Minson, Stephen J. Turner, Wentong Cai, Yong Xie, and Brian Logan (2006). "Large Scale Distributed Simulation on the Grid." Sixth IEEE International Symposium on Cluster Computing and the Grid Workshops (CCGRIDW'06) (pp. 63).
| bib |
|
| Ronald Ewald, Chen Dan, Ton Oguara, Georgios Theodoropoulos, Michael Lees, Brian Logan, and Ton Oguara, and Adelinde M. Uhrmacher (2006). "Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of MAS." Proceedings of the Twentieth ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2006) (pp. 29-36).
| bib |
|
| Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini (2006). "Verifying space and time requirements for resource-bounded agents." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 217-219).
| bib |
|
| Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini (2006). "Verifying space and time requirements for resource-bounded agents." Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006) (pp. 16-30).
| bib |
|
| Natasha Alechina, Rafael Bordini, Jomi Hubner, Mark Jago, and Brian Logan (2006). "Automating Belief Revision for AgentSpeak." Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT 2006).
| bib |
|
| Natasha Alechina, Mark Jago, and Brian Logan (2006). "Modal logics for communicating rule-based agents." Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (pp. 322-326).
| bib |
|
| Alex Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini (2006). "Model-checking memory requirements of resource-bounded reasoners." Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06) (pp. 213-218).
| bib |
|
| Natasha Alechina, Mark Jago, and Brian Logan (2006). "Resource-Bounded Belief Revision and Contraction." Declarative Agent Languages and Technologies III, Third InternationalWorkshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers (pp. 141-154).
| bib |
|
| |
|---|
| 2005 |
|---|
| Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano (2005). "Verifying space and time requirements for resource-bounded agents." Technical report. ITC-irst, T05-10-03.
| bib |
|
| Natasha Alechina and Brian Logan (2005). "Verifying bounds on deliberation time in multi-agent systems." Proceedings of the Third European Workshop on Multiagent Systemss (EUMAS'05) (pp. 25-34).
| bib |
|
| Ella Tallyn, Boriana Koleva, Brian Logan, Dan Fielding, Steve Benford, Giulia Gelmini, and Neil Madden (2005). "Embodied Reporting Agents as an Approach to Creating Narratives from Live Virtual Worlds." Proceedings of the Third International Conference on Virtual Storytelling (ICVS 2005) (pp. 179-188).
| bib |
|
| Ton Oguara, Dan Chen, Georgios Theodoropoulos, Brian Logan, and Michael Lees (2005). "An Adaptive Load Management Mechanism for Distributed Simulation of Multi-Agent Systems." Proceedings of the Ninth IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2005) (pp. 179-186).
| bib |
|
| Michael Lees, Brian Logan, Chen Dan, Ton Oguara, and Georgios Theodoropoulos (2005). "Decision-Theoretic Throttling for Optimistic Simulations of Multi-Agent Systems." Proceedings of the Ninth IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2005) (pp. 171-178).
| bib |
|
| Neil Madden and Brian Logan (2005). "It's About Time." Proceedings of the Ninteenth International Joint Conference on Artificial Intelligence (IJCAI 2005) (pp. 1511-1512).
(poster).
| bib |
|
| William I. Sellers, Russell A. Hill, and Brian Logan (2005). "Biorealistic Modelling of Baboon Foraging using Agent-Based Modelling." Modelling Natural Action Selection: Proceedings of an International Workshop (pp. 127-134).
| bib |
|
| Neil Madden and Brian Logan (2005). "Modelling Temporal Phenomena using Temporal Abstraction Networks." Modelling Natural Action Selection: Proceedings an International Workshop (pp. 196-202).
| bib |
|
| Natasha Alechina, Mark Jago, and Brian Logan (2005). "Resource-bounded belief revision and contraction." Proceedings of the Third International Workshop on Declarative Agent Languages and Technologies (DALT 2005) (pp. 118-131).
| bib |
|
| Yi Zhang, Georgios Theodoropoulos, Rob Minson, Stephen Turner, Wentong Cai, Yong Xie, and Brian Logan (2005). "Grid-Aware Large Scale Distributed Simulation of Agent-Based Systems." Proceedings of the 2005 European Simulation Interoperability Workshop.
| bib |
|
| Brian Logan (2005). "The Simulation of Agent Systems." AgentLink News(17), 4-5.
(Invited feature article).
| bib |
|
| Elizabeth Gordon and Brian Logan (2005). "Managing Goals and Resources in Dynamic Environments." In Darryl N. Davis, editors, Visions of Mind: Architectures for Cognition and Affect, Idea Group (pp. 225-253).
| bib |
|
| Paul Davidsson, Brian Logan, and Keiki Takadama, editors (2005). Multi-Agent and Multi-Agent-Based Simulation: Joint Workshop MABS 2004, Springer.
| bib |
|
| |
|---|
| 2004 |
|---|
| Cyril Schoreels, Brian Logan, and Jonathan M. Garibaldi (2004). "Agent based Genetic Algorithm Employing Financial Technical Analysis for Making Trading Decisions Using Historical Equity Market Data." Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004) (pp. 421-424).
| bib |
|
| Natasha Alechina, Brian Logan, and Mark Whitsey (2004). "Modelling Communicating Agents in Timed Reasoning Logics." Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA 2004) (pp. 95-107).
| bib |
|
| Michael Lees, Brian Logan, and Georgios Theodoropoulos (2004). "Time Windows in Multi-Agent Distributed Simulation." Proceedings of the 5th EUROSIM Congress on Modelling and Simulation (EuroSim'04).
| bib |
|
| Natasha Alechina, Brian Logan, and Mark Whitsey (2004). "A Complete and Decidable Logic for Resource-Bounded Agents." Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004) (pp. 606-613).
| bib |
|
| Elizabeth Gordon and Brian Logan (2004). "Game Over: You have been beaten by a GRUE." Challenges in Game Artificial Intelligence: Papers from the 2004 AAAI Workshop (pp. 16-21).
Technical Report WS--04--04.
| bib |
|
| Dan Fielding, Mike Fraser, Brian Logan, and Steve Benford (2004). "Reporters, Editors and Presenters: Using Embodied Agents to Report on Online Computer Games." Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004) (pp. 1530-1531).
| bib |
|
| Dan Fielding, Mike Fraser, Brian Logan, and Steve Benford (2004). "Extending Game Participation with Embodied Reporting Agents." Proceedings of the ACM SIGCHI International Conference on Advances in Computer Entertainment Technology (ACE 2004).
| bib |
|
| Michael Lees, Brian Logan, Ton Oguara, and Georgios Theodoropoulos (2004). "HLA_AGENT: Distributed Simulation of Agent-Based Systems with HLA." Proceedings of the International Conference on Computational Science (ICCS'04) (pp. 907-915).
| bib |
|
| Michael Lees, Brian Logan, Rob Minson, Ton Oguara, and Georgios Theodoropoulos (2004). "Distributed Simulation of MAS." Multi-Agent and Multi-Agent-Based Simulation: Joint Workshop MABS 2004 (pp. 25-36).
| bib |
|
| Michael Lees, Brian Logan, Rob Minson, Ton Oguara, and Georgios Theodoropoulos (2004). "Modelling Environments for Distributed Simulation." Environments for Multi-Agent Systems: Proceedings of the the First International Workshop (E4MAS'04) (pp. 150-167).
| bib |
|
| |
|---|
| 2003 |
|---|
| Elizabeth Gordon and Brian Logan (2003). "A Goal Processing Architecture for Game Agents." Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003) (pp. 998-999).
| bib |
|
| Michael Lees, Brian Logan, Ton Oguara, and Georgios Theodoropoulos (2003). "Simulating Agent-Based Systems with HLA: The case of SIM_AGENT -- Part II." Proceedings of the 2003 European Simulation Interoperability Workshop.
| bib |
|
| Michael Lees, Brian Logan, and Georgios Theodoropoulos (2003). "Adaptive Optimistic Synchronisation for Multi-Agent Simulation." Proceedings of the 17th European Simulation Multiconference (ESM 2003) (pp. 77-82).
| bib |
|
| |
|---|
| 2002 |
|---|
| Natasha Alechina and Brian Logan (2002). "Grounding Knowledge and Action Selection in Agent-Based Systems." Working Notes of the Fifth UK Workshop on Multi-Agent Systems (UKMAS 2002).
| bib |
|
| Natasha Alechina and Brian Logan (2002). "Grounding Knowledge and Action Selection in Agent-Based Systems." Proceedings of the Workshop on Logics for Agent-Based Systems (LABS) at the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002) (pp. 61-73).
| bib |
|
| Natasha Alechina and Brian Logan (2002). "Ascribing beliefs to resource bounded agents." Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002) (pp. 881-888).
| bib |
|
| Michael Lees, Brian Logan, and Georgios Theodoropoulos (2002). "Simulating Agent-Based Systems with HLA: The case of SIM_AGENT." Proceedings of the 2002 European Simulation Interoperability Workshop (pp. 285-293).
| bib |
|
| Brian Logan, Mike Fraser, Daniel Fielding, Steve Benford, Chris Greenhalgh, and Pilar Herrero (2002). "Keeping in Touch: Agents Reporting from Collaborative Virtual Environments." Artificial Intelligence and Interactive Entertainment: Papers from the 2002 AAAI Symposium (pp. 62-68).
Technical Report SS--02--01.
| bib |
|
| |
|---|
| 2001 |
|---|
| Georgios Theodoropoulos and Brian Logan (2001). "An Approach to Interest Management and Dynamic Load Balancing in Distributed Simulation." Proceedings of the 2001 European Simulation Interoperability Workshop (pp. 565-571).
| bib |
|
| Natasha Alechina and Brian Logan (2001). "State space search with prioritised soft constraints." Applied Intelligence, 14(3), 263-272.
| bib |
|
| Matthias Scheutz and Brian Logan (2001). "Affective vs. Deliberative Agent Control." Proceedings of the AISB'01 Symposium on Emotion, Cognition and Affective Computing (pp. 1-10).
| bib |
|
| Brian Logan and Georgios Theodoropoulos (2001). "The Distributed Simulation of Multi-Agent Systems." Proceedings of the IEEE, 89(2), 174-186.
| bib |
|
| Natasha Alechina and Brian Logan (2001). "Logical omniscience and the cost of deliberation." Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01) (pp. 100-109).
| bib |
|
| |
|---|
| 2000 |
|---|
| Matthias Scheutz, Aaron Sloman, and Brian Logan (2000). "Emotional States and Realistic Agent Behaviour." Proceedings of the First International Conference on Intelligent Games and Simulation (pp. 81-88).
| bib |
|
| Georgios Theodoropoulos and Brian Logan (2000). "A Unified Framework for Interest Management and Dynamic Load Balancing in Distributed Simulation." Proceedings of the Twelfth European Simulation Symposium (ESS-2000) (pp. 111-115).
| bib |
|
| Brian Logan (2000). "A design study for an Attention Filter Penetration architecture." Proceedings of the AISB'00 Symposium on How to Design a Functioning Mind (pp. 94-101).
| bib |
|
| Brian Logan and Georgios Theodoropoulos (2000). "Dynamic Interest Management in the Distributed Simulation of Agent-Based Systems." Proceedings of the Tenth Conference on AI, Simulation and Planning, AIS-2000 (pp. 45-50).
| bib |
|
| |
|---|
| 1999 |
|---|
| Brian Logan (1999). "The Distributed Simulation of Multi-Agent Systems." Agent Oriented Approaches in Distributed Modelling and Simulation: Challenges and Methodologies (pp. 22).
(Abstract).
| bib |
|
| Aaron Sloman and Brian Logan (2000). "Evolvable Architectures for Human-Like Minds." In G. Hatano, N. Okada, and H. Tanabe, editors, Affective Minds, Elsevier (pp. 169-181).
| bib |
|
| Georgios Theodoropoulos and Brian Logan (1999). "A Framework for the Distributed Simulation of Agent-based Systems." Modelling and Simulation: a tool for the next millennium, Proceedings of the 13th European Simulation Multiconference (ESM'99) (pp. 58-65).
| bib |
|
| Aaron Sloman and Brian Logan (1999). "Building Cognitively Rich Agents Using the SIM_AGENT Toolkit." Communications of the ACM, 42(3), 71-77.
| bib |
|
| Georgios Theodoropoulos and Brian Logan (1999). "Distributed Simulation of Agent-based Systems." Developments in Computational Mechanics with High Performance Computing: Proceedings of the Third Euro-conference on Parallel and Distributed Computing for Computational Mechanics (pp. 147-154).
| bib |
|
| Brian Logan (1999). "Software Tools for Developing Agents (workshop report)." AI Magazine, 20(1), 124-125.
| bib |
|
| |
|---|
| 1998 |
|---|
| Natasha Alechina and Brian Logan (1998). "State space search with prioritised soft constraints." Proceedings of the ECAI-98 Workshop `Decision theory meets artificial intelligence: qualitative and quantitative approaches' (pp. 33-42).
| bib |
|
| Brian Logan (1998). "Classifying agent systems." Software Tools for Developing Agents: Papers from the 1998 Workshop (pp. 11-21).
Technical Report WS--98--10.
| bib |
|
| Aaron Sloman and Brian Logan (1998). "Cognition and affect: Architectures and tools." Proceedings of the Second International Conference on Autonomous Agents (pp. 471-472).
| bib |
|
| Brian Logan and Natasha Alechina (1998). "A* with bounded costs." Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI-98 (pp. 444-449).
| bib |
|
| Aaron Sloman and Brian Logan (1998). "Architectures and tools for human-like agents." Proceedings of the Second European Conference on Cognitive Modelling, ECCM-98 (pp. 58-65).
| bib |
|
| Jeremy Baxter and Brian Logan, editors (1998). Software Tools for Developing Agents: Papers from the 1998 Workshop, AAAI Press.
| bib |
|
| |
|---|
| 1997 |
|---|
| Brian Logan (1997). "Route Planning with Ordered Constraints." Proceedings of the 16th Workshop of the UK Planning and Scheduling Special Interest Group (pp. 133-144).
| bib |
|
| Aaron Sloman and Brian Logan (1997). "Synthetic minds." Proceedings of the First International Conference on Autonomous Agents (pp. 534-535).
| bib |
|
| |
|---|
| 1996 |
|---|
| Brian Logan and Riccardo Poli (1996). "Route planning in the space of complete plans." Proceedings of the 15th Workshop of the UK Planning and Scheduling Special Interest Group (pp. 233-240).
| bib |
|
| Brian Logan and Riccardo Poli (1996). "Route planning with GA*." Proceedings of the First Online Workshop on Soft Computing WSC1 (pp. 99-103).
| bib |
|
| Riccardo Poli and Brian Logan (1996). "The evolutionary computation cookbook: Recipes for designing new algorithms." Proceedings of the Second Online Workshop on Evolutionary Computation.
| bib |
|
| |
|---|
| 1995 |
|---|
| Brian Logan (1995). "Understanding Problem Structure as Heuristic Formation in Design." Temes de Disseny(12), 165-228.
| bib |
|
| |
|---|
| 1994 |
|---|
| B. Logan, S. Reece, and K. Sparck Jones (1994). "Modelling Information Retrieval Agents with Belief Revision." Proceedings of the 17th International ACM-SIGIR Conference on Research and Development in Information Retrieval (SIGIR'94) (pp. 91-100).
| bib |
|
| B. Logan, S. Reece, A. Cawsey, J. Galliers, and K. Sparck Jones (1994). "Belief Revision and Dialogue Management in Information Retrieval." Technical report. University of Cambridge Computer Laboratory, 339.
| bib |
|
| |
|---|
| 1993 |
|---|
| Brian Logan and Tim Smithers (1993). "Creativity and design as exploration." Modeling Creativity and Knowledge-Based Creative Design (pp. 139-175).
| bib |
|
| A. Cawsey, J. Galliers, B. Logan, S. Reece, and K. Sparck Jones (1993). "Revising Beliefs and Intentions: A Unified Framework for Agent Interaction." Prospects for Artificial Intelligence: Proceedings of AISB'93, The Ninth Biennial Conference of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (pp. 130-139).
| bib |
|
| |
|---|
| 1992 |
|---|
| David Corne, Brian Logan, and Tim Smithers (1992). "A fundamental tradeoff in intelligent design support." Proceedings of the Sixth International Conference on Systems Research, Informatics and Cybernetics, Focus Symposium on Advances in Computer-Based Design Environments.
| bib |
|
| Brian Logan, David Corne, and Tim Smithers (1992). "Enduring support: on defeasible reasoning in design." Artificial Intelligence in Design '92 (pp. 433-454).
| bib |
|
| Brian Logan, David Corne, and Tim Smithers (1992). "The Edinburgh Designer System: an architecture for solving ill-structured problems." Proceedings of the Tenth European Conference on Artificial Intelligence (pp. 282-286).
| bib |
|
| Brian Logan, David Corne, and Tim Smithers (1992). "Using reason maintenance systems to support ill-structured problem solving." Proceedings of the Workshop on the Applications of Reason Maintenance Systems (held in conjunction with ECAI'92).
| bib |
|
| |
|---|
| 1991 |
|---|
| Brian Logan, Karl Millington, and Tim Smithers (1991). "Being economical with the truth: assumption-based context management in the Edinburgh Designer System." Artificial Intelligence in Design '91 (pp. 423-446).
| bib |
|