Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 35.

Article

Alechina, Natasha and Logan, Brian and 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)

Leask, Sam and Logan, Brian (2017) Programming agent deliberation using procedural reflection. Fundamenta Informaticae . ISSN 0169-2968 (In Press)

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

Bakker, Otto Jan and Chaplin, Jack C. and de Silva, Lavindra and Felli, Paolo and Sanderson, David and 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 and Bulling, Nils and 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 and 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 and Meneguzzi, Felipe and 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 and Logan, Brian and Feisst, Markus and 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 and 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 and Alechina, Natasha and 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 and Liu, Fenrong and Logan, Brian (2015) Efficient minimal preference change. Journal of Logic and Computation . ISSN 1465-363X

Conference or Workshop Item

Felli, Paolo and de Silva, Lavindra and 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 and 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 and 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 and 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 and Felli, Paolo and Chaplin, Jack C. and Logan, Brian and 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 and Halpern, Joseph Y. and 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 and Bulling, Nils and 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 and Felli, Paolo and Chaplin, Jack C. and Logan, Brian and 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 and 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 and 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 and 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 and 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 and Bulling, Nils and 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 and Logan, Brian and 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 and Bulling, Nils and 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 and Nguyen, Hai Hoang and Alechina, Natasha and Logan, Brian and 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 and Logan, Brian and 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 and 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 and Yuan, Yao and 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.

This list was generated on Fri Dec 15 06:09:06 2017 UTC.