Skip to main content

Research Repository

See what's under the surface


The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods (2019)
Journal Article
Rady, A., Fischer, J., Reeves, S., Logan, B., & James Watson, N. (2020). The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods. Sensors, 20(1), https://doi.org/10.3390/s20010230

Food allergens present a significant health risk to the human population, so their presence must be monitored and controlled within food production environments. This is especially important for powdered food, which can contain nearly all known food... Read More about The Effect of Light Intensity, Sensor Height, and Spectral Pre-Processing Methods When Using NIR Spectroscopy to Identify Different Allergen-Containing Powdered Foods.

Strategic Responsibility Under Imperfect Information (2019)
Conference Proceeding
Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., & Logan, B. (2019). Strategic Responsibility Under Imperfect Information. In AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 592-600

A central issue in the specification and verification of autonomous agents and multiagent systems is the ascription of responsibility to individual agents and groups of agents. When designing a (multi)agent system, we must specify which agents or gro... Read More about Strategic Responsibility Under Imperfect Information.

Decidable Model Checking with Uniform Strategies (2019)
Conference Proceeding
Alechina, N., Logan, B., & Dastani, M. (2019). Decidable Model Checking with Uniform Strategies. In Proceedings of the 18th International Conference on Autonomous Agent and MultiAgent Systems, AAMAS '19, 170--178

The logic of strategic ability Resource-Bounded Alternating Time Syntactic Epistemic Logic (RB+-ATSEL) has a decidable model-checking problem for coalition uniform strategies. A strategy is coalition uniform if agents in a coalition select the same j... Read More about Decidable Model Checking with Uniform Strategies.

Synthesising process controllers from formal models of transformable assembly systems (2019)
Journal Article
De Silva, L., Felli, P., Sanderson, D., Chaplin, J. C., Logan, B., & Ratchev, S. (2019). Synthesising process controllers from formal models of transformable assembly systems. Robotics and Computer-Integrated Manufacturing, 58, 130-144. doi:10.1016/j.rcim.2019.01.014

When producing complex and highly customisable products in low volumes (or in 'batch sizes of one'), automation of production systems is critical for competitiveness and profitability in high labour-cost economies. To facilitate batch-size-of-one pro... Read More about Synthesising process controllers from formal models of transformable assembly systems.

Unbounded orchestrations of transdeucers for manufacturing (2019)
Conference Proceeding
Alechina, N., Brázdil, T., De Giacomo, G., Felli, P., Logan, B., & Vardi, M. Y. (2019). Unbounded orchestrations of transdeucers for manufacturing

There has recently been increasing interest in using reactive synthesis techniques to automate the production of manufacturing process plans. Previous work has assumed that the set of manufacturing resources is known and fixed in advance. In this pap... Read More about Unbounded orchestrations of transdeucers for manufacturing.

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). ISSN 1746-1375

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 Intelligencedoi: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

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, doi:10.1613/jair.1.11214. ISSN 1076-9757

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. doi: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, doi: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.

Process plan controllers for non-deterministic manufacturing systems (2017)
Journal Article
Felli, P., de Silva, L., Logan, B., & Ratchev, S. (2017). Process plan controllers for non-deterministic manufacturing systems. 00 Journal not listed, doi:10.24963/ijcai.2017/142

Determining the most appropriate means of producing a given product, i.e., which manufacturing and assembly tasks need to be performed in which order and how, is termed process planning In process planning, abstract manufacturing tasks in a process r... Read More about Process plan controllers for non-deterministic manufacturing systems.

Progressing intention progression: a call for a Goal-Plan Tree contest (2017)
Conference Proceeding
Logan, B., Thangarajah, J., & Yorke-Smith, N. (2017). Progressing intention progression: a call for a Goal-Plan Tree contest

User-supplied domain control knowledge in the form of hierarchically structured Goal-Plan Trees (GPTs) is at the heart of a number of approaches to reasoning about action. Reasoning with GPTs connects the AAMAS community with other communities such a... Read More about Progressing intention progression: a call for a Goal-Plan Tree contest.

Model-checking for resource-bounded ATL with production and consumption of resources (2017)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2017). Model-checking for resource-bounded ATL with production and consumption of resources. Journal of Computer and System Sciences, 88, https://doi.org/10.1016/j.jcss.2017.03.008

Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consume... Read More about Model-checking for resource-bounded ATL with production and consumption of resources.

Fair decomposition of group obligations (2017)
Journal Article
Alechina, N., Hoek, W. V. D., & Logan, B. (2017). Fair decomposition of group obligations. Journal of Logic and Computation, 27(7), doi:10.1093/logcom/exx012

We consider the problem of decomposing a group norm into a set of individual obligations for the agents comprising the group, such that if the individual obligations are fulfilled, the group obligation is fulfilled. Such an assignment of tasks to age... Read More about Fair decomposition of group obligations.