| 2013 |
|---|
| Natasha Alechina, Mehdi Dastani, and Brian Logan (2013). "Reasoning about Normative Update." Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI 2013).
(to appear).
| 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).
(to appear).
| 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.
(to appear).
| 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).
(to appear).
| 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 |
|
|
|
| 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, 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 |
|---|
| 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 |
|
|
|
| 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 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).
| 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).
(to appear).
| 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 Bacterial 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 |
|
|
|