Skip to main content

Research Repository

Advanced Search

All Outputs (52)

Robust execution of BDI agent programs by exploiting synergies between intentions (2016)
Conference Proceeding
Yao, Y., Logan, B., & Thangarajah, J. (2016). Robust execution of BDI agent programs by exploiting synergies between intentions. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16) (2558=2564)

A key advantage the reactive planning approach adopted by BDI-based agents is the ability to recover from plan execution failures, and almost all BDI agent programming languages and platforms provide some form of failure handling mechanism. In genera... Read More about Robust execution of BDI agent programs by exploiting synergies between intentions.

Symbolic model checking for one-resource RB+-ATL (2015)
Conference Proceeding
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2015). Symbolic model checking for one-resource RB+-ATL.

RB+-ATL is an extension of ATL where it is possible to model consumption and production of several resources by a set of agents. The modelchecking problem for RB+-ATL is known to be decidable. However the only available model checking algorithm for R... Read More about Symbolic model checking for one-resource RB+-ATL.

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic (2015)
Conference Proceeding
Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. (2015). On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic.

The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model c... Read More about On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic.

Alternating-time temporal logic with resource bounds (2015)
Journal Article
Nguyen, H. N., Alechina, N., Logan, B., & Rakib, A. (2015). Alternating-time temporal logic with resource bounds. Journal of Logic and Computation, https://doi.org/10.1093/logcom/exv034

Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability c... Read More about Alternating-time temporal logic with resource bounds.

Efficient minimal preference change (2015)
Journal Article
Alechina, N., Liu, F., & Logan, B. (2018). Efficient minimal preference change. Journal of Logic and Computation, 28(8), 1715–1733. https://doi.org/10.1093/logcom/exv027

In this article, we study a minimal change approach to preference dynamics. We treat a set of preferences as a special kind of theory, and define minimal change preference contraction and revision operations in the spirit of the Alchourrón, Gärdenfor... Read More about Efficient minimal preference change.

Practical run-time norm enforcement with bounded lookahead (2015)
Conference Proceeding
Alechina, N., Bulling, N., Dastani, M., & Logan, B. (2015). Practical run-time norm enforcement with bounded lookahead.

Norms have been widely proposed as a means of coordinating and controlling the behaviour of agents in a multi-agent system. A key challenge in normative MAS is norm enforcement: how and when to restrict the agents’ behaviour in order to obtain a des... Read More about Practical run-time norm enforcement with bounded lookahead.

Using qualitative spatial logic for validating crowd-sourced geospatial data (2015)
Conference Proceeding
Du, H., Nguyen, H. H., Alechina, N., Logan, B., Jackson, M., & Goodwin, J. (2015). Using qualitative spatial logic for validating crowd-sourced geospatial data.

We describe a tool, MatchMaps, that generates sameAs and partOf matches between spatial objects (such as shops, shopping centres, etc.) in crowd-sourced and authoritative geospatial datasets. MatchMaps uses reasoning in qualitative spatial logic, des... Read More about Using qualitative spatial logic for validating crowd-sourced geospatial data.

Decidable model-checking for a resource logic with production of resources (2014)
Conference Proceeding
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2014). Decidable model-checking for a resource logic with production of resources. In ECAI 2014 (9-14). https://doi.org/10.3233/978-1-61499-419-0-9

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 Decidable model-checking for a resource logic with production of resources.

Verifying heterogeneous multi-agent programs (2014)
Conference Proceeding
Doan, T. T., Yuan, Y., Alechina, N., & Logan, B. (2014). Verifying heterogeneous multi-agent programs. In AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems (149-156). https://doi.org/10.5555/2615731.2615758

We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programming... Read More about Verifying heterogeneous multi-agent programs.