Skip to main content

Research Repository

Advanced Search

All Outputs (9)

An agent programming manifesto (2018)
Journal Article
Logan, B. (2018). An agent programming manifesto. International Journal of Agent-Oriented Software Engineering, 6(2), 187-210

There has been considerable progress in both the theory and practice of agent programming since Georgeff & Rao’s seminal work on the Belief-Desire-Intention paradigm. However, despite increasing interest in the development of autonomous systems, appl... Read More about An agent programming manifesto.

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract) (2018)
Conference Proceeding
Alechina, N., Halpern, J. Y., Kash, I. A., & Logan, B. (2018). Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract). In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. https://doi.org/10.24963/ijcai.2018/781

We consider the problem of detecting norm violations in open multi-agent systems (MAS). In this extended abstract, we outline the approach of [Alechina et al., 2018], and show how, using ideas from scrip systems, we can design mecha... Read More about Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract).

Resource logics with a diminishing resource: extended abstract (2018)
Conference Proceeding
Alechina, N., & Logan, B. (2018). Resource logics with a diminishing resource: extended abstract. In Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We show that it is more feasible under the assumption that there is at least one diminishing resource, that is, a res... Read More about Resource logics with a diminishing resource: extended abstract.

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (2018)
Journal Article
Alechina, N., Halpern, J. Y., Kash, I. A., & Logan, B. (2018). Incentive-compatible mechanisms for norm monitoring in open multi-agent systems. Journal of Artificial Intelligence Research, 62, https://doi.org/10.1613/jair.1.11214

We consider the problem of detecting norm violations in open multi-agent systems (MAS).We show how, using ideas from scrip systems, we can design mechanisms where the agents comprising the MAS are incentivised to monitor the actions of other agents f... Read More about Incentive-compatible mechanisms for norm monitoring in open multi-agent systems.

Synthesis of orchestrations of transducers for manufacturing (2018)
Conference Proceeding
De Giacomo, G., Vardi, M. Y., Felli, P., Alechina, N., & Logan, B. (2018). Synthesis of orchestrations of transducers for manufacturing.

In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestratio... Read More about Synthesis of orchestrations of transducers for manufacturing.

On the complexity of resource-bounded logics (2018)
Journal Article
Alechina, N., Bulling, N., Demri, S., & Logan, B. S. (2018). On the complexity of resource-bounded logics. Theoretical Computer Science, 750, 69-100. https://doi.org/10.1016/j.tcs.2018.01.019

We revisit decidability results for resource-bounded logics and use decision problems on vector addition systems with states (VASS) in order to establish complexity characterisations of (decidable) model checking problems. We show that the model chec... Read More about On the complexity of resource-bounded logics.

Programming agent deliberation using procedural reflection (2018)
Journal Article
Leask, S., & Logan, B. (in press). Programming agent deliberation using procedural reflection. Fundamenta Informaticae, 158, https://doi.org/10.3233/FI-2018-1643

A key advantage of BDI-based approaches to agent programming, is that agents can deliberate about which course of action to adopt to achieve a goal or respond to an event. However, while state-of-the-art BDI-based agent programming languages allow th... Read More about Programming agent deliberation using procedural reflection.