• Login
• Admin

Article

de Silva, Lavindra, Felli, Paolo, Sanderson, David, Chaplin, Jack C., Logan, Brian and Ratchev, Svetan (2019) Synthesising process controllers from formal models of transformable assembly systems. Robotics and Computer-Integrated Manufacturing . ISSN 1879-2537 (In Press)

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2018) Incentive-compatible mechanisms for norm monitoring in open multi-agent systems. Journal of Artificial Intelligence Research, 62 . ISSN 1943-5037

Leask, Sam and Logan, Brian (2018) Programming agent deliberation using procedural reflection. Fundamenta Informaticae, 158 . pp. 93-120. ISSN 0169-2968

Alechina, Natasha, Hoek, Wiebe van der and Logan, Brian (2017) Fair decomposition of group obligations. Journal of Logic and Computation, 27 (7). pp. 2043-2062. ISSN 1465-363X

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2017) Model-checking for resource-bounded ATL with production and consumption of resources. Journal of Computer and System Sciences, 88 . pp. 126-144. ISSN 1090-2724

Logan, Brian (2017) An agent programming manifesto. International Journal of Agent-Orientated Software Engineering . ISSN 1746-1383 (In Press)

Bakker, Otto Jan, Chaplin, Jack C., de Silva, Lavindra, Felli, Paolo, Sanderson, David, Logan, Brian and Ratchev, Svetan (2017) Toward process control from formal models of transformable manufacturing systems. Procedia CIRP . ISSN 2212-8271 (In Press)

Logan, Brian (2017) Future directions in agent programming. ALP Issue, 29 (4).

Alechina, Natasha, Bulling, Nils, Logan, Brian and Nguyen, Hoang Nga (2017) The virtues of idleness: a decidable fragment of resource agent logic. Artificial Intelligence . ISSN 0004-3702

Yao, Yuan, de Silva, Lavindra and Logan, Brian (2016) Reasoning about the executability of goal-plan trees. Lecture Notes in Computer Science, 10093 . pp. 176-191. ISSN 0302-9743

Li, Jiaqi, Meneguzzi, Felipe, Fagundes, Moser and Logan, Brian (2016) Reinforcement learning of normative monitoring intensities. Lecture Notes in Computer Science, 9628 . pp. 209-223. ISSN 0302-9743

Alechina, Natasha and Logan, Brian (2016) Verifying systems of resource-bounded agents. Lecture Notes in Computer Science, 9709 . pp. 3-12. ISSN 0302-9743

Altomonte, Sergio, Logan, Brian, Feisst, Markus, Rutherford, Peter and Wilson, Robin (2016) Interactive and situated learning in education for sustainability. International Journal of Sustainability in Higher Education, 17 (3). pp. 417-443. ISSN 1467-6370

Singh, Dhirendra, Padgham, Lin and Logan, Brian (2016) Integrating BDI agents with Agent-based simulation platforms. Autonomous Agents and Multi-Agent Systems . pp. 1-22. ISSN 1387-2532

Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian and Rakib, Abdur (2015) Alternating-time temporal logic with resource bounds. Journal of Logic and Computation . pp. 1-33. ISSN 0955-792X

Alechina, Natasha, Liu, Fenrong and Logan, Brian (2015) Efficient minimal preference change. Journal of Logic and Computation . ISSN 1465-363X

Conference or Workshop Item

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2018) Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract). In: 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), 13-19 July 2018, Stockholm, Sweden.

de Silva, Lavindra, Meneguzzi, Felipe and Logan, Brian (2018) An operational semantics for a fragment of PRS. In: 27th International Joint Conference on Artificial Intelligence (IJCAI) and the 23rd European Conference on Artificial Intelligence (ECAI), 13-19 July 2018, Stockholm, Sweden.

Alechina, Natasha and Logan, Brian (2018) Resource logics with a diminishing resource: extended abstract. In: 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 10-15 July 2018, Stockholm, Sweden.

Felli, Paolo, de Silva, Lavindra, Logan, Brian and Ratchev, Svetan (2018) Composite capabilities for cloud manufacturing (demonstration). In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 10-15 Jul 2018, Stockholm, Sweden.

De Giacomo, Giuseppe, Vardi, Moshe Y., Felli, Paolo, Alechina, Natasha and Logan, Brian (2018) Synthesis of orchestrations of transducers for manufacturing. In: 32nd AAAI Conference on Artificial Intelligence (AAAI-18), 2-7 Feb 2018, New Orleans, USA.

Felli, Paolo, de Silva, Lavindra, Logan, Brian and Ratchev, Svetan (2017) Process plan controllers for non-deterministic manufacturing systems. In: International Joint Conference on Artificial Intelligence (IJCAI), 19-25 August 2017, Melbourne, Australia.

Alechina, Natasha, Halpern, Joseph Y. and Logan, Brian (2017) Causality, responsibility and blame in team plans. In: 16th International Conference on Autonomous Agents and Multiagent Systems, 8-12 May 2017, Sao Paulo, Brazil.

Singh, Dhirendra, Padgham, Lin and Logan, Brian (2017) Integrating BDI agents with agent-based simulation platforms. In: 16th International Conference on Autonomous Agents and Multiagent Systems, 8-12 May 2017, Sao Paulo, Brazil.

Logan, Brian, Thangarajah, John and Yorke-Smith, Neil (2017) Progressing intention progression: a call for a Goal-Plan Tree contest. In: 16th International Conference on Autonomous Agents and Multiagent Systems, 8-12 May 2017, Sao Paulo, Brazil.

de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David and Ratchev, Svetan (2017) Synthesising industry-standard manufacturing process controllers. In: Sixteenth International Conference on Autonomous Agents and Multiagent Systems, 8-12 May, 2017, São Paulo, Brazil.

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2017) Incentivising monitoring in open normative systems. In: The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), 4-9 February, 2017, San Francisco, California, USA..

Alechina, Natasha, Bulling, Nils, Demri, Stephane and Logan, Brian (2016) On the complexity of resource-bounded logics. In: 10th International Workshop on Reachability Problems (RP 2016), 19-12 September 2016, Aalborg, Denmark.

de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David and Ratchev, Svetan (2016) Realisability of production recipes. In: 22nd European Conference in Artificial Intelligence (ECAI 2016), 29 Aug-2 Sept 2016, The Hague, Netherlands.

Felli, Paolo, Logan, Brian and Sardina, Sebastian (2016) Parallel behavior composition for manufacturing. In: 25th International Joint Conference on Artificial Intelligence, 9-13 July 2016, New York, NY.

Alechina, Natasha, Dastani, Mehdi and Logan, Brian (2016) Verifying existence of resource-bounded coalition uniform strategies. In: 25th International Joint Conference on Artificial Intelligence, 9-13 July 2016, New York, NY.

Yao, Yuan and Logan, Brian (2016) Action-level intention selection for BDI agents. In: 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), May 9–13, 2016, Singapore.

Yao, Yuan, Logan, Brian and Thangarajah, John (2016) Intention selection with deadlines. In: 22nd European Conference on Artificial Intelligence (ECAI 2016), 29 August - 2 September 2016, The Hague, Netherlands.

Yao, Yuan, Logan, Brian and Thangarajah, John (2016) Robust execution of BDI agent programs by exploiting synergies between intentions. In: 30th AAAI conference on Artificial Intelligence (AAAI-16), 12–17 Feb 2016, Phoenix, USA. (In Press)

Alechina, Natasha, Bulling, Nils, Logan, Brian and Nguyen, Hoang Nga (2015) On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic. In: International Joint Conference on Artificial Intelligence (IJCAI-15), 25-31 July 2015, Buenos Aires, Argentina.

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2015) Symbolic model checking for one-resource RB+-ATL. In: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, 25-31 July 2015, Buenos Aires, Argentina.

Alechina, Natasha, Bulling, Nils, Dastani, Mehdi and Logan, Brian (2015) Practical run-time norm enforcement with bounded lookahead. In: 14th International Conference on Autonomous Agents and Multiagent Systems, 4-8 May 2015, Istanbul, Turkey.

Du, Heshan, Nguyen, Hai Hoang, Alechina, Natasha, Logan, Brian, Jackson, Mike and Goodwin, John (2015) Using qualitative spatial logic for validating crowd-sourced geospatial data. In: Innovative Applications of Artificial Intelligence (IAAI-15), 25-29 Jan 2015, Austin, Texas, USA.

Leask, Sam and Logan, Brian (2015) Programming deliberation strategies in meta-APL. In: PRIMA 2015, 26-30 Oct 2015, University Residential Centre of Bertinoro (Ce.U.B.), Italy.

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2014) Decidable model-checking for a resource logic with production of resources. In: European Conference on Artificial Intelligence (ECAI 2014), 18-22 Aug 2014, Prague, Czech Republic.

Alechina, Natasha, Dastani, Mehdi and Logan, Brian (2014) Norm approximation for imperfect monitors. In: 13th International Conference on Autonomous Agents & Multiagent Systems AAMAS 2014, 5-9 May 2014, Paris, France.

Doan, Thu Trang, Yuan, Yao, Alechina, Natasha and Logan, Brian (2014) Verifying heterogeneous multi-agent programs. In: 13th International Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2014, 5-9 May 2014, Paris, France.