2022

1. Inverse Problems for Gradual Semantics

   Nir Oren, Bruno Yun, Srdjan Vesic,  and Murilo Silva Baptista

   In Proccedings of the 2022 International Joint Conference on Artificial Intelligence 2022

   Bib

   @inproceedings{oren22inverse,
     title = {Inverse Problems for Gradual Semantics},
     author = {Oren, Nir and Yun, Bruno and Vesic, Srdjan and da Silva Baptista, Murilo},
     year = {2022},
     booktitle = {Proccedings of the 2022 International Joint Conference on Artificial Intelligence}
   }

2. On probabilistic argumentation and subargument-completeness

   Régis Riveret,  and Nir Oren

   Journal of Logic and Computation 2022

   Bib

   @article{riveret2022probabilistic,
     title = {On probabilistic argumentation and subargument-completeness},
     author = {Riveret, R{\'e}gis and Oren, Nir},
     journal = {Journal of Logic and Computation},
     volume = {32},
     number = {1},
     pages = {115--128},
     year = {2022},
     publisher = {Oxford University Press}
   }

3. Goal Recognition as Reinforcement Learning

   Leonardo R. Amado, Reuth Mirsky,  and Felipe Meneguzzi

   In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI) 2022

   Bib

   @inproceedings{Amado2022,
     author = {Amado, Leonardo R. and Mirsky, Reuth and Meneguzzi, Felipe},
     title = {{Goal Recognition as Reinforcement Learning}},
     booktitle = {Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI)},
     year = {2022},
     publisher = {AAAI Press}
   }

4. Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest

   Matt Luckcuck,  and Rafael C. Cardoso

   In Engineering Multi-Agent Systems 2022

   Bib Bib Abs DOI

   Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by the LFC team in the 2019 edition of the Multi-Agent Programming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification’s behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged.

   @inproceedings{Luckcuck21a,
     author = {Luckcuck, Matt and Cardoso, Rafael C.},
     editor = {Alechina, Natasha and Baldoni, Matteo and Logan, Brian},
     title = {Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest},
     booktitle = {Engineering Multi-Agent Systems},
     year = {2022},
     publisher = {Springer International Publishing},
     address = {Cham},
     pages = {198--217},
     doi = {10.1007/978-3-030-97457-2\_12},
     isbn = {978-3-030-97457-2}
   }

5. RVPLAN: Runtime Verification of Assumptions in Automated Planning

   Angelo Ferrando,  and Rafael Cardoso

   In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 2022

   Bib DOI

   @inproceedings{cardoso22a,
     author = {Ferrando, Angelo and Cardoso, Rafael},
     title = {RVPLAN: Runtime Verification of Assumptions in Automated Planning},
     booktitle = {Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
     year = {2022},
     pages = {67-77},
     publisher = {SciTePress},
     organization = {INSTICC},
     doi = {10.5220/0010776500003116},
     isbn = {978-989-758-547-0}
   }

6. Resilience, reliability, and coordination in autonomous multi-agent systems

   Rafael C. Cardoso, Brian Logan, Felipe Meneguzzi, Nir Oren,  and Bruno Yun

   AI Communications 2022

   Bib PDF DOI

   @article{Cardoso22b,
     author = {Cardoso, Rafael C. and Logan, Brian and Meneguzzi, Felipe and Oren, Nir and Yun, Bruno},
     title = {Resilience, reliability, and coordination in autonomous multi-agent systems},
     journal = {AI Communications},
     year = {2022},
     volume = {35},
     number = {4},
     doi = {10.3233/AIC-220136},
   }

2021

1. Automated Design of fMRI Paradigms

   Katherine Bianchini Esper,  and Felipe Meneguzzi

   In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS) 2021

   Bib

   @inproceedings{EsperMeneguzzi2021,
     author = {Esper, Katherine Bianchini and Meneguzzi, Felipe},
     booktitle = {Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling {(ICAPS)}},
     title = {Automated Design of {fMRI} Paradigms},
     pages = {445--449},
     publisher = {{AAAI} Press},
     year = {2021}
   }

2. Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

   Leonardo R. Amado, Ramon F. Pereira,  and Felipe Meneguzzi

   In Proceedings of the Twentieth International Conference on Autonomous Agents and Multiagent Systems 2021

   Bib Bib Abs

   Plan recognition is the task of identifying the complete plan an agent is performing to reach a certain goal by observing its interactions in an environment. Regardless of the underlying techniques, most plan recognition approaches are directly affected by the quality of the given observations. To mitigate such issue, we combine learning techniques and landmark extraction algorithms into an approach for plan recognition that compensates for noise and missing observations using prior data. We evaluate our approach in standard human-designed planning domains as well as domain theories automatically generated from real-world data. Our evaluation shows that our approach reliably computes correct plans in all domains of the experimental dataset, in both low observability problems and problems with noisy observation, outperforming approaches that rely exclusively on the domain theory.

   @inproceedings{Amado2021,
     author = {Amado, Leonardo R. and Pereira, Ramon F. and Meneguzzi, Felipe},
     title = {Combining LSTMs and Symbolic Approaches for Robust Plan Recognition},
     booktitle = {Proceedings of the Twentieth International Conference on Autonomous
     	Agents and Multiagent Systems},
     year = {2021},
     pages = { }
   }

3. A Survey on Goal Recognition as Planning

   Felipe Meneguzzi,  and Ramon Fraga Pereira

   In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21 Aug 2021

   Bib DOI

   @inproceedings{ijcai2021p616,
     title = {A Survey on Goal Recognition as Planning},
     author = {Meneguzzi, Felipe and Fraga Pereira, Ramon},
     booktitle = {Proceedings of the Thirtieth International Joint Conference on
                    Artificial Intelligence, {IJCAI-21}},
     publisher = {International Joint Conferences on Artificial Intelligence Organization},
     editor = {Zhou, Zhi-Hua},
     pages = {4524--4532},
     year = {2021},
     month = aug,
     note = {Survey Track},
     doi = {10.24963/ijcai.2021/616},
     url = {https://doi.org/10.24963/ijcai.2021/616}
   }

4. An LP-Based Approach for Goal Recognition as Planning

   Luísa R. A. Santos, Felipe Meneguzzi, Ramon F. Pereira,  and André Pereira

   In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI) Aug 2021

   Bib Bib Abs

   \emphGoal recognition aims to recognize the set of candidate goals that are compatible with the observed behavior of an agent. In this paper, we develop a method based on the \emphoperator-counting framework that efficiently computes solutions that satisfy the observations and uses the information generated to solve goal recognition tasks. Our method reasons explicitly about both partial and noisy observations: estimating uncertainty for the former, and satisfying observations given the unreliability of the sensor for the latter. We evaluate our approach empirically over a large data set, analyzing its components on how each can impact the quality of the solutions. In general, our approach is superior to previous methods in terms of agreement ratio, accuracy, and spread. Finally, our approach paves the way for new research on \emphcombinatorial optimization to solve goal recognition tasks.

   @inproceedings{Santos2021,
     author = {de A. Santos, Lu\'{i}sa R. and Meneguzzi, Felipe and Pereira, Ramon F. and Pereira, Andr\'{e}},
     title = {{An LP-Based Approach for Goal Recognition as Planning}},
     booktitle = {Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI)},
     year = {2021},
     publisher = {AAAI Press}
   }

5. Graphical Representation Enhances Human Compliance with Principles for Graded Argumentation Semantics

   Srdjan Vesic, Bruno Yun,  and Predrag Teovanovic

   Dec 2021

   Bib Bib Abs

   We examined principles of graded argumentation semantics (independence, anonymity, void precedence, and maximality) to explore if (a) they realistically model human reasoning, (b) graphical representation of arguments facilitates compliance with the principles, (c) there is a positive correlation between compliance with di!erent principles, and (d) this compliance is related to cognitive re"ection, need for cognition and faith in intuition. Our results indicate that there are major di!erences in the compliance with the several argumentation principles studied in this paper. However, compliance with argumentation principles was consistently better and more consistent in the group presented with graphical representations. Moreover, cognitive re"ection correlated with compliance to some principles, but only in the graph group.

   @conference{bruno-1,
     title = {Graphical Representation Enhances Human Compliance with Principles for Graded Argumentation Semantics},
     keywords = {Argumentation, Human Reasoning, Principles, Graded semantics},
     author = {Vesic, Srdjan and Yun, Bruno and Teovanovic, Predrag},
     year = {2021},
     month = dec,
     day = {19},
     language = {English},
     note = {International Conference on Autonomous Agents and Multi-Agent Systems 2022, AAMAS 2022 ; Conference date: 09-05-2022 Through 13-05-2022},
     url = {https://aamas2022-conference.auckland.ac.nz/}
   }

6. A Review of Agent-Based Programming for Multi-Agent Systems

   Rafael C. Cardoso,  and Angelo Ferrando

   Computers Jan 2021

   Bib DOI

   @article{Cardoso21a,
     title = {A Review of Agent-Based Programming for Multi-Agent Systems},
     volume = {10},
     issn = {2073-431X},
     doi = {10.3390/computers10020016},
     number = {2},
     journal = {Computers},
     publisher = {MDPI AG},
     author = {Cardoso, Rafael C. and Ferrando, Angelo},
     year = {2021},
     month = jan,
     pages = {16}
   }

7. Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

   Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona,  and Viviana Mascardi

   ACM Trans. Softw. Eng. Methodol. May 2021

   Bib Bib Abs DOI

   When applying formal verification to a system that interacts with the real world, we must use a model of the environment. This model represents an abstraction of the actual environment, so it is necessarily incomplete and hence presents an issue for system verification. If the actual environment matches the model, then the verification is correct; however, if the environment falls outside the abstraction captured by the model, then we cannot guarantee that the system is well behaved. A solution to this problem consists in exploiting the model of the environment used for statically verifying the system’s behaviour and, if the verification succeeds, using it also for validating the model against the real environment via runtime verification. The article discusses this approach and demonstrates its feasibility by presenting its implementation on top of a framework integrating the Agent Java PathFinder model checker. A high-level Domain Specific Language is used to model the environment in a user-friendly way; the latter is then compiled to trace expressions for both static formal verification and runtime verification. To evaluate our approach, we apply it to two different case studies: an autonomous cruise control system and a simulation of the Mars Curiosity rover.

   @article{Ferrando21,
     author = {Ferrando, Angelo and Dennis, Louise A. and Cardoso, Rafael C. and Fisher, Michael and Ancona, Davide and Mascardi, Viviana},
     title = {Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems},
     year = {2021},
     issue_date = {May 2021},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {30},
     number = {4},
     issn = {1049-331X},
     url = {https://doi.org/10.1145/3447246},
     doi = {10.1145/3447246},
     journal = {ACM Trans. Softw. Eng. Methodol.},
     month = may,
     articleno = {43},
     numpages = {43},
     keywords = {autonomous systems, model checking, trace expressions, Runtime verification, MCAPL}
   }

8. Agile Tasking of Robotic Systems with Explicit Autonomy

   Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis,  and Michael Fisher

   In The International FLAIRS Conference Proceedings May 2021

   Bib DOI

   @inproceedings{Cardoso21b,
     title = {Agile Tasking of Robotic Systems with Explicit Autonomy},
     volume = {34},
     doi = {10.32473/flairs.v34i1.128481},
     booktitle = {The International FLAIRS Conference Proceedings},
     author = {Cardoso, Rafael C. and Michaloski, John L. and Schlenoff, Craig and Ferrando, Angelo and Dennis, Louise A. and Fisher, Michael},
     year = {2021}
   }

9. MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

   Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker,  and Terry R. Payne

   In The Multi-Agent Programming Contest 2021 May 2021

   Bib Bib Abs DOI

   In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14th) “Agents Assemble” wherein two teams of agents move around a 2D grid and compete to assemble complex block structures. We discuss the languages and tools used during the development of our team. Then, we summarise the main strategies that were carried over from our previous participation in the 14th edition and list the limitations (if any) of using these strategies in the latest contest edition. We also developed new strategies that were made specifically for the extended scenario: cartography (determining the size of the map); formal verification of the map merging protocol (to provide assurances that it works when increasing the number of agents); plan cache (efficiently scaling the number of planners); task achievement (forming groups of agents to achieve tasks); and bullies (agents that focus on stopping agents from the opposing team). Finally, we give a brief overview of our performance in the contest and discuss what we believe were our shortcomings.

   @inproceedings{Cardoso21f,
     author = {Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio and Luckcuck, Matt and Linker, Sven and Payne, Terry R.},
     editor = {Ahlbrecht, Tobias and Dix, J{\"u}rgen and Fiekas, Niklas and Krausburg, Tabajara},
     title = {MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest},
     booktitle = {The Multi-Agent Programming Contest 2021},
     year = {2021},
     publisher = {Springer International Publishing},
     address = {Cham},
     pages = {82--107},
     isbn = {978-3-030-88549-6},
     doi = {10.1007/978-3-030-88549-6\_4}
   }

10. Representing pure Nash equilibria in argumentation

    Bruno Yun, Srdjan Vesic,  and Nir Oren

    Argument & Computation May 2021

    Bib Bib Abs

    In this paper we describe an argumentation-based representation of normal form games, and demonstrate how argumentation can be used to compute pure strategy Nash equilibria. Our approach builds on Modgil’s Extended Argumentation Frameworks. We demonstrate its correctness, showprove several theoretical properties it satisfies, and outline how it can be used to explain why certain strategies are Nash equilibria to a non-expert human user.

    @article{yun_representing_2021,
      title = {Representing pure {Nash} equilibria in argumentation},
      volume = {Preprint},
      issn = {1946-2174},
      number = {Preprint},
      journal = {Argument \& Computation},
      author = {Yun, Bruno and Vesic, Srdjan and Oren, Nir},
      year = {2021},
      note = {Publisher: IOS Press},
      keywords = {Argumentation, game theory, Nash equilibrium, pure strategy},
      pages = {1--14}
    }

11. Explaining BDI Agent Behaviour through Dialogue

    Louise A. Dennis,  and Nir Oren

    In AAMAS ’21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021 May 2021

    Bib

    @inproceedings{DBLP:conf/atal/DennisO21,
      author = {Dennis, Louise A. and Oren, Nir},
      editor = {Dignum, Frank and Lomuscio, Alessio and Endriss, Ulle and Now{\'{e}}, Ann},
      title = {Explaining {BDI} Agent Behaviour through Dialogue},
      booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
                     Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
      pages = {429--437},
      publisher = {{ACM}},
      year = {2021},
      url = {https://dl.acm.org/doi/10.5555/3463952.3464007},
      timestamp = {Tue, 08 Jun 2021 17:02:09 +0200},
      biburl = {https://dblp.org/rec/conf/atal/DennisO21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

12. Graphical Representation Enhances Human Compliance with Principles for Graded Argumentation Semantics

    Srdjan Vesic, Bruno Yun,  and Predrag Teovanovic

    Dec 2021

    Bib Bib Abs

    We examined principles of graded argumentation semantics (independence, anonymity, void precedence, and maximality) to explore if (a) they realistically model human reasoning, (b) graphical representation of arguments facilitates compliance with the principles, (c) there is a positive correlation between compliance with di!erent principles, and (d) this compliance is related to cognitive re"ection, need for cognition and faith in intuition. Our results indicate that there are major di!erences in the compliance with the several argumentation principles studied in this paper. However, compliance with argumentation principles was consistently better and more consistent in the group presented with graphical representations. Moreover, cognitive re"ection correlated with compliance to some principles, but only in the graph group.

    @conference{vesic_compliance,
      title = {Graphical Representation Enhances Human Compliance with Principles for Graded Argumentation Semantics},
      keywords = {Argumentation, Human Reasoning, Principles, Graded semantics},
      author = {Vesic, Srdjan and Yun, Bruno and Teovanovic, Predrag},
      year = {2021},
      month = dec,
      day = {19},
      language = {English},
      note = {International Conference on Autonomous Agents and Multi-Agent Systems 2022, AAMAS 2022 ; Conference date: 09-05-2022 Through 13-05-2022},
      url = {https://aamas2022-conference.auckland.ac.nz/}
    }

13. Preface to the Special Issue on engineering reliable multi-agent systems

    Jürgen Dix, Brian Logan,  and Michael Winikoff

    Auton. Agents Multi Agent Syst. Dec 2021

    Bib DOI

    @article{DBLP:journals/aamas/DixLW21,
      author = {Dix, J{\"{u}}rgen and Logan, Brian and Winikoff, Michael},
      title = {Preface to the Special Issue on engineering reliable multi-agent systems},
      journal = {Auton. Agents Multi Agent Syst.},
      volume = {35},
      number = {2},
      pages = {37},
      year = {2021},
      url = {https://doi.org/10.1007/s10458-021-09520-y},
      doi = {10.1007/s10458-021-09520-y},
      timestamp = {Wed, 08 Dec 2021 09:19:03 +0100},
      biburl = {https://dblp.org/rec/journals/aamas/DixLW21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

14. Automated Planning and BDI Agents: A Case Study

    Rafael C. Cardoso, Angelo Ferrando,  and Fabio Papacchini

    In Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection Dec 2021

    Bib Bib Abs DOI

    There have been many attempts to integrate automated planning and rational agents. Most of the research focuses on adding support directly within agent programming languages, such as those based on the Belief-Desire-Intention model, rather than using off-the-shelf planners. This approach is often believed to improve the computation time, which is a common requirement in real world applications. This paper shows that even in complex scenarios, such as in the Multi-Agent Programming Contest with 50 agents and a 4 s deadline for the agents to send actions to the server, it is possible to efficiently integrate agent languages with off-the-shelf automated planners. Based on the experience with this case study, the paper discusses advantages and disadvantages of decoupling the agents from the planners.

    @inproceedings{Cardoso21e,
      author = {Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio},
      editor = {Dignum, Frank and Corchado, Juan Manuel and De La Prieta, Fernando},
      title = {Automated Planning and BDI Agents: A Case Study},
      booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection},
      year = {2021},
      publisher = {Springer International Publishing},
      address = {Cham},
      pages = {52--63},
      isbn = {978-3-030-85739-4},
      doi = {10.1007/978-3-030-85739-4\_5}
    }

15. An Overview of Verification and Validation Challenges for Inspection Robots

    Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini,  and Matt Webster

    Robotics Dec 2021

    Bib Bib Abs DOI

    The advent of sophisticated robotics and AI technology makes sending humans into hazardous and distant environments to carry out inspections increasingly avoidable. Being able to send a robot, rather than a human, into a nuclear facility or deep space is very appealing. However, building these robotic systems is just the start and we still need to carry out a range of verification and validation tasks to ensure that the systems to be deployed are as safe and reliable as possible. Based on our experience across three research and innovation hubs within the UK’s “Robots for a Safer World” programme, we present an overview of the relevant techniques and challenges in this area. As the hubs are active across nuclear, offshore, and space environments, this gives a breadth of issues common to many inspection robots.

    @article{robotics10020067,
      author = {Fisher, Michael and Cardoso, Rafael C. and Collins, Emily C. and Dadswell, Christopher and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Ferrando, Angelo and Huang, Xiaowei and Jump, Mike and Kourtis, Georgios and Lisitsa, Alexei and Luckcuck, Matt and Luo, Shan and Page, Vincent and Papacchini, Fabio and Webster, Matt},
      title = {An Overview of Verification and Validation Challenges for Inspection Robots},
      journal = {Robotics},
      volume = {10},
      year = {2021},
      number = {2},
      url = {https://www.mdpi.com/2218-6581/10/2/67},
      issn = {2218-6581},
      doi = {10.3390/robotics10020067}
    }

16. Graphical Representation Enhances Human Compliance with Principles for Graded Argumentation Semantics

    Srdjan Vesic, Bruno Yun,  and Predrag Teovanovic

    Dec 2021

    Bib Bib Abs

    We examined principles of graded argumentation semantics (independence, anonymity, void precedence, and maximality) to explore if (a) they realistically model human reasoning, (b) graphical representation of arguments facilitates compliance with the principles, (c) there is a positive correlation between compliance with di!erent principles, and (d) this compliance is related to cognitive re"ection, need for cognition and faith in intuition. Our results indicate that there are major di!erences in the compliance with the several argumentation principles studied in this paper. However, compliance with argumentation principles was consistently better and more consistent in the group presented with graphical representations. Moreover, cognitive re"ection correlated with compliance to some principles, but only in the graph group.

    @conference{aamas2022_representation,
      title = {Graphical Representation Enhances Human Compliance with Principles for Graded Argumentation Semantics},
      keywords = {Argumentation, Human Reasoning, Principles, Graded semantics},
      author = {Vesic, Srdjan and Yun, Bruno and Teovanovic, Predrag},
      year = {2021},
      month = dec,
      day = {19},
      language = {English},
      note = {International Conference on Autonomous Agents and Multi-Agent Systems 2022, AAMAS 2022 ; Conference date: 09-05-2022 Through 13-05-2022},
      url = {https://aamas2022-conference.auckland.ac.nz/}
    }

17. Intention Progression using Quantitative Summary Information

    Yuan Yao, Natasha Alechina, Brian Logan,  and John Thangarajah

    In Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) May 2021

    Bib

    @inproceedings{Yao//:21a,
      author = {Yao, Yuan and Alechina, Natasha and Logan, Brian and Thangarajah, John},
      title = {Intention Progression using Quantitative Summary Information},
      booktitle = {Proceedings of the 20th International Conference on
                        Autonomous Agents and Multiagent Systems ({AAMAS}
                        2021)},
      editor = {Endriss, Ulle and Now\'e, Ann and Dignum, Frank and Lomuscio, Alessio},
      pages = {1416--1424},
      year = {2021},
      address = {London},
      month = may,
      organization = {IFAAMAS},
      publisher = {IFAAMAS}
    }

18. Multi-Agent Intention Progression with Black Box Agents

    Michael Dann, Yuan Yao, Brian Logan,  and John Thangarajah

    In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021) Aug 2021

    Bib

    @inproceedings{Dann//:21a,
      author = {Dann, Michael and Yao, Yuan and Logan, Brian and Thangarajah, John},
      title = {Multi-Agent Intention Progression with Black Box
                        Agents},
      booktitle = {Proceedings of the 30th International Joint
                        Conference on Artificial Intelligence ({IJCAI}
                        2021)},
      editor = {Zhou, Zhi-Hua},
      year = {2021},
      address = {Montreal, Canada},
      month = aug,
      publisher = {{IJCAI}}
    }

2020

1. Using sub-optimal plan detection to identify commitment abandonment in discrete environments

   Ramon Fraga Pereira, Nir Oren,  and Felipe Meneguzzi

   ACM Transactions on Intelligent Systems and Technology (TIST) Aug 2020

   Bib

   @article{pereira2020using,
     title = {Using sub-optimal plan detection to identify commitment abandonment in discrete environments},
     author = {Pereira, Ramon Fraga and Oren, Nir and Meneguzzi, Felipe},
     journal = {ACM Transactions on Intelligent Systems and Technology (TIST)},
     volume = {11},
     number = {2},
     pages = {1--26},
     year = {2020},
     publisher = {ACM New York, NY, USA}
   }

2. Argumentation-based reasoning about plans, maintenance goals, and norms

   Zohreh Shams, Marina De Vos, Nir Oren,  and Julian Padget

   ACM Transactions on Autonomous and Adaptive Systems (TAAS) Aug 2020

   Bib

   @article{shams2020argumentation,
     title = {Argumentation-based reasoning about plans, maintenance goals, and norms},
     author = {Shams, Zohreh and Vos, Marina De and Oren, Nir and Padget, Julian},
     journal = {ACM Transactions on Autonomous and Adaptive Systems (TAAS)},
     volume = {14},
     number = {3},
     pages = {1--39},
     year = {2020},
     publisher = {ACM New York, NY, USA}
   }

3. Preference Elicitation in Assumption-Based Argumentation

   Quratul-ain Mahesar, Nir Oren,  and Wamberto Weber Vasconcelos

   In PRIMA Aug 2020

   Bib

   @inproceedings{mahesar20preference,
     author = {Mahesar, Quratul{-}ain and Oren, Nir and Vasconcelos, Wamberto Weber},
     title = {Preference Elicitation in Assumption-Based Argumentation},
     booktitle = {{PRIMA}},
     series = {Lecture Notes in Computer Science},
     volume = {12568},
     pages = {199--214},
     publisher = {Springer},
     year = {2020}
   }

4. Argument-Based Plan Explanation

   Nir Oren, Kees Deemter,  and Wamberto Weber Vasconcelos

   Aug 2020

   Bib

   @incollection{oren20argument,
     author = {Oren, Nir and van Deemter, Kees and Vasconcelos, Wamberto Weber},
     title = {Argument-Based Plan Explanation},
     booktitle = {Knowledge Engineering Tools and Techniques for {AI} Planning},
     pages = {173--188},
     publisher = {Springer},
     year = {2020}
   }

5. From Eigentrust to a Trust-Measuring Algorithm in the Max-Plus Algebra

   Juan Afanador, Nir Oren, Murilo S. Baptista,  and Maria Araujo

   In ECAI Aug 2020

   Bib

   @inproceedings{afanador20eigentrust,
     author = {Afanador, Juan and Oren, Nir and Baptista, Murilo S. and Araujo, Maria},
     title = {From Eigentrust to a Trust-Measuring Algorithm in the Max-Plus Algebra},
     booktitle = {{ECAI}},
     series = {Frontiers in Artificial Intelligence and Applications},
     volume = {325},
     pages = {3--10},
     publisher = {{IOS} Press},
     year = {2020}
   }

6. HAPRec: Hybrid Activity and Plan Recognizer

   Roger Granada, Ramon Fraga Pereira, Juarez Monteiro, Leonardo Amado, Rodrigo Barros, Duncan Ruiz,  and Felipe Meneguzzi

   In The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI): Demo Track Aug 2020

   Bib

   @inproceedings{GranadaPereiraMonteiroEtAl2020,
     author = {Granada, Roger and Pereira, Ramon Fraga and Monteiro, Juarez and Amado, Leonardo and Barros, Rodrigo and Ruiz, Duncan and Meneguzzi, Felipe},
     booktitle = {The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI): Demo Track},
     title = {HAPRec: Hybrid Activity and Plan Recognizer},
     year = {2020},
     groups = {Goal and Plan Recognition, Machine Learning}
   }

7. Landmark-based approaches for goal recognition as planning

   Ramon Fraga Pereira, Nir Oren,  and Felipe Meneguzzi

   Artifificial Intelligence Aug 2020

   Bib Bib Abs DOI

   Recognizing goals and plans from complete or partial observations can be efficiently achieved through automated planning techniques. In many applications, it is important to recognize goals and plans not only accurately, but also quickly. To address this challenge, we develop novel goal recognition approaches based on planning techniques that rely on planning landmarks. In automated planning, landmarks are properties (or actions) that cannot be avoided to achieve a goal. We show the applicability of a number of planning techniques with an emphasis on landmarks for goal recognition tasks in two settings: (1) we use the concept of landmarks to develop goal recognition heuristics; and (2) we develop a landmark-based filtering method to refine existing planning-based goal and plan recognition approaches. These recognition approaches are empirically evaluated in experiments over several classical planning domains. We show that our goal recognition approaches yield not only accuracy comparable to (and often higher than) other state-of-the-art techniques, but also result in substantially faster recognition time over existing techniques.

   @article{PereiraOrenMeneguzzi2020,
     author = {Pereira, Ramon Fraga and Oren, Nir and Meneguzzi, Felipe},
     journal = {Artifificial Intelligence},
     title = {Landmark-based approaches for goal recognition as planning},
     year = {2020},
     pages = {103217},
     volume = {279},
     doi = {10.1016/j.artint.2019.103217},
     groups = {Goal and Plan Recognition},
     keywords = {Goal Recognition, plan recognition},
     url = {https://linkinghub.elsevier.com/retrieve/pii/S0004370219300013}
   }

8. The More the Merrier?! Evaluating the Effect of Landmark Extraction Algorithms on Landmark-Based Goal Recognition

   Kin Max Piamolini Gusmão, Ramon Fraga Pereira,  and Felipe Meneguzzi

   In The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI) Aug 2020

   Bib

   @inproceedings{Gusmao2020,
     author = {Gusmão, Kin Max Piamolini and Pereira, Ramon Fraga and Meneguzzi, Felipe},
     booktitle = {The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI)},
     title = {{The More the Merrier?! Evaluating the Effect of Landmark Extraction Algorithms on Landmark-Based Goal Recognition}},
     year = {2020},
     groups = {Goal and Plan Recognition}
   }

9. Automated Database Indexing using Model-free Reinforcement Learning

   Gabriel Paludo Licks,  and Felipe Meneguzzi

   In Scheduling and Planning Applications woRKshop (SPARK@ICAPS) Aug 2020

   Bib Bib Abs

   Configuring databases for efficient querying is a complex task, often carried out by a database administrator. Solving the problem of building indexes that truly optimize database access requires a substantial amount of database and domain knowledge, the lack of which often results in wasted space and memory for irrelevant indexes, possibly jeopardizing database performance for querying and certainly degrading performance for updating. We develop an architecture to solve the problem of automatically indexing a database by using reinforcement learning to optimize queries by indexing data throughout the lifetime of a database. In our experimental evaluation, our architecture shows superior performance compared to related work on reinforcement learning and genetic algorithms, maintaining near-optimal index configurations and efficiently scaling to large databases.

   @inproceedings{Licks2020,
     author = {Licks, Gabriel Paludo and Meneguzzi, Felipe},
     title = {{Automated Database Indexing using Model-free Reinforcement Learning}},
     booktitle = {{Scheduling and Planning Applications woRKshop (SPARK@ICAPS)}},
     year = {2020},
     publisher = {AAAI Press}
   }

10. Using Self-Attention LSTMs to Enhance Observations in Goal Recognition

    Leonardo Amado, Gabriel Paludo Licks, Matheus Marcon, Ramon Fraga Pereira,  and Felipe Meneguzzi

    In Proceedings of the 33rd International Joint Conference on Neural Networks Aug 2020

    Bib

    @inproceedings{Amado2020ijcnn,
      author = {Amado, Leonardo and Licks, Gabriel Paludo and Marcon, Matheus and Pereira, Ramon Fraga and Meneguzzi, Felipe},
      title = {Using Self-Attention LSTMs to Enhance Observations in Goal Recognition},
      booktitle = {Proceedings of the 33rd International Joint Conference on Neural Networks},
      year = {2020}
    }

11. Object-Based Goal Recognition Using Real-World Data

    Roger Granada, Juarez Monteiro, Nathan Gavenski,  and Felipe Meneguzzi

    In Proceedings of the 19th Mexican International Conference on Artificial Intelligence (MICAI) Aug 2020

    Bib

    @inproceedings{Granada2020,
      author = {Granada, Roger and Monteiro, Juarez and Gavenski, Nathan and Meneguzzi, Felipe},
      title = {Object-Based Goal Recognition Using Real-World Data},
      booktitle = {Proceedings of the 19th Mexican International Conference on Artificial Intelligence (MICAI)},
      year = {2020}
    }

12. LatRec: Recognizing Goals in Latent Space

    Leonardo R. Amado,  and Felipe Meneguzzi

    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI) Aug 2020

    Bib Bib Abs

    Recent approaches to goal recognition have progressively relaxed the requirements about the amount of domain knowledge and available observations, yielding accurate and efficient algorithms. These approaches, however, assume that there is a domain expert capable of building complete and correct domain knowledge to successfully recognize an agent’s goal. This is too strong for most real-world applications. We overcome these limitations by combining goal recognition techniques from automated planning, and deep autoencoders to carry out unsupervised learning to generate domain theories from data streams and use the resulting domain theories to deal with incomplete and noisy observations. Moving forward, we aim to develop a new data-driven goal recognition technique that infers the domain model using the same set of observations used in recognition itself.

    @inproceedings{Amado2020,
      author = {Amado, Leonardo R. and Meneguzzi, Felipe},
      title = {{LatRec: Recognizing Goals in Latent Space}},
      booktitle = {Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI)},
      year = {2020},
      publisher = {AAAI Press}
    }

13. LatRec+: Learning-based Goal Recognition in Latent Space (Demo)

    Leonardo Amado, João Paulo Aires, Ramon F Pereira, Maurício C Magnaguagno, Roger Granada, Gabriel Paludo Licks, Matheus Marcon,  and Felipe Meneguzzi

    In The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI): Demo Track Aug 2020

    Bib Bib Abs

    Existing approaches to goal recognition are able to infer do- main knowledge by combining goal recognition techniques from automated planning, and deep autoencoders to learn do- main theories from data streams. However, most recent approaches to goal recognition in these learned domains struggle with high spread during recognition process. LATREC+ leverages from the usage of learning approaches to recognize goals directly in real-world data (images), without relying on domain theories. The learned model is given a set of observations and returns the probability of each predicate being true. We demonstrate this approach in an online simulation of simple games, such as the n-puzzle game.

    @inproceedings{AmadoAiresPereiraEtAl2020,
      author = {Amado, Leonardo and Aires, João Paulo and Pereira, Ramon F and Magnaguagno, Maurício C and Granada, Roger and Licks, Gabriel Paludo and Marcon, Matheus and Meneguzzi, Felipe},
      booktitle = {The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI): Demo Track},
      title = {LatRec+: Learning-based Goal Recognition in Latent Space (Demo)},
      year = {2020},
      groups = {Goal and Plan Recognition}
    }

14. Imitating Unknown Policies via Exploration

    Nathan Gavenski, Juarez Monteiro, Roger Granada, Felipe Meneguzzi,  and Rodrigo Barros

    In Proceedings of the Thirty First British Machine Vision Conference Aug 2020

    Bib

    @inproceedings{Gavenski2020,
      author = {Gavenski, Nathan and Monteiro, Juarez and Granada, Roger and Meneguzzi, Felipe and Barros, Rodrigo},
      title = {Imitating Unknown Policies via Exploration},
      booktitle = {Proceedings of the Thirty First British Machine Vision Conference},
      year = {2020}
    }

15. Web Planner: A Tool to Develop, Visualize, and Test Classical Planning Domains

    Maurício C. Magnaguagno, Ramon Fraga Pereira, Martin D. Móre,  and Felipe Meneguzzi

    Aug 2020

    Bib Bib Abs

    Automated planning tools are complex pieces of software that take declarative domain descriptions and generate plans from domains and problems. New users often find it challenging to understand the plan generation process, while experienced users often find it difficult to track semantic errors and efficiency issues. In response, we develop a cloud-based planning tool with code editing and state-space visualization capabilities that simplifies this process. The code editor focuses on visualizing the domain, problem, and resulting sample plan, helping the user see how such descriptions are connected without changing context. The visualization tool explores two alternative visualizations aimed at illustrating the operation of the planning process and how the domain dynamics evolve during plan execution.

    @inbook{Magnaguagno2020webplanner,
      author = {Magnaguagno, Maur{\'i}cio C. and Pereira, Ramon Fraga and M{\'o}re, Martin D. and Meneguzzi, Felipe},
      editor = {Vallati, Mauro and Kitchin, Diane},
      title = {Web Planner: A Tool to Develop, Visualize, and Test Classical Planning Domains},
      booktitle = {Knowledge Engineering Tools and Techniques for AI Planning},
      year = {2020},
      publisher = {Springer International Publishing},
      address = {Cham},
      pages = {209--227},
      isbn = {978-3-030-38561-3}
    }

16. BDI Agent Architectures: A Survey

    Lavindra Silva, Felipe Meneguzzi,  and Brian Logan

    In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence Aug 2020

    Bib

    @inproceedings{deSilva2020,
      title = {BDI Agent Architectures: A Survey},
      author = {de Silva, Lavindra and Meneguzzi, Felipe and Logan, Brian},
      booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
                     Artificial Intelligence},
      pages = {4914-4921},
      year = {2020}
    }

17. HTN Planning with Semantic Attachments

    Maurício C. Magnaguagno,  and Felipe Meneguzzi

    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI) Aug 2020

    Bib Bib Abs

    Hierarchical Task Networks (HTN) planning uses a decomposition process guided by domain knowledge to guide search towards a planning task. While many HTN planners allow calls to external processes (e.g. to a simulator interface) during the decomposition process, this is a computationally expensive process, so planner implementations often use such calls in an ad-hoc way using very specialized domain knowledge to limit the number of calls. Conversely, the classical planners that are capable of using external calls (often called \textitsemantic attachments) during planning are limited to generating a fixed number of ground operators at problem grounding time. We formalize \textitSemantic Attachments for HTN planning using semi coroutines, allowing such procedurally defined predicates to link the planning process to custom unifications outside of the planner, such as numerical results from a robotics simulator. The resulting planner then uses such coroutines as part of its backtracking mechanism to search through parallel dimensions of the state-space (e.g. through numeric variables). We show empirically that our planner outperforms the state-of-the-art numeric planners in a number of domains using minimal extra domain knowledge.

    @inproceedings{Magnaguagno2020htn,
      author = {Magnaguagno, Maur\'{i}cio C. and Meneguzzi, Felipe},
      title = {{HTN Planning with Semantic Attachments}},
      booktitle = {Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI)},
      year = {2020},
      publisher = {AAAI Press}
    }

18. HyperTensioN: A three-stage compiler for planning

    Maurı́cio C Magnaguagno, Felipe Rech Meneguzzi,  and Lavindra Silva

    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS), 2020, França. Aug 2020

    Bib

    @inproceedings{magnaguagno2020hypertension,
      title = {HyperTensioN: A three-stage compiler for planning},
      author = {Magnaguagno, Maur{\'\i}cio C and Meneguzzi, Felipe Rech and de Silva, Lavindra},
      booktitle = {Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS), 2020, Fran{\c{c}}a.},
      year = {2020}
    }

19. Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases

    Bruno Yun, Srdjan Vesic,  and Madalina Croitoru

    In Aug 2020

    Bib

    @inproceedings{yun_sets_2020,
      title = {Sets of {Attacking} {Arguments} for {Inconsistent} {Datalog} {Knowledge} {Bases}},
      author = {Yun, Bruno and Vesic, Srdjan and Croitoru, Madalina},
      year = {2020}
    }

20. Ranking-Based Semantics for Sets of Attacking Arguments.

    Bruno Yun, Srdjan Vesic,  and Madalina Croitoru

    In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020. Aug 2020

    Bib

    @inproceedings{yun_ranking-based_2020,
      title = {Ranking-{Based} {Semantics} for {Sets} of {Attacking} {Arguments}.},
      url = {https://aaai.org/ojs/index.php/AAAI/article/view/5697},
      booktitle = {The {Thirty}-{Fourth} {AAAI} {Conference} on {Artificial} {Intelligence}, {AAAI} 2020, {The} {Thirty}-{Second} {Innovative} {Applications} of {Artificial} {Intelligence} {Conference}, {IAAI} 2020, {The} {Tenth} {AAAI} {Symposium} on {Educational} {Advances} in {Artificial} {Intelligence}, {EAAI} 2020, {New} {York}, {NY}, {USA}, {February} 7-12, 2020.},
      author = {Yun, Bruno and Vesic, Srdjan and Croitoru, Madalina},
      year = {2020},
      pages = {3033--3040}
    }

21. LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest

    Rafael C. Cardoso, Angelo Ferrando,  and Fabio Papacchini

    In The Multi-Agent Programming Contest 2019 Aug 2020

    Bib DOI

    @inproceedings{Cardoso20d,
      author = {Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio},
      title = {LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest},
      booktitle = {The Multi-Agent Programming Contest 2019},
      year = {2020},
      publisher = {Springer International Publishing},
      address = {Cham},
      pages = {31--58},
      isbn = {978-3-030-59299-8},
      doi = {10.1007/978-3-030-59299-8\_2}
    }

22. Agent programming in the cognitive era

    Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks, Brian Logan,  and Alessandro Ricci

    Auton. Agents Multi Agent Syst. Aug 2020

    Bib DOI

    @article{DBLP:journals/aamas/BordiniSHLR20,
      author = {Bordini, Rafael H. and Seghrouchni, Amal El Fallah and Hindriks, Koen V. and Logan, Brian and Ricci, Alessandro},
      title = {Agent programming in the cognitive era},
      journal = {Auton. Agents Multi Agent Syst.},
      volume = {34},
      number = {2},
      pages = {37},
      year = {2020},
      url = {https://doi.org/10.1007/s10458-020-09453-y},
      doi = {10.1007/s10458-020-09453-y},
      timestamp = {Tue, 17 Nov 2020 11:08:12 +0100},
      biburl = {https://dblp.org/rec/journals/aamas/BordiniSHLR20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

23. Heterogeneous Verification of an Autonomous Curiosity Rover

    Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando,  and Michael Fisher

    Aug 2020

    Bib

    @incollection{Cardoso2020,
      author = {Cardoso, Rafael C. and Farrell, Marie and Luckcuck, Matt and Ferrando, Angelo and Fisher, Michael},
      title = {Heterogeneous Verification of an Autonomous Curiosity Rover},
      booktitle = {Proc. 12th International {NASA} Formal Methods Symposium (NFM)},
      series = {LNCS},
      volume = {12229},
      pages = {353--360},
      publisher = {Springer},
      year = {2020}
    }

24. An Interface for Programming Verifiable Autonomous Agents in ROS

    Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis,  and Michael Fisher

    In Multi-Agent Systems and Agreement Technologies Aug 2020

    Bib Bib Abs DOI

    Autonomy has been one of the most desirable features for robotic applications in recent years. This is evidenced by a recent surge of research in autonomous driving cars, strong government funding for research in robotics for extreme environments, and overall progress in service robots. Autonomous decision-making is often at the core of these systems, thus, it is important to be able to verify and validate properties that relate to the correct behaviour that is expected of the system. Our main contribution in this paper, is an interface for integrating BDI-based agents into robotic systems developed using ROS. We use the Gwendolen language to program our BDI agents and to make use of the AJPF model checker in order to verify properties related to the decision-making in the agent programs. Our case studies include 3D simulations using a simple autonomous patrolling behaviour of a TurtleBot, and multiple TurtleBots servicing a house that can cooperate with each other in case of failure.

    @inproceedings{Cardoso20b,
      author = {Cardoso, Rafael C. and Ferrando, Angelo and Dennis, Louise A. and Fisher, Michael},
      editor = {Bassiliades, Nick and Chalkiadakis, Georgios and de Jonge, Dave},
      title = {An Interface for Programming Verifiable Autonomous Agents in ROS},
      booktitle = {Multi-Agent Systems and Agreement Technologies},
      year = {2020},
      publisher = {Springer International Publishing},
      address = {Cham},
      pages = {191--205},
      isbn = {978-3-030-66412-1},
      doi = {10.1007/978-3-030-66412-1\_13}
    }

25. ROSMonitoring: A Runtime Verification Framework for ROS

    Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini,  and Viviana Mascardi

    In Towards Autonomous Robotic Systems Aug 2020

    Bib DOI

    @inproceedings{Ferrando20a,
      author = {Ferrando, Angelo and Cardoso, Rafael C. and Fisher, Michael and Ancona, Davide and Franceschini, Luca and Mascardi, Viviana},
      title = {ROSMonitoring: A Runtime Verification Framework for ROS},
      booktitle = {Towards Autonomous Robotic Systems},
      year = {2020},
      publisher = {Springer International Publishing},
      address = {Cham},
      pages = {387--399},
      doi = {10.1007/978-3-030-63486-5\_40},
      isbn = {978-3-030-63486-5}
    }

26. Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases

    Bruno Yun, Srdjan Vesic,  and Madalina Croitoru

    In Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020 Aug 2020

    Bib DOI

    @inproceedings{DBLP:conf/comma/YunVC20,
      author = {Yun, Bruno and Vesic, Srdjan and Croitoru, Madalina},
      editor = {Prakken, Henry and Bistarelli, Stefano and Santini, Francesco and Taticchi, Carlo},
      title = {Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases},
      booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia,
                     Italy, September 4-11, 2020},
      series = {Frontiers in Artificial Intelligence and Applications},
      volume = {326},
      pages = {419--430},
      publisher = {{IOS} Press},
      year = {2020},
      url = {https://doi.org/10.3233/FAIA200526},
      doi = {10.3233/FAIA200526},
      timestamp = {Fri, 29 Jan 2021 21:15:48 +0100},
      biburl = {https://dblp.org/rec/conf/comma/YunVC20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }

27. Parameterised Resource-Bounded ATL

    Natasha Alechina, Stéphane Demri,  and Brian Logan

    In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20) Feb 2020

    Bib

    @inproceedings{Alechina//:20a,
      author = {Alechina, Natasha and Demri, St{\'e}phane and Logan, Brian},
      title = {Parameterised Resource-Bounded {ATL}},
      booktitle = {Proceedings of the Thirty-Fourth {AAAI} Conference on
                        Artificial Intelligence ({AAAI}-20)},
      year = {2020},
      month = feb,
      address = {New York, USA},
      organization = {AAAI},
      publisher = {AAAI Press}
    }

28. Intention Progression under Uncertainty

    Yuan Yao, Natasha Alechina, Brian Logan,  and John Thangarajah

    In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020) Jul 2020

    Bib

    @inproceedings{Yao//:20a,
      author = {Yao, Yuan and Alechina, Natasha and Logan, Brian and Thangarajah, John},
      title = {Intention Progression under Uncertainty},
      booktitle = {Proceedings of the 29th International Joint
                        Conference on Artificial Intelligence ({IJCAI}
                        2020)},
      editor = {Bessiere, Christian},
      year = {2020},
      address = {Yokohama, Japan},
      month = jul,
      publisher = {{IJCAI}}
    }

29. Intention-Aware Multiagent Scheduling

    Michael Dann, John Thangarajah, Yuan Yao,  and Brian Logan

    In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) May 2020

    Bib

    @inproceedings{Dann//:20a,
      author = {Dann, Michael and Thangarajah, John and Yao, Yuan and Logan, Brian},
      title = {Intention-Aware Multiagent Scheduling},
      booktitle = {Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2020)},
      year = {2020},
      editor = {An, B. and Yorke-Smith, N. and El Fallah Seghrouchni, A. and Sukthankar, G.},
      address = {Auckland},
      month = may,
      organization = {IFAAMAS},
      publisher = {IFAAMAS}
    }

2019

1. Algorithms for recursive delegation

   Juan Afanador, Murilo S Baptista,  and Nir Oren

   AI Communications May 2019

   Bib

   @article{afanador2019algorithms,
     title = {Algorithms for recursive delegation},
     author = {Afanador, Juan and Baptista, Murilo S and Oren, Nir},
     journal = {AI Communications},
     volume = {32},
     number = {4},
     pages = {303--317},
     year = {2019},
     publisher = {IOS Press}
   }

2. Prioritized norms in formal argumentation

   Beishui Liao, Nir Oren, Leendert Torre,  and Serena Villata

   Journal of Logic and Computation May 2019

   Bib

   @article{liao2019prioritized,
     title = {Prioritized norms in formal argumentation},
     author = {Liao, Beishui and Oren, Nir and van der Torre, Leendert and Villata, Serena},
     journal = {Journal of Logic and Computation},
     volume = {29},
     number = {2},
     pages = {215--240},
     year = {2019},
     publisher = {Oxford University Press}
   }

3. Classifying Norm Conflicts using Learned Semantic Representations

   João Paulo Aires, Roger Granada, Juarez Monteiro, Rodrigo C. Barros,  and Felipe Meneguzzi

   May 2019

   Bib

   @misc{aires2019classifying,
     title = {Classifying Norm Conflicts using Learned Semantic Representations},
     author = {Aires, João Paulo and Granada, Roger and Monteiro, Juarez and Barros, Rodrigo C. and Meneguzzi, Felipe},
     year = {2019},
     eprint = {1906.02121},
     archiveprefix = {arXiv},
     primaryclass = {cs.CL}
   }

4. Landmark-Enhanced Heuristics for Goal Recognition in Incomplete Domain Models

   Ramon Fraga Pereira, Andre Grahl Pereira,  and Felipe Meneguzzi

   In Proceedings of the 29th International Conference on Automated Planning and Scheduling May 2019

   Bib Bib Abs

   Recent approaches to goal recognition have progressively relaxed the assumptions about the amount and correctness of domain knowledge and available observations, yielding accurate and efficient algorithms. These approaches, however, assume completeness and correctness of the domain theory against which their algorithms match observations: this is too strong for most real-world domains. In this paper, we develop goal recognition techniques that are capable of recognizing goals using incomplete domain theories by considering different notions of planning landmarks in such domains. We evaluate the resulting techniques empirically in a large dataset of incomplete domains, and perform an ablation study to understand their effect on recognition performance.

   @inproceedings{PereiraPereiraMeneguzzi2019,
     author = {Pereira, Ramon Fraga and Pereira, Andre Grahl and Meneguzzi, Felipe},
     booktitle = {Proceedings of the 29th International Conference on Automated Planning and Scheduling},
     title = {Landmark-Enhanced Heuristics for Goal Recognition in Incomplete Domain Models},
     year = {2019},
     groups = {Goal and Plan Recognition}
   }

5. Online Probabilistic Goal Recognition over Nominal Models.

   Ramon Fraga Pereira, Mor Vered, Felipe Meneguzzi,  and Miquel Ramírez

   In International Joint Conference on Artificial Intelligence May 2019

   Bib DOI

   @inproceedings{PereiraVeredMeneguzziEtAl2019,
     author = {Pereira, Ramon Fraga and Vered, Mor and Meneguzzi, Felipe and Ramírez, Miquel},
     booktitle = {International Joint Conference on Artificial Intelligence},
     title = {Online Probabilistic Goal Recognition over Nominal Models.},
     year = {2019},
     pages = {5547-5553},
     publisher = {International Joint Conferences on Artificial Intelligence Organization},
     doi = {10.24963/ijcai.2019/770},
     isbn = {978-0-9992411-4-1},
     keywords = {Goal Recognition},
     url = {https://www.ijcai.org/proceedings/2019/770}
   }

6. LatRec: Recognizing Goals in Latent Space (Demo)

   Leonardo Amado, João Paulo Aires, Ramon F Pereira, Maurício C Magnaguagno, Roger Granada, Gabriel Paludo Licks,  and Felipe Meneguzzi

   In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS) May 2019

   Bib Bib Abs

   Recent approaches to goal recognition have progressively relaxed the requirements about the amount of domain knowledge and available observations, yielding accurate and efficient algorithms. These approaches, however, assume that there is a domain expert capable of building complete and correct domain knowledge to successfully recognize an agent's goal. This is too strong for most real-world applications. LatRec applies modern goal recognition algorithms directly to real-world data (images) by building planning domain knowledge using an unsupervised learning algorithm that generates domain theories from raw images. We demonstrate this approach in an online simulation of simple games, such as the n-puzzle game.

   @inproceedings{AmadoAiresPereiraEtAl2019a,
     author = {Amado, Leonardo and Aires, João Paulo and Pereira, Ramon F and Magnaguagno, Maurício C and Granada, Roger and Licks, Gabriel Paludo and Meneguzzi, Felipe},
     booktitle = {Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS)},
     title = {LatRec: Recognizing Goals in Latent Space (Demo)},
     year = {2019},
     publisher = {AAAI Press},
     groups = {Goal and Plan Recognition},
     keywords = {neural networks}
   }

7. Develop, Visualize and Test Classical Planning Descriptions in your Browser (Demo)

   Maurício C. Magnaguagno, Ramon F. Pereira, Martin D. Móre,  and Felipe Meneguzzi

   In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS) May 2019

   Bib Bib Abs

   Automated planning tools are complex pieces of software that take declarative domain descriptions and generate plans for complex domains. New users often find it challenging to understand the plan generation process, while experienced users often find it difficult to track semantic errors and efficiency issues. To simplify this process, in this paper, we develop a cloud-based planning tool with code editing, code verification and validation, and problem visualization capabilities. The code editor focuses on the domain, problem, and resulting plan and other textual information, helping the user see how such descriptions are connected without changing context across multiple screens. The visualization tool includes two alternative visualization schemes aimed at illustrating the explored state-space and dependencies between actions and predicates during plan execution.

   @inproceedings{MagnaguagnoPereiraMoreEtAl2019,
     author = {Magnaguagno, Maur\'{i}cio C. and Pereira, Ramon F. and M\'{o}re, Martin D. and Meneguzzi, Felipe},
     booktitle = {Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS)},
     title = {{Develop, Visualize and Test Classical Planning Descriptions in your Browser (Demo)}},
     publisher = {AAAI Press},
     date = {2019}
   }

8. Decentralised Planning for Multi-Agent Programming Platforms

   Rafael C. Cardoso,  and Rafael H. Bordini

   In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems May 2019

   Bib

   @inproceedings{Cardoso19AAMAS,
     author = {Cardoso, Rafael C. and Bordini, Rafael H.},
     title = {Decentralised Planning for Multi-Agent Programming Platforms},
     year = {2019},
     isbn = {9781450363099},
     publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
     address = {Richland, SC},
     booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},
     pages = {799–807},
     numpages = {9},
     keywords = {multi-agent development platforms, multi-agent planning, hierarchical task network, goal allocation},
     location = {Montreal QC, Canada},
     series = {AAMAS '19}
   }

9. NAKED: N-Ary graphs from Knowledge bases Expressed in Datalog+/-

   Bruno Yun, Madalina Croitoru,  and Srdjan Vesic

   In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2019, Montreal, Canada, May 13-17, 2019 May 2019

   Bib

   @inproceedings{yun_naked:_2019,
     title = {{NAKED}: {N}-{Ary} graphs from {Knowledge} bases {Expressed} in {Datalog}+/-},
     booktitle = {Proceedings of the 18th {International} {Conference} on {Autonomous} {Agents} and {MultiAgent} {Systems}, {AAMAS} 2019, {Montreal}, {Canada}, {May} 13-17, 2019},
     author = {Yun, Bruno and Croitoru, Madalina and Vesic, Srdjan},
     year = {2019}
   }

10. Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)

    Jürgen Dix, Brian Logan,  and Michael Winikoff

    Dagstuhl Reports May 2019

    Bib DOI

    @article{dix_et_al:DR:2019:11291,
      author = {Dix, J{\"u}rgen and Logan, Brian and Winikoff, Michael},
      title = {{Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)}},
      pages = {52--63},
      journal = {Dagstuhl Reports},
      issn = {2192-5283},
      year = {2019},
      volume = {9},
      number = {3},
      editor = {Dix, J{\"u}rgen and Logan, Brian and Winikoff, Michael},
      publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
      address = {Dagstuhl, Germany},
      url = {http://drops.dagstuhl.de/opus/volltexte/2019/11291},
      urn = {urn:nbn:de:0030-drops-112912},
      doi = {10.4230/DagRep.9.3.52}
    }

11. SMART–JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest

    Tabajara Krausburg, Rafael C. Cardoso, Juliana Damasio, Vitor Peres, Giovani P. Farias, Débora Cristina Engelmann, Jomi Fred Hübner,  and Rafael H. Bordini

    In The Multi-Agent Programming Contest 2018 May 2019

    Bib Bib Abs

    The Multi-Agent Programming Contest in 2018 expanded upon the Agents in the City scenario used in the 2016 and 2017 editions of the contest. In this scenario two teams compete to score points by building and attacking wells using realistic city maps from OpenStreetMap. Wells are the main addition to the new version of the scenario; they cost money to build and generate score overtime but can be dismantled by agents from the other team. This, along with other additions, made it a significantly more complex scenario than before. In this paper, we describe the strategies used by our team, highlighting our adaptations and new additions from our participation in the previous years. We have fully explored the use of all three programming dimensions (agent, environment, and organisation) available in JaCaMo, the multi-agent system development platform that we used to implement our team. Our agents were able to dynamically switch between organisational roles, allowing them to promptly respond to changes in the environment and different opponent strategies. We were the highest-scoring team in the contest and our multi-agent system turned out to be stable and robust in solving the difficult problems posed by the contest scenario.

    @inproceedings{Tabajara19,
      author = {Krausburg, Tabajara and Cardoso, Rafael C. and Damasio, Juliana and Peres, Vitor and Farias, Giovani P. and Engelmann, Débora Cristina and Hübner, Jomi Fred and Bordini, Rafael H.},
      editor = {Ahlbrecht, Tobias and Dix, Jürgen and Fiekas, Niklas},
      title = {SMART--JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest},
      booktitle = {The Multi-Agent Programming Contest 2018},
      year = {2019},
      publisher = {Springer International Publishing},
      address = {Cham},
      pages = {72--100},
      isbn = {978-3-030-37959-9}
    }

12. Unbounded Orchestrations of Transducers for Manufacturing

    Natasha Alechina, Tomáš Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan,  and Moshe Y. Vardi

    In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) Feb 2019

    Bib

    @inproceedings{Alechina//:19a,
      author = {Alechina, Natasha and Br\'{a}zdil, Tom\'{a}\v{s} and De Giacomo, Giuseppe and Felli, Paolo and Logan, Brian and Vardi, Moshe Y.},
      title = {Unbounded Orchestrations of Transducers for
                        Manufacturing},
      booktitle = {Proceedings of the Thirty-Third {AAAI} Conference on
                        Artificial Intelligence ({AAAI}-19)},
      year = {2019},
      month = feb,
      address = {Honolulu, USA},
      organization = {AAAI},
      publisher = {AAAI Press}
    }

13. Synthesising process controllers from formal models of transformable assembly systems

    Lavindra Silva, Paolo Felli, David Sanderson, Jack C. Chaplin, Brian Logan,  and Svetan Ratchev

    Robotics and Computer Integrated Manufacturing Feb 2019

    Bib

    @article{de-Silva//:19a,
      author = {de Silva, Lavindra and Felli, Paolo and Sanderson, David and Chaplin, Jack C. and Logan, Brian and Ratchev, Svetan},
      title = {Synthesising process controllers from formal models
                        of transformable assembly systems},
      journal = {Robotics and Computer Integrated Manufacturing},
      year = {2019},
      volume = {58},
      pages = {130--144}
    }

14. Strategic Responsibility Under Imperfect Information

    Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina,  and Brian Logan

    In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) May 2019

    Bib

    @inproceedings{Alechina//:19c,
      author = {Yazdanpanah, Vahid and Dastani, Mehdi and Jamroga, Wojciech and Alechina, Natasha and Logan, Brian},
      title = {Strategic Responsibility Under Imperfect Information},
      booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2019)},
      year = {2019},
      pages = {592--600},
      editor = {Agmon, N. and Taylor, M. E. and Elkind, E. and Veloso, M.},
      month = may,
      address = {Montreal, Canada},
      organization = {IFAAMAS},
      publisher = {IFAAMAS},
      url = {http://dl.acm.org/citation.cfm?id=3306127},
      isbn = {978-1-4503-6309-9}
    }

2018

1. Accountability for practical reasoning agents

   Stephen Cranefield, Nir Oren,  and Wamberto W Vasconcelos

   In International conference on agreement technologies May 2018

   Bib

   @inproceedings{cranefield2018accountability,
     title = {Accountability for practical reasoning agents},
     author = {Cranefield, Stephen and Oren, Nir and Vasconcelos, Wamberto W},
     booktitle = {International conference on agreement technologies},
     pages = {33--48},
     year = {2018},
     organization = {Springer}
   }

2. Sensor Placement for Plan Monitoring Using Genetic Programming

   Felipe Meneguzzi, Ramon Fraga Pereira,  and Nir Oren

   In International Conference on Principles and Practice of Multi-Agent Systems May 2018

   Bib

   @inproceedings{meneguzzi2018sensor,
     title = {Sensor Placement for Plan Monitoring Using Genetic Programming},
     author = {Meneguzzi, Felipe and Fraga Pereira, Ramon and Oren, Nir},
     booktitle = {International Conference on Principles and Practice of Multi-Agent Systems},
     pages = {544--551},
     year = {2018},
     organization = {Springer}
   }

3. Meta-Argumentation Frameworks for Multi-party Dialogues

   Gideon Ogunniye, Alice Toniolo,  and Nir Oren

   In International Conference on Principles and Practice of Multi-Agent Systems May 2018

   Bib

   @inproceedings{ogunniye2018meta,
     title = {Meta-Argumentation Frameworks for Multi-party Dialogues},
     author = {Ogunniye, Gideon and Toniolo, Alice and Oren, Nir},
     booktitle = {International Conference on Principles and Practice of Multi-Agent Systems},
     pages = {585--593},
     year = {2018},
     organization = {Springer}
   }

4. Improving Action Recognition using Temporal Regions

   Roger Leitzke Granada, João Paulo Aires, Juarez Monteiro, Felipe Rech Meneguzzi,  and Rodrigo Coelho Barros

   J. Inf. Data Manag. May 2018

   Bib

   @article{GranadaAiresMonteiroEtAl2018,
     author = {Granada, Roger Leitzke and Aires, Jo{\~{a}}o Paulo and Monteiro, Juarez and Meneguzzi, Felipe Rech and Barros, Rodrigo Coelho},
     journal = {J. Inf. Data Manag.},
     title = {Improving Action Recognition using Temporal Regions},
     year = {2018},
     number = {2},
     pages = {108--123},
     volume = {9},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/jidm/GranadaAMMB18.bib},
     groups = {Machine Learning},
     url = {https://sol.sbc.org.br/journals/index.php/jidm/article/view/2047}
   }

5. GoCo: planning expressive commitment protocols

   Felipe Meneguzzi, Mauricio C. Magnaguagno, Munindar P. Singh, Pankaj R. Telang,  and Neil Yorke-Smith

   May 2018

   Bib DOI

   @article{MeneguzziMagnaguagnoSinghEtAl2018,
     author = {Meneguzzi, Felipe and Magnaguagno, Mauricio C. and Singh, Munindar P. and Telang, Pankaj R. and Yorke-Smith, Neil},
     title = {GoCo: planning expressive commitment protocols},
     issn = {1573-7454},
     number = {4},
     pages = {459--502},
     volume = {32},
     date = {2018-07-01},
     day = {01},
     doi = {10.1007/s10458-018-9385-0},
     journaltitle = {Autonomous Agents and Multi-Agent Systems},
     url = {https://doi.org/10.1007/s10458-018-9385-0}
   }

6. Towards Online Goal Recognition Combining Goal Mirroring and Landmarks.

   Mor Vered, Ramon Fraga Pereira, Mauricio Cecilio Magnaguagno, Gal A Kaminka,  and Felipe Meneguzzi

   In International Conference on Autonomous Agents and Multiagent Systems (AAMAS) May 2018

   Bib

   @inproceedings{VeredPereiraMagnaguagnoEtAl2018,
     author = {Vered, Mor and Pereira, Ramon Fraga and Magnaguagno, Mauricio Cecilio and Kaminka, Gal A and Meneguzzi, Felipe},
     booktitle = {International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
     title = {Towards Online Goal Recognition Combining Goal Mirroring and Landmarks.},
     year = {2018},
     groups = {Planning, Goal and Plan Recognition},
     journal = {International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
     url = {https://dblp.org/rec/conf/atal/VeredPMKM18}
   }

7. Viewpoints Using Ranking-Based Argumentation Semantics

   Bruno Yun, Srdjan Vesic, Madalina Croitoru,  and Pierre Bisquert

   In Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018 May 2018

   Bib DOI

   @inproceedings{DBLP:conf/comma/YunVCB18,
     author = {Yun, Bruno and Vesic, Srdjan and Croitoru, Madalina and Bisquert, Pierre},
     editor = {Modgil, Sanjay and Budzynska, Katarzyna and Lawrence, John},
     title = {Viewpoints Using Ranking-Based Argumentation Semantics},
     booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2018, Warsaw,
                    Poland, 12-14 September 2018},
     series = {Frontiers in Artificial Intelligence and Applications},
     volume = {305},
     pages = {381--392},
     publisher = {{IOS} Press},
     year = {2018},
     url = {https://doi.org/10.3233/978-1-61499-906-5-381},
     doi = {10.3233/978-1-61499-906-5-381},
     timestamp = {Fri, 29 Jan 2021 21:15:47 +0100},
     biburl = {https://dblp.org/rec/conf/comma/YunVCB18.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

8. Choice of environment-friendly food packagings through argumentation systems and preferences

   Bruno Yun, Pierre Bisquert, Patrice Buche, Madalina Croitoru, Valérie Guillard,  and Rallou Thomopoulos

   Ecological Informatics Nov 2018

   Bib Bib Abs DOI

   Food packaging plays a crucial part in the post-harvest environmental impact of fresh foods. Packaging is usually wrongly considered as additional economical and environmental costs. However, by minimizing food waste and losses, it could significantly contribute to decrease the overall environmental impact of the food itself. A good balance between environmental burden (resource consumption and additional waste management issues) and real benefit in usage condition (reduction of food losses) should be thus defined when dimensioning a packaging for a given application. Beyond food waste and environmental impact reduction, various kinds of considerations about packaging, sometimes conflicting, are generally expressed by the stakeholders (food and packaging industries, health authorities, consumers, waste management authority, etc.) related to safety, practicality, perceptions of the packaging material, etc. Therefore, to help the parties deciphering all these arguments, we designed an argumentation-based tool to take into account the conflicting preferences expressed. The requirements concerning packagings are modeled by several arguments provided by the stakeholders expressing their viewpoints and expertise. Based on a new attack relation, the argumentation tool computes sets of compatible arguments which are used to rank alternative packagings under debate. In this paper, we present a complete workflow implemented as a software prototype starting by defining a structured representation of experts arguments and poll results, and ending by a ranking of packaging solutions. We show and discuss the results obtained by the software on a use case study (fresh strawberries) to determine the justifiable choices between several packaging materials based on stakeholders’ arguments.

   @article{yun_choice_2018,
     title = {Choice of environment-friendly food packagings through argumentation systems and preferences},
     volume = {48},
     issn = {1574-9541},
     url = {http://www.sciencedirect.com/science/article/pii/S1574954118300876},
     doi = {10.1016/j.ecoinf.2018.07.006},
     journal = {Ecological Informatics},
     author = {Yun, Bruno and Bisquert, Pierre and Buche, Patrice and Croitoru, Madalina and Guillard, Val{\'e}rie and Thomopoulos, Rallou},
     month = nov,
     year = {2018},
     pages = {24--36}
   }

9. How to Generate a Benchmark of Logical Argumentation Graphs?

   Bruno Yun, Madalina Croitoru,  and Srdjan Vesic

   In Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018 Nov 2018

   Bib DOI

   @inproceedings{yun_how_2018,
     title = {How to {Generate} a {Benchmark} of {Logical} {Argumentation} {Graphs}?},
     url = {https://doi.org/10.3233/978-1-61499-906-5-475},
     doi = {10.3233/978-1-61499-906-5-475},
     booktitle = {Computational {Models} of {Argument} - {Proceedings} of {COMMA} 2018, {Warsaw}, {Poland}, 12-14 {September} 2018},
     author = {Yun, Bruno and Croitoru, Madalina and Vesic, Srdjan},
     year = {2018},
     pages = {475--476}
   }

10. Multi-criteria Decision Making with Existential Rules Using Repair Techniques.

    Nikos Karanikolas, Madalina Croitoru, Pierre Bisquert, Christos Kaklamanis, Rallou Thomopoulos,  and Bruno Yun

    In Artificial Intelligence XXXV - 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018, Proceedings Nov 2018

    Bib

    @inproceedings{karanikolas_multi-criteria_2018,
      title = {Multi-criteria {Decision} {Making} with {Existential} {Rules} {Using} {Repair} {Techniques}.},
      booktitle = {Artificial {Intelligence} {XXXV} - 38th {SGAI} {International} {Conference} on {Artificial} {Intelligence}, {AI} 2018, {Cambridge}, {UK}, {December} 11-13, 2018, {Proceedings}},
      author = {Karanikolas, Nikos and Croitoru, Madalina and Bisquert, Pierre and Kaklamanis, Christos and Thomopoulos, Rallou and Yun, Bruno},
      year = {2018},
      pages = {177--183}
    }

11. Consumer perception data and scientific arguments about food packaging functionalities for fresh strawberries

    Bruno Yun, Patrice Buche, Pierre Bisquert, Sandrine Costa, Madalina Croitoru, Julien Cufi, Valérie Guillard, Alrick Oudot,  and Rallou Thomopoulos

    Data in Brief Sep 2018

    Bib Bib Abs DOI

    This data article contains data characterizing consumer perception and scientific arguments about food packaging functionalities for fresh strawberries. These data are associated with the article “Choice of environment-friendly food packagings through argumentation systems and preferences” (see Yun et al., 2018). These data are stored in a public repository structured by an ontology. These data could be retrieved through the @Web tool, user-friendly interface to capitalize and query data (Buche et al., 2013; Guillard et al., 2017). The @Web tool is accessible online at http://pfl.grignon.inra.fr/atWeb/.

    @article{yun_consumer_2018,
      title = {Consumer perception data and scientific arguments about food packaging functionalities for fresh strawberries},
      issn = {2352-3409},
      url = {http://www.sciencedirect.com/science/article/pii/S2352340918311107},
      doi = {10.1016/j.dib.2018.09.034},
      journal = {Data in Brief},
      author = {Yun, Bruno and Buche, Patrice and Bisquert, Pierre and Costa, Sandrine and Croitoru, Madalina and Cufi, Julien and Guillard, Val{\'e}rie and Oudot, Alrick and Thomopoulos, Rallou},
      month = sep,
      year = {2018}
    }

12. Toward a More Efficient Generation of Structured Argumentation Graphs

    Bruno Yun, Srdjan Vesic,  and Madalina Croitoru

    In Proceedings of the 7th International Conference on Computational Models of Argument, COMMA 2018, 11th - 14th September, 2018, Warsaw, Poland. Sep 2018

    Bib

    @inproceedings{yun_toward_2018,
      title = {Toward a {More} {Efficient} {Generation} of {Structured} {Argumentation} {Graphs}},
      booktitle = {Proceedings of the 7th {International} {Conference} on {Computational} {Models} of {Argument},  {COMMA} 2018, 11th - 14th {September}, 2018, {Warsaw}, {Poland}.},
      author = {Yun, Bruno and Vesic, Srdjan and Croitoru, Madalina},
      year = {2018}
    }

13. Defining Argumentation Attacks in Practice: An Experiment in Food Packaging Consumer Expectations.

    Bruno Yun, Rallou Thomopoulos, Pierre Bisquert,  and Madalina Croitoru

    In Graph-Based Representation and Reasoning - 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings Sep 2018

    Bib DOI

    @inproceedings{yun_defining_2018,
      title = {Defining {Argumentation} {Attacks} in {Practice}: {An} {Experiment} in {Food} {Packaging} {Consumer} {Expectations}.},
      url = {https://doi.org/10.1007/978-3-319-91379-7_6},
      doi = {10.1007/978-3-319-91379-7_6},
      booktitle = {Graph-{Based} {Representation} and {Reasoning} - 23rd {International} {Conference} on {Conceptual} {Structures}, {ICCS} 2018, {Edinburgh}, {UK}, {June} 20-22, 2018, {Proceedings}},
      author = {Yun, Bruno and Thomopoulos, Rallou and Bisquert, Pierre and Croitoru, Madalina},
      year = {2018},
      pages = {73--87}
    }

14. Graph Theoretical Properties of Logic Based Argumentation Frameworks.

    Bruno Yun, Madalina Croitoru, Pierre Bisquert,  and Srdjan Vesic

    In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018 Sep 2018

    Bib

    @inproceedings{yun_graph_2018,
      title = {Graph {Theoretical} {Properties} of {Logic} {Based} {Argumentation} {Frameworks}.},
      url = {http://dl.acm.org/citation.cfm?id=3238101},
      booktitle = {Proceedings of the 17th {International} {Conference} on {Autonomous} {Agents} and {MultiAgent} {Systems}, {AAMAS} 2018, {Stockholm}, {Sweden}, {July} 10-15, 2018},
      author = {Yun, Bruno and Croitoru, Madalina and Bisquert, Pierre and Vesic, Srdjan},
      year = {2018},
      pages = {2148--2149}
    }

15. DAGGER: Datalog+/- Argumentation Graph GEneRator.

    Bruno Yun, Madalina Croitoru, Srdjan Vesic,  and Pierre Bisquert

    In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018 Sep 2018

    Bib

    @inproceedings{yun_dagger:_2018,
      title = {{DAGGER}: {Datalog}+/- {Argumentation} {Graph} {GEneRator}.},
      url = {http://dl.acm.org/citation.cfm?id=3237996},
      booktitle = {Proceedings of the 17th {International} {Conference} on {Autonomous} {Agents} and {MultiAgent} {Systems}, {AAMAS} 2018, {Stockholm}, {Sweden}, {July} 10-15, 2018},
      author = {Yun, Bruno and Croitoru, Madalina and Vesic, Srdjan and Bisquert, Pierre},
      year = {2018},
      pages = {1841--1843}
    }

16. Inconsistency Measures for Repair Semantics in OBDA.

    Bruno Yun, Srdjan Vesic, Madalina Croitoru,  and Pierre Bisquert

    In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. Sep 2018

    Bib DOI

    @inproceedings{yun_inconsistency_2018,
      title = {Inconsistency {Measures} for {Repair} {Semantics} in {OBDA}.},
      url = {https://doi.org/10.24963/ijcai.2018/273},
      doi = {10.24963/ijcai.2018/273},
      booktitle = {Proceedings of the {Twenty}-{Seventh} {International} {Joint} {Conference} on {Artificial} {Intelligence},  {IJCAI} 2018, {July} 13-19, 2018, {Stockholm}, {Sweden}.},
      author = {Yun, Bruno and Vesic, Srdjan and Croitoru, Madalina and Bisquert, Pierre},
      year = {2018},
      pages = {1977--1983}
    }

17. Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results.

    Bruno Yun, Madalina Croitoru, Srdjan Vesic,  and Pierre Bisquert

    In Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers Sep 2018

    Bib DOI

    @inproceedings{yun_graph_2018-1,
      title = {Graph {Theoretical} {Properties} of {Logic} {Based} {Argumentation} {Frameworks}: {Proofs} and {General} {Results}.},
      url = {https://doi.org/10.1007/978-3-319-78102-0_7},
      doi = {10.1007/978-3-319-78102-0_7},
      booktitle = {Graph {Structures} for {Knowledge} {Representation} and {Reasoning} - 5th {International} {Workshop}, {GKR} 2017, {Melbourne}, {VIC}, {Australia}, {August} 21, 2017, {Revised} {Selected} {Papers}},
      author = {Yun, Bruno and Croitoru, Madalina and Vesic, Srdjan and Bisquert, Pierre},
      year = {2018},
      pages = {118--138}
    }

18. An agent programming manifesto

    Brian Logan

    International Journal of Agent-Oriented Software Engineering Sep 2018

    Bib

    @article{logan2018agent,
      title = {An agent programming manifesto},
      author = {Logan, Brian},
      journal = {International Journal of Agent-Oriented Software Engineering},
      volume = {6},
      number = {2},
      pages = {187--210},
      year = {2018},
      publisher = {Inderscience Publishers (IEL)}
    }

19. Team PUCRS: a Decentralised Multi-Agent Solution for the Agents in the City Scenario

    Rafael C. Cardoso, Ramon Fraga Pereira, Guilherme Krzisch, Mauricio C. Magnaguagno, Túlio Baségio,  and Felipe Meneguzzi

    International Journal of Agent-Oriented Software Engineering Jan 2018

    Bib DOI

    @article{Cardoso18a,
      author = {Cardoso, Rafael C. and Pereira, Ramon Fraga and Krzisch, Guilherme and Magnaguagno, Mauricio C. and Bas\'egio, T\'ulio and Meneguzzi, Felipe},
      title = {{Team PUCRS}: a Decentralised Multi-Agent Solution for the Agents in the City Scenario},
      journal = {International Journal of Agent-Oriented Software Engineering},
      volume = {6},
      number = {1},
      month = jan,
      year = {2018},
      doi = {10.1504/IJAOSE.2018.10010601},
      pages = {3--34},
      url = {https://www.inderscienceonline.com/doi/abs/10.1504/IJAOSE.2018.089595}
    }

20. On the complexity of resource-bounded logics

    Natasha Alechina, Nils Bulling, Stéphane Demri,  and Brian Logan

    Theoretical Computer Science Jan 2018

    Bib

    @article{Alechina//:18a,
      author = {Alechina, Natasha and Bulling, Nils and Demri, St{\'e}phane and Logan, Brian},
      title = {On the complexity of resource-bounded logics},
      journal = {Theoretical Computer Science},
      volume = {750},
      pages = {69--100},
      year = {2018},
      url = {https://doi.org/10.1016/j.tcs.2018.01.019}
    }

21. Synthesis of Orchestrations of Transducers for Manufacturing

    Giuseppe De Giacomo, Moshe Vardi, Paolo Felli, Natasha Alechina,  and Brian Logan

    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) Feb 2018

    Bib

    @inproceedings{De-Giacomo//:18a,
      author = {De Giacomo, Giuseppe and Vardi, Moshe and Felli, Paolo and Alechina, Natasha and Logan, Brian},
      title = {Synthesis of Orchestrations of Transducers for
                        Manufacturing},
      booktitle = {Proceedings of the Thirty-Second {AAAI} Conference
                        on Artificial Intelligence ({AAAI}-18)},
      pages = {6161--6168},
      year = {2018},
      month = feb,
      address = {New Orleans, USA},
      organization = {AAAI},
      publisher = {AAAI Press},
      url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17250/16186}
    }

22. Composite Capabilities for Cloud Manufacturing (Demonstration)

    Paolo Felli, Lavindra Silva, Brian Logan,  and Svetan Ratchev

    In Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Jul 2018

    Bib

    @inproceedings{Felli//:18a,
      author = {Felli, Paolo and de Silva, Lavindra and Logan, Brian and Ratchev, Svetan},
      title = {Composite Capabilities for Cloud Manufacturing
                        ({Demonstration})},
      booktitle = {Proceedings of the 17th International Conference on
                        Autonomous Agents and Multiagent Systems ({AAMAS}
                        2018),},
      editor = {Dastani, M. and Sukthankar, G. and Andre, E. and Koenig, S.},
      pages = {1809--1811},
      address = {Stockholm, Sweden},
      year = {2018},
      month = jul,
      organization = {IFAAMAS},
      publisher = {IFAAMAS}
    }

23. Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems

    Natasha Alechina, Joseph Halpern, Ian Kash,  and Brian Logan

    Journal of Artificial Intelligence Research Jun 2018

    Bib

    @article{Alechina//:18b,
      author = {Alechina, Natasha and Halpern, Joseph and Kash, Ian and Logan, Brian},
      title = {Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems},
      journal = {Journal of Artificial Intelligence Research},
      volume = {62},
      pages = {433--458},
      year = {2018},
      month = jun
    }

2017

1. Norm conflict identification in contracts

   João Paulo Aires, Daniele Pinheiro, Vera Strube de Lima,  and Felipe Meneguzzi

   Artificial Intelligence and Law Dec 2017

   Bib Bib Abs DOI

   The exchange of goods and services between individuals is often formalised by a contract in which the parties establish norms to define what is expected of each one. Norms use deontic statements of obligation, prohibition, and permission, which may be in conflict. The task of manually detecting norm conflicts can be time–consuming and error-prone since contracts can be vast and complex. To automate such tasks, we develop an approach to identify potential conflicts between norms. We show the effectiveness of our approach and its individual components empirically using two publicly available corpora, and contribute with a new annotated test corpus for norm conflict identification.

   @article{Aires2017,
     author = {Aires, Jo{\~a}o Paulo and Pinheiro, Daniele and Lima, Vera Strube de and Meneguzzi, Felipe},
     title = {Norm conflict identification in contracts},
     journal = {Artificial Intelligence and Law},
     year = {2017},
     month = dec,
     day = {01},
     volume = {25},
     number = {4},
     pages = {397--428},
     issn = {1572-8382},
     doi = {10.1007/s10506-017-9205-x},
     url = {https://doi.org/10.1007/s10506-017-9205-x}
   }

2. Deep neural networks for kitchen activity recognition

   Juarez Monteiro, Roger Granada, Rodrigo C Barros,  and Felipe Meneguzzi

   In 2017 International Joint Conference on Neural Networks (IJCNN) Dec 2017

   Bib DOI

   @inproceedings{MonteiroGranadaBarrosEtAl2017,
     author = {Monteiro, Juarez and Granada, Roger and Barros, Rodrigo C and Meneguzzi, Felipe},
     booktitle = {2017 International Joint Conference on Neural Networks (IJCNN)},
     title = {Deep neural networks for kitchen activity recognition},
     year = {2017},
     pages = {2048-2055},
     publisher = {IEEE},
     doi = {10.1109/IJCNN.2017.7966102},
     groups = {Goal and Plan Recognition},
     isbn = {978-1-5090-6182-2},
     journal = {2017 International Joint Conference on Neural Networks (IJCNN)},
     keywords = {activity recognition},
     url = {http://ieeexplore.ieee.org/document/7966102/}
   }

3. Virtual guide dog: An application to support visually-impaired people through deep convolutional neural networks

   Juarez Monteiro, João Paulo Aires, Roger Granada, Rodrigo C. Barros,  and Felipe Meneguzzi

   In 2017 International Joint Conference on Neural Networks, IJCNN 2017, Anchorage, AK, USA, May 14-19, 2017 Dec 2017

   Bib DOI

   @inproceedings{MonteiroAiresGranadaEtAl2017,
     author = {Monteiro, Juarez and Aires, Jo{\~{a}}o Paulo and Granada, Roger and Barros, Rodrigo C. and Meneguzzi, Felipe},
     booktitle = {2017 International Joint Conference on Neural Networks, {IJCNN} 2017, Anchorage, AK, USA, May 14-19, 2017},
     year = {2017},
     pages = {2267--2274},
     publisher = {{IEEE}},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/ijcnn/MonteiroAGBM17.bib},
     doi = {10.1109/IJCNN.2017.7966130},
     groups = {Goal and Plan Recognition, Machine Learning}
   }

4. Hybrid Activity and Plan Recognition for Video Streams

   Roger Granada, Ramon Fraga Pereira, Juarez Monteiro, Rodrigo Barros, Duncan Ruiz,  and Felipe Meneguzzi

   In The AAAI 2017 Workshop on Plan, Activity, and Intent Recognition Dec 2017

   Bib

   @inproceedings{GranadaPereiraMonteiroEtAl2017,
     author = {Granada, Roger and Pereira, Ramon Fraga and Monteiro, Juarez and Barros, Rodrigo and Ruiz, Duncan and Meneguzzi, Felipe},
     booktitle = {The AAAI 2017 Workshop on Plan, Activity, and Intent Recognition},
     title = {Hybrid Activity and Plan Recognition for Video Streams},
     year = {2017},
     groups = {Goal and Plan Recognition},
     journal = {The AAAI 2017 Workshop on Plan, Activity, and Intent Recognition},
     keywords = {Machine Learning, plan recognition}
   }

5. Landmark-Based Heuristics for Goal Recognition

   Ramon Fraga Pereira, Nir Oren,  and Felipe Meneguzzi

   In Proceedings of the 32st AAAI Conference on Artificial Intelligence Dec 2017

   Bib Bib Abs

   Automated planning can be used to efficiently recognize goals and plans from partial or full observed action sequences. In this paper, we propose goal recognition heuristics that rely on information from planning landmarks – facts or actions that must occur if a plan is to achieve a goal when starting from some initial state. We develop two such heuristics: the first estimates goal completion by considering the ratio between achieved and extracted landmarks of a candidate goal, while the second takes into account how unique each landmark is among landmarks for all candidate goals. We empirically evaluate these heuristics over both standard goal/plan recognition problems, and a set of very large problems. We show that our heuristics can recognize goals more accurately, and run orders of magnitude faster, than the current state-of-the-art.

   @inproceedings{PereiraOrenMeneguzzi2017,
     author = {Pereira, Ramon Fraga and Oren, Nir and Meneguzzi, Felipe},
     booktitle = {Proceedings of the 32st AAAI Conference on Artificial Intelligence},
     title = {Landmark-Based Heuristics for Goal Recognition},
     year = {2017},
     groups = {Goal and Plan Recognition},
     url = {https://ojs.aaai.org/index.php/AAAI/article/view/11021}
   }

6. Are Ranking Semantics Sensitive to the Notion of Core?

   Bruno Yun, Madalina Croitoru,  and Pierre Bisquert

   In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 Dec 2017

   Bib

   @inproceedings{yun_are_2017,
     title = {Are {Ranking} {Semantics} {Sensitive} to the {Notion} of {Core}?},
     url = {http://dl.acm.org/citation.cfm?id=3091260},
     booktitle = {Proceedings of the 16th {Conference} on {Autonomous} {Agents} and {MultiAgent} {Systems}, {AAMAS} 2017, {S{\~a}o} {Paulo}, {Brazil}, {May} 8-12, 2017},
     author = {Yun, Bruno and Croitoru, Madalina and Bisquert, Pierre},
     year = {2017},
     pages = {943--951}
   }

7. A Structural Benchmark for Logical Argumentation Frameworks

   Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert,  and Rallou Thomopoulos

   In Advances in Intelligent Data Analysis XVI - 16th International Symposium, IDA 2017, London, UK, October 26-28, 2017, Proceedings Dec 2017

   Bib

   @inproceedings{yun_structural_2017,
     title = {A {Structural} {Benchmark} for {Logical} {Argumentation} {Frameworks}},
     booktitle = {Advances in {Intelligent} {Data} {Analysis} {XVI} - 16th {International} {Symposium}, {IDA} 2017, {London}, {UK}, {October} 26-28, 2017, {Proceedings}},
     author = {Yun, Bruno and Vesic, Srdjan and Croitoru, Madalina and Bisquert, Pierre and Thomopoulos, Rallou},
     year = {2017},
     pages = {334--346}
   }

8. Model-checking for Resource-Bounded ATL with production and consumption of resources

   Natasha Alechina, Brian Logan, Hoang Nga Nguyen,  and Franco Raimondi

   Journal of Computer and System Sciences Sep 2017

   Bib DOI

   @article{Alechina//:16d,
     author = {Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco},
     title = {Model-checking for Resource-Bounded {ATL} with production and consumption of resources},
     journal = {Journal of Computer and System Sciences},
     volume = {88},
     pages = {126--144},
     year = {2017},
     month = sep,
     doi = {doi.org/10.1016/j.jcss.2017.03.008}
   }

9. The virtues of idleness: A decidable fragment of resource agent logic

   Natasha Alechina, Nils Bulling, Brian Logan,  and Hoang Nga Nguyen

   Artificial Intelligence Apr 2017

   Bib DOI

   @article{Alechina//:17b,
     author = {Alechina, Natasha and Bulling, Nils and Logan, Brian and Nguyen, Hoang Nga},
     title = {The virtues of idleness: {A} decidable fragment of
                       resource agent logic},
     journal = {Artificial Intelligence},
     year = {2017},
     volume = {245},
     pages = {56--85},
     month = apr,
     doi = {http://dx.doi.org/10.1016/j.artint.2016.12.005}
   }

10. Synthesising Industry-Standard Manufacturing Process Controllers (Demonstration)

    Lavindra Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson,  and Svetan Ratchev

    In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), May 2017

    Bib

    @inproceedings{de-Silva//:17a,
      author = {de Silva, Lavindra and Felli, Paolo and Chaplin, Jack C. and Logan, Brian and Sanderson, David and Ratchev, Svetan},
      title = {Synthesising Industry-Standard Manufacturing Process
                        Controllers ({Demonstration})},
      booktitle = {Proceedings of the 16th International Conference on
                        Autonomous Agents and Multiagent Systems ({AAMAS}
                        2017),},
      year = {2017},
      editor = {Das, S. and Durfee, E. and Larson, K. and Winikoff, M.},
      pages = {1811--1813},
      address = {Sao Paulo, Brazil},
      month = may,
      organization = {IFAAMAS},
      publisher = {IFAAMAS}
    }

11. Process Plan Controllers for Non-Deterministic Manufacturing Systems

    Paolo Felli, Lavindra Silva, Brian Logan,  and Svetan Ratchev

    In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017) Aug 2017

    Bib DOI

    @inproceedings{Felli//:17a,
      author = {Felli, Paolo and de Silva, Lavindra and Logan, Brian and Ratchev, Svetan},
      title = {Process Plan Controllers for Non-Deterministic
                        Manufacturing Systems},
      booktitle = {Proceedings of the 26th International Joint
                        Conference on Artificial Intelligence ({IJCAI}
                        2017)},
      editor = {Sierra, Carles},
      pages = {1023--1030},
      year = {2017},
      address = {Melbourne, Australia},
      month = aug,
      publisher = {{IJCAI}},
      doi = {10.24963/ijcai.2017/142}
    }

12. Progressing Intention Progresson: A Call for a Goal-Plan Tree Contest

    Brian Logan, John Thangarajah,  and Neil Yorke-Smith

    In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), May 2017

    Bib

    @inproceedings{Logan//:17a,
      author = {Logan, Brian and Thangarajah, John and Yorke-Smith, Neil},
      title = {Progressing Intention Progresson: A Call for a
                        Goal-Plan Tree Contest},
      booktitle = {Proceedings of the 16th International Conference on
                        Autonomous Agents and Multiagent Systems ({AAMAS}
                        2017),},
      year = {2017},
      editor = {Das, S. and Durfee, E. and Larson, K. and Winikoff, M.},
      pages = {768--772},
      address = {Sao Paulo, Brazil},
      month = may,
      organization = {IFAAMAS},
      publisher = {IFAAMAS}
    }

13. Causality, Responsibility and Blame in Team Plans

    Natasha Alechina, Joseph Y. Halpern,  and Brian Logan

    In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), May 2017

    Bib

    @inproceedings{Alechina//:17c,
      author = {Alechina, Natasha and Halpern, Joseph Y. and Logan, Brian},
      title = {Causality, Responsibility and Blame in Team Plans},
      booktitle = {Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2017),},
      year = {2017},
      editor = {Das, S. and Durfee, E. and Larson, K. and Winikoff, M.},
      pages = {1091--1099},
      address = {Sao Paulo, Brazil},
      month = may,
      organization = {IFAAMAS},
      publisher = {IFAAMAS}
    }

14. Incentivising Monitoring in Open Normative Systems

    Natasha Alechina, Joe Halpern, Ian Kash,  and Brian Logan

    In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017) Feb 2017

    Bib

    @inproceedings{Alechina//:17a,
      author = {Alechina, Natasha and Halpern, Joe and Kash, Ian and Logan, Brian},
      title = {Incentivising Monitoring in Open Normative Systems},
      booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence ({AAAI} 2017) },
      editor = {Singh, Satinder P. and Markovitch, Shaul},
      pages = {305--311},
      year = {2017},
      address = {San Francisco, USA},
      month = feb,
      organization = {AAAI},
      publisher = {AAAI Press},
      url = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14911}
    }

2016

1. Gödel Fuzzy Argumentation Frameworks.

   Jiachao Wu, Hengfei Li, Nir Oren,  and Timothy J Norman

   In Proceedings of COMMA 2016 Feb 2016

   Bib

   @inproceedings{wu2016godel,
     title = {G{\"o}del Fuzzy Argumentation Frameworks.},
     booktitle = {Proceedings of COMMA 2016},
     author = {Wu, Jiachao and Li, Hengfei and Oren, Nir and Norman, Timothy J},
     year = {2016}
   }

2. A Bayesian Approach to Norm Identification

   Stephen Cranefield, Felipe Meneguzzi, Nir Oren,  and Bastin Tony Roy Savarimuthu

   In ECAI Feb 2016

   Bib

   @inproceedings{cranefield16bayesian,
     author = {Cranefield, Stephen and Meneguzzi, Felipe and Oren, Nir and Savarimuthu, Bastin Tony Roy},
     title = {A Bayesian Approach to Norm Identification},
     booktitle = {{ECAI}},
     series = {Frontiers in Artificial Intelligence and Applications},
     volume = {285},
     pages = {622--629},
     publisher = {{IOS} Press},
     year = {2016}
   }

3. Normative practical reasoning via argumentation and dialogue

   Zohreh Shams, Marina De Vos, Nir Oren,  and Julian Padget

   In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence Feb 2016

   Bib

   @inproceedings{shams2016normative,
     title = {Normative practical reasoning via argumentation and dialogue},
     author = {Shams, Zohreh and De Vos, Marina and Oren, Nir and Padget, Julian},
     booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence},
     pages = {1244--1250},
     year = {2016}
   }

4. A two-phase dialogue game for skeptical preferred semantics

   Zohreh Shams,  and Nir Oren

   In European Conference on Logics in Artificial Intelligence Feb 2016

   Bib

   @inproceedings{shams2016two,
     title = {A two-phase dialogue game for skeptical preferred semantics},
     author = {Shams, Zohreh and Oren, Nir},
     booktitle = {European Conference on Logics in Artificial Intelligence},
     pages = {570--576},
     year = {2016},
     organization = {Springer}
   }

5. A Bayesian approach to norm identification

   Stephen Cranefield, Felipe Meneguzzi, Nir Oren,  and Bastin T. R. Savarimuthu

   In Proceedings of the Twenty Second European Conference on Artificial Intelligence Feb 2016

   Bib DOI

   @inproceedings{Cranefield2016,
     author = {Cranefield, Stephen and Meneguzzi, Felipe and Oren, Nir and Savarimuthu, Bastin T. R.},
     title = {A Bayesian approach to norm identification},
     booktitle = {Proceedings of the Twenty Second European Conference on Artificial Intelligence},
     year = {2016},
     doi = {10.3233/978-1-61499-672-9-622},
     pages = {622 -- 629}
   }

6. Detecting task-based fMRI compliance using plan abandonment techniques

   Ramon Fraga Pereira, Anibal Solon Heinsfeld, Alexandre Rosa Franco, Augusto Buchweitz,  and Felipe Meneguzzi

   Feb 2016

   Bib

   @article{PereiraHeinsfeldFrancoEtAl2016,
     author = {Pereira, Ramon Fraga and Heinsfeld, Anibal Solon and Franco, Alexandre Rosa and Buchweitz, Augusto and Meneguzzi, Felipe},
     title = {Detecting task-based {fMRI} compliance using plan abandonment techniques},
     pages = {21-22},
     volume = {5},
     year = {2016},
     journaltitle = {GigaScience}
   }

7. Landmark-based Plan Recognition

   Ramon Fraga Pereira,  and Felipe Meneguzzi

   In European Conference on Artificial Intelligence Feb 2016

   Bib DOI

   @inproceedings{PereiraMeneguzzi2016,
     author = {Pereira, Ramon Fraga and Meneguzzi, Felipe},
     booktitle = {European Conference on Artificial Intelligence},
     title = {Landmark-based Plan Recognition},
     year = {2016},
     pages = {1706-1707},
     doi = {10.3233/978-1-61499-672-9-1706},
     groups = {Goal and Plan Recognition},
     journal = {European Conference on Artificial Intelligence},
     keywords = {plan recognition},
     url = {http://ebooks.iospress.nl/publication/44992}
   }

8. Arguing About End-of-Life of Packagings: Preferences to the Rescue

   Bruno Yun, Pierre Bisquert, Patrice Buche,  and Madalina Croitoru

   In Metadata and Semantics Research - 10th International Conference, MTSR 2016, Göttingen, Germany, November 22-25, 2016, Proceedings Feb 2016

   Bib DOI

   @inproceedings{DBLP:conf/mtsr/YunBBC16,
     author = {Yun, Bruno and Bisquert, Pierre and Buche, Patrice and Croitoru, Madalina},
     editor = {Garoufallou, Emmanouel and Coll, Imma Subirats and Stellato, Armando and Greenberg, Jane},
     title = {Arguing About End-of-Life of Packagings: Preferences to the Rescue},
     booktitle = {Metadata and Semantics Research - 10th International Conference, {MTSR}
                    2016, G{\"{o}}ttingen, Germany, November 22-25, 2016, Proceedings},
     series = {Communications in Computer and Information Science},
     volume = {672},
     pages = {119--131},
     year = {2016},
     url = {https://doi.org/10.1007/978-3-319-49157-8\_10},
     doi = {10.1007/978-3-319-49157-8\_10},
     timestamp = {Sat, 19 Oct 2019 20:01:03 +0200},
     biburl = {https://dblp.org/rec/conf/mtsr/YunBBC16.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

9. Summary Report of The First International Competition on Computational Models of Argumentation.

   Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass,  and Mauro Vallati

   AI Magazine Feb 2016

   Bib

   @article{thimm_summary_2016,
     title = {Summary {Report} of {The} {First} {International} {Competition} on {Computational} {Models} of {Argumentation}.},
     volume = {37},
     url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2640},
     number = {1},
     journal = {AI Magazine},
     author = {Thimm, Matthias and Villata, Serena and Cerutti, Federico and Oren, Nir and Strass, Hannes and Vallati, Mauro},
     year = {2016},
     pages = {102}
   }

10. Arguing About End-of-Life of Packagings: Preferences to the Rescue.

    Bruno Yun, Pierre Bisquert, Patrice Buche,  and Madalina Croitoru

    In Metadata and Semantics Research - 10th International Conference, MTSR 2016, Göttingen, Germany, November 22-25, 2016, Proceedings Feb 2016

    Bib DOI

    @inproceedings{yun_arguing_2016,
      title = {Arguing {About} {End}-of-{Life} of {Packagings}: {Preferences} to the {Rescue}.},
      url = {http://dx.doi.org/10.1007/978-3-319-49157-8_10},
      doi = {10.1007/978-3-319-49157-8_10},
      booktitle = {Metadata and {Semantics} {Research} - 10th {International} {Conference}, {MTSR} 2016, {G{\"o}ttingen}, {Germany}, {November} 22-25, 2016, {Proceedings}},
      author = {Yun, Bruno and Bisquert, Pierre and Buche, Patrice and Croitoru, Madalina},
      year = {2016},
      pages = {119--131}
    }

11. An Argumentation Workflow for Reasoning in Ontology Based Data Access.

    Bruno Yun,  and Madalina Croitoru

    In Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12-16 September, 2016. Feb 2016

    Bib DOI

    @inproceedings{yun_argumentation_2016,
      title = {An {Argumentation} {Workflow} for {Reasoning} in {Ontology} {Based} {Data} {Access}.},
      url = {http://dx.doi.org/10.3233/978-1-61499-686-6-61},
      doi = {10.3233/978-1-61499-686-6-61},
      booktitle = {Computational {Models} of {Argument} - {Proceedings} of {COMMA} 2016, {Potsdam}, {Germany}, 12-16 {September}, 2016.},
      author = {Yun, Bruno and Croitoru, Madalina},
      year = {2016},
      pages = {61--68},
    }

12. Verifying Existence of Resource-Bounded Coalition Uniform Strategies

    Natasha Alechina, Mehdi Dastani,  and Brian Logan

    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) Feb 2016

    Bib

    @inproceedings{Alechina//:16b,
      author = {Alechina, Natasha and Dastani, Mehdi and Logan, Brian},
      title = {Verifying Existence of Resource-Bounded Coalition
                        Uniform Strategies},
      booktitle = {Proceedings of the 25th International Joint
                        Conference on Artificial Intelligence ({IJCAI}
                        2016)},
      editor = {Kambhampati, Subbarao},
      year = {2016},
      pages = {24--30},
      publisher = {{IJCAI/AAAI} Press}
    }

13. Parallel Behavior Composition for Manufacturing

    Paolo Felli, Brian Logan,  and Sebastian Sardina

    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) Feb 2016

    Bib

    @inproceedings{Felli//:16a,
      author = {Felli, Paolo and Logan, Brian and Sardina, Sebastian},
      title = {Parallel Behavior Composition for Manufacturing},
      booktitle = {Proceedings of the 25th International Joint
                        Conference on Artificial Intelligence ({IJCAI}
                        2016)},
      editor = {Kambhampati, Subbarao},
      year = {2016},
      pages = {271--278},
      publisher = {{IJCAI/AAAI} Press}
    }

14. Realisability of Production Recipes

    Lavindra Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson,  and Svetan Ratchev

    In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016) Aug 2016

    Bib DOI

    @inproceedings{de-Silva//:16a,
      author = {de Silva, Lavindra and Felli, Paolo and Chaplin, Jack C. and Logan, Brian and Sanderson, David and Ratchev, Svetan},
      title = {Realisability of Production Recipes},
      booktitle = {Proceedings of the 22nd European Conference on
                        Artificial Intelligence ({ECAI}-2016)},
      pages = {1449--1457},
      year = {2016},
      editor = {Kaminka, G. A. and Fox, M. and Bouquet, P. and E., Hullermeijer and F., Dignum and V., Dignum and van Harmalen F.},
      address = {The Hague, The Netherlands},
      month = aug,
      organization = {ECCAI},
      publisher = {IOS Press},
      doi = {10.3233/978-1-61499-672-9-1449}
    }

15. Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions

    Yuan Yao, Brian Logan,  and John Thangarajah

    In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16) Feb 2016

    Bib

    @inproceedings{Yao//:16a,
      author = {Yao, Yuan and Logan, Brian and Thangarajah, John},
      title = {Robust Execution of {BDI} Agent Programs by
                        Exploiting Synergies Between Intentions},
      booktitle = {Proceedings of the Thirtieth {AAAI} Conference on
                        Artificial Intelligence ({AAAI}-16)},
      editor = {Schuurmans, Dale and Wellman, Michael P.},
      pages = {2558--2564},
      year = {2016},
      address = {Phoenix, USA},
      month = feb,
      organization = {AAAI},
      publisher = {AAAI Press},
      url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12148}
    }

16. Action-Level Intention Selection for BDI Agents

    Yuan Yao,  and Brian Logan

    In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) May 2016

    Bib

    @inproceedings{Yao/Logan:16a,
      author = {Yao, Yuan and Logan, Brian},
      title = {Action-Level Intention Selection for {BDI} Agents},
      booktitle = {Proceedings of the 15th International Conference on
                        Autonomous Agents and Multiagent Systems ({AAMAS}
                        2016)},
      year = {2016},
      editor = {Thangarajah, J. and Tuyls, K. and Jonker, C. and Marsella, S.},
      pages = {1227--1235},
      address = {Singapore},
      month = may,
      organization = {IFAAMAS},
      publisher = {IFAAMAS}
    }

17. Reasoning about the Executability of Goal-Plan Trees

    Yuan Yao, Lavindra Silva,  and Brian Logan

    In Proceedings of the 4th International Workshop on Engineering Multi-Agent Systems (EMAS 2016) May 2016

    Bib DOI

    @inproceedings{Yao//:16b,
      author = {Yao, Yuan and de Silva, Lavindra and Logan, Brian},
      title = {Reasoning about the Executability of Goal-Plan
                        Trees},
      booktitle = {Proceedings of the 4th International Workshop on
                        Engineering Multi-Agent Systems ({EMAS} 2016)},
      editor = {Baldoni, Matteo and Muller, Jorg P. and Nunes, Ingrid and Zalila-Wenkstern, Rym},
      pages = {176--191},
      series = {LNCS},
      volume = {10093},
      year = {2016},
      publisher = {Springer},
      doi = {10.1007/978-3-319-50983-9_10}
    }

18. Intention Selection with Deadlines

    Yuan Yao, Brian Logan,  and John Thangarajah

    In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016) Aug 2016

    Bib DOI

    @inproceedings{Yao//:16c,
      author = {Yao, Yuan and Logan, Brian and Thangarajah, John},
      title = {Intention Selection with Deadlines},
      booktitle = {Proceedings of the 22nd European Conference on
                        Artificial Intelligence ({ECAI}-2016)},
      pages = {1700--1701},
      year = {2016},
      editor = {Kaminka, G. A. and Fox, M. and Bouquet, P. and E., Hullermeijer and F., Dignum and V., Dignum and van Harmalen F.},
      address = {The Hague, The Netherlands},
      month = aug,
      organization = {ECCAI},
      publisher = {IOS Press},
      doi = {10.3233/978-1-61499-672-9-1700}
    }

19. Reasoning about the Executability of Goal-Plan Trees

    Yuan Yao, Lavindra Silva,  and Brian Logan

    In Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers Aug 2016

    Bib DOI

    @inproceedings{Yao//:16d,
      author = {Yao, Yuan and de Silva, Lavindra and Logan, Brian},
      title = {Reasoning about the Executability of Goal-Plan
                        Trees},
      booktitle = {Engineering Multi-Agent Systems: 4th International
                        Workshop, EMAS 2016, Singapore, Singapore, May 9-10,
                        2016, Revised, Selected, and Invited Papers},
      editor = {Baldoni, Matteo and M{\"u}ller, J{\"o}rg P. and Nunes, Ingrid and Zalila-Wenkstern, Rym},
      pages = {176--191},
      year = {2016},
      publisher = {Springer International Publishing},
      isbn = {978-3-319-50983-9},
      doi = {10.1007/978-3-319-50983-9_10}
    }

2015

1. Strategies for Truth Discovery under Resource Constraints

   Anthony Etuk, Timothy J. Norman, Nir Oren,  and Murat Sensoy

   In AAMAS Aug 2015

   Bib

   @inproceedings{etuk15strategies,
     author = {Etuk, Anthony and Norman, Timothy J. and Oren, Nir and Sensoy, Murat},
     title = {Strategies for Truth Discovery under Resource Constraints},
     booktitle = {{AAMAS}},
     pages = {1807--1808},
     publisher = {{ACM}},
     year = {2015}
   }

2. Representative agents and the cold start problem in contract negotiation

   Federico Cerutti, Christopher Burnett,  and Nir Oren

   In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems Aug 2015

   Bib

   @inproceedings{cerutti2015representative,
     title = {Representative agents and the cold start problem in contract negotiation},
     author = {Cerutti, Federico and Burnett, Christopher and Oren, Nir},
     booktitle = {International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems},
     pages = {42--58},
     year = {2015},
     organization = {Springer}
   }

3. Supporting reasoning with different types of evidence in intelligence analysis

   Alice Toniolo, Timothy Norman, Anthony Etuk, Federico Cerutti, Robin Wentao Ouyang, Mani Srivastava, Nir Oren, Timothy Dropps, John A Allen,  and Paul Sullivan

   Aug 2015

   Bib

     title = {Supporting reasoning with different types of evidence in intelligence analysis},
     author = {Toniolo, Alice and Norman, Timothy and Etuk, Anthony and Cerutti, Federico and Ouyang, Robin Wentao and Srivastava, Mani and Oren, Nir and Dropps, Timothy and Allen, John A and Sullivan, Paul},
     year = {2015},
     publisher = {International Foundation for Autonomous Agents and Multiagent Systems}
   }

4. BDI reasoning with normative considerations

   Felipe Meneguzzi, Odinaldo Rodrigues, Nir Oren, Wamberto Weber Vasconcelos,  and Michael Luck

   Eng. Appl. Artif. Intell. Aug 2015

   Bib

   @article{meneguzzi15bdi,
     author = {Meneguzzi, Felipe and Rodrigues, Odinaldo and Oren, Nir and Vasconcelos, Wamberto Weber and Luck, Michael},
     title = {{BDI} reasoning with normative considerations},
     journal = {Eng. Appl. Artif. Intell.},
     volume = {43},
     pages = {127--146},
     year = {2015}
   }

5. Towards Planning Uncertain Commitment Protocols

   Felipe Meneguzzi, Pankaj Telang,  and Neil Yorke-Smith

   In Proceedings of the Thirteenth International Conference on Autonomous Agents and Multiagent Systems Aug 2015

   Bib Bib Abs

   In the context of a business process modeled by commitments, agents enact a protocol by carrying out goals that service their part of commitments. In a competitive or even in a cooperative setting, an agent does not know for sure that its partners will successfully act on their part of the commitments. We introduce uncertainty into a successful recent approach of planning first-order commitment protocols. Probabilities reflect a semantics of the belief of an agent about the successful completion of tasks by other agents within the protocol, capturing notions of trust. We take a deterministic Hierarchical Task Network (HTN) planner, introduce probabilities into the task networks, and derive a protocol enactment which maximizes expected utility from the point of view of one agent. We illustrate our approach on a business scenario in e-commerce.

   @inproceedings{Meneguzzi2015,
     author = {Meneguzzi, Felipe and Telang, Pankaj and Yorke-Smith, Neil},
     booktitle = {Proceedings of the Thirteenth International Conference on Autonomous Agents and Multiagent Systems},
     title = {Towards Planning Uncertain Commitment Protocols},
     pages = {1681--1682},
     date = {2015},
     owner = {meneguzzi},
     timestamp = {2015.05.29},
   }

6. On the Design of Symbolic-Geometric Online Planning Systems

   Lavindra Silva,  and Felipe Meneguzzi

   In 2015 Workshop on Hybrid Reasoning (HR 2015) Aug 2015

   Bib Bib Abs

   We describe an abstract multilayered architecture for the organisation of robotic systems that takes into account some of the key functionalities of existing robotic hardware and software in the literature. We demonstrate a concrete instance of the architecture by combining the popular AgentSpeak agent/robot programming language with standard motion planning algorithms. Our work offers some first insights into developing a more formal agent architecture for programming autonomous robots.

   @inproceedings{SilvaMeneguzzi2015,
     author = {de Silva, Lavindra and Meneguzzi, Felipe},
     booktitle = {2015 Workshop on Hybrid Reasoning (HR 2015)},
     title = {On the Design of Symbolic-Geometric Online Planning Systems},
     pages = {1-8},
     date = {2015},
     owner = {meneguzzi},
     timestamp = {2015.07.28},
   }

7. Symbolic Model-Checking for Resource-Bounded ATL

   Natasha Alechina, Brian Logan, Leonardo Mostarda, Hoang Nga Nguyen,  and Franco Raimondi

   In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) May 2015

   Bib

   @inproceedings{Alechina//:15b,
     author = {Alechina, Natasha and Logan, Brian and Mostarda, Leonardo and Nguyen, Hoang Nga and Raimondi, Franco},
     title = {Symbolic Model-Checking for Resource-Bounded {ATL}},
     booktitle = {Proceedings of the 14th International Conference on
                       Autonomous Agents and Multiagent Systems ({AAMAS}
                       2015)},
     editor = {Bordini, Rafael and Elkind, Edith and Weiss, Gerhard and Yolu, Pinar},
     pages = {1809--1810},
     address = {Istanbul, Turkey},
     year = {2015},
     month = may,
     organization = {IFAAMAS},
     publisher = {IFAAMAS}
   }

8. Symbolic Model-Checking for One-Resource RB+-ATL

   Natasha Alechina, Brian Logan, Hoang Nga Nguyen,  and Franco Raimondi

   In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) Jul 2015

   Bib

   @inproceedings{Alechina//:15d,
     author = {Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco},
     title = {Symbolic Model-Checking for One-Resource {RB+-ATL}},
     booktitle = {Proceedings of the 24th International Joint
                       Conference on Artificial Intelligence ({IJCAI}
                       2015)},
     editor = {Yang, Qiang},
     pages = {1069--1075},
     address = {Buenos Aires, Argentina},
     year = {2015},
     month = jul,
     organization = {IJCAI},
     publisher = {{AAAI} Press}
   }

9. On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

   Natasha Alechina, Nils Bulling, Brian Logan,  and Hoang Nga Nguyen

   In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) Jul 2015

   Bib

   @inproceedings{Alechina//:15e,
     author = {Alechina, Natasha and Bulling, Nils and Logan, Brian and Nguyen, Hoang Nga},
     title = {On the Boundary of (Un)Decidability: Decidable
                       Model-Checking for a Fragment of Resource Agent
                       Logic},
     booktitle = {Proceedings of the 24th International Joint
                       Conference on Artificial Intelligence ({IJCAI}
                       2015)},
     editor = {Yang, Qiang},
     pages = {1494--1501},
     address = {Buenos Aires, Argentina},
     year = {2015},
     month = jul,
     organization = {IJCAI},
     publisher = {{AAAI} Press}
   }

10. Practical Run-Time Norm Enforcement with Bounded Lookahead

    Natasha Alechina, Nils Bulling, Mehdi Dastani,  and Brian Logan

    In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) May 2015

    Bib

    @inproceedings{Alechina//:15a,
      author = {Alechina, Natasha and Bulling, Nils and Dastani, Mehdi and Logan, Brian},
      title = {Practical Run-Time Norm Enforcement with Bounded Lookahead},
      booktitle = {Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2015)},
      editor = {Bordini, Rafael and Elkind, Edith and Weiss, Gerhard and Yolum, Pinar},
      pages = {443--451},
      address = {Istanbul, Turkey},
      year = {2015},
      month = may,
      organization = {IFAAMAS},
      publisher = {IFAAMAS}
    }

2014

1. Supporting Trust Assessment and Decision Making in Coalitions

   Chris Burnett, Timothy J. Norman, Katia P. Sycara,  and Nir Oren

   IEEE Intell. Syst. May 2014

   Bib

     author = {Burnett, Chris and Norman, Timothy J. and Sycara, Katia P. and Oren, Nir},
     title = {Supporting Trust Assessment and Decision Making in Coalitions},
     journal = {{IEEE} Intell. Syst.},
     volume = {29},
     number = {4},
     pages = {18--24},
     year = {2014}
   }

2. Preferences and unrestricted rebut

   Martinus Wigbertus Antonius Caminada, Sanjay Modgil,  and Nir Oren

   Computational Models of Argument May 2014

   Bib

   @article{caminada2014preferences,
     title = {Preferences and unrestricted rebut},
     author = {Caminada, Martinus Wigbertus Antonius and Modgil, Sanjay and Oren, Nir},
     journal = {Computational Models of Argument},
     year = {2014},
     publisher = {IOS Press}
   }

3. Scrutable plan enactment via argumentation and natural language generation

   Martin W. A. Caminada, Roman Kutlák, Nir Oren,  and Wamberto Weber Vasconcelos

   In International conference on Autonomous Agents and Multi-Agent Systems, AAMAS ’14, Paris, France, May 5-9, 2014 May 2014

   Bib

   @inproceedings{DBLP:conf/atal/CaminadaKOV14,
     author = {Caminada, Martin W. A. and Kutl{\'{a}}k, Roman and Oren, Nir and Vasconcelos, Wamberto Weber},
     editor = {Bazzan, Ana L. C. and Huhns, Michael N. and Lomuscio, Alessio and Scerri, Paul},
     title = {Scrutable plan enactment via argumentation and natural language generation},
     booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
                    {AAMAS} '14, Paris, France, May 5-9, 2014},
     pages = {1625--1626},
     publisher = {{IFAAMAS/ACM}},
     year = {2014},
     url = {http://dl.acm.org/citation.cfm?id=2616095},
     timestamp = {Mon, 15 Aug 2016 18:48:07 +0200},
     biburl = {https://dblp.org/rec/conf/atal/CaminadaKOV14.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

4. Decidable Model-Checking for a Resource Logic with Production of Resources

   Natasha Alechina, Brian Logan, Hoang Nga Nguyen,  and Franco Raimondi

   In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) Aug 2014

   Bib

   @inproceedings{Alechina//:14c,
     author = {Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco},
     title = {Decidable Model-Checking for a Resource Logic with
                       Production of Resources},
     editor = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry},
     booktitle = {Proceedings of the 21st European Conference on
                       Artificial Intelligence ({ECAI}-2014)},
     pages = {9--14},
     year = {2014},
     address = {Prague, Czech Republic},
     month = aug,
     organization = {ECCAI},
     publisher = {IOS Press}
   }

5. Verifying Heterogeneous Multi-Agent Programs

   Thu Trang Doan, Yuan Yao, Natasha Alechina,  and Brian Logan

   In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) May 2014

   Bib

   @inproceedings{Doan//:14a,
     author = {Doan, Thu Trang and Yao, Yuan and Alechina, Natasha and Logan, Brian},
     title = {Verifying Heterogeneous Multi-Agent Programs},
     booktitle = {Proceedings of the 13th International Conference on
                       Autonomous Agents and Multiagent Systems ({AAMAS}
                       2014)},
     year = {2014},
     editor = {Lomuscio, Alessio and Scerri, Paul and Bazzan, Ana and Huhns, Michael},
     pages = {149--156},
     address = {Paris, France},
     month = may,
     organization = {IFAAMAS}
   }

6. SP-MCTS-based Intention Scheduling for BDI Agents

   Yuan Yao, Brian Logan,  and John Thangarajah

   In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) Aug 2014

   Bib

   @inproceedings{Yao//:14a,
     author = {Yao, Yuan and Logan, Brian and Thangarajah, John},
     title = {{SP-MCTS}-based Intention Scheduling for {BDI}
                       Agents},
     booktitle = {Proceedings of the 21st European Conference on
                       Artificial Intelligence ({ECAI}-2014)},
     editor = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry},
     pages = {1133--1134},
     year = {2014},
     address = {Prague, Czech Republic},
     month = aug,
     organization = {ECCAI},
     publisher = {IOS Press}
   }

7. Norm Approximation for Imperfect Monitors

   Natasha Alechina, Mehdi Dastani,  and Brian Logan

   In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) May 2014

   Bib

   @inproceedings{Alechina//:14a,
     author = {Alechina, Natasha and Dastani, Mehdi and Logan, Brian},
     title = {Norm Approximation for Imperfect Monitors},
     booktitle = {Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2014)},
     year = {2014},
     editor = {Lomuscio, Alessio and Scerri, Paul and Bazzan, Ana and Huhns, Michael},
     pages = {117--124},
     address = {Paris, France},
     month = may,
     organization = {IFAAMAS}
   }

2013

1. Norm Identification through Plan Recognition

   Nir Oren,  and Felipe Meneguzzi

   In 15th International Workshop on Coordination, Organizations, Institutions, and Norms May 2013

   Bib Bib Abs

   Societal rules, as exemplified by norms, aim to provide a degree of behavioural stability to multi-agent societies. Norms regulate a society using the deontic concepts of permissions, obligations and prohibitions to specify what can, must and must not occur in a society. Many implementations of normative systems assume various combinations of the following assumptions: that the set of norms is static and defined at design time; that agents joining a society are instantly informed of the complete set of norms; that the set of agents within a society does not change; and that all agents are aware of the existing norms. When any one of these assumptions is dropped, agents need a mechanism to identify the set of norms currently present within a society, or risk unwittingly violating the norms. In this paper, we develop a norm identification mechanism that uses a combination of parsing-based plan recognition and Hierarchical Task Network (HTN) planning mechanisms, which operates by analysing the actions performed by other agents. While our basic mechanism cannot learn in situations where norm violations take place, we describe an extension which is able to operate in the presence of violations.

   @inproceedings{Oren2013:norm-detect,
     author = {Oren, Nir and Meneguzzi, Felipe},
     title = {Norm Identification through Plan Recognition},
     booktitle = {15th International Workshop on Coordination, Organizations, Institutions, and Norms},
     year = {2013},
     pages = {161-175},
     owner = {meneguzzi},
     timestamp = {2013.05.06},
   }

2. Hierarchical Planning about Goals and Commitments

   Pankaj R Telang, Felipe Meneguzzi,  and Munindar P Singh

   In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems May 2013

   Bib

   @inproceedings{TelangMeneguzziSingh2013,
     author = {Telang, Pankaj R and Meneguzzi, Felipe and Singh, Munindar P},
     booktitle = {Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems},
     title = {Hierarchical Planning about Goals and Commitments},
     year = {2013},
     url = {https://dl.acm.org/doi/abs/10.5555/2484920.2485059}
   }

3. A First-Order Formalization of Commitments and Goals

   Felipe Meneguzzi, Pankaj R Telang,  and Munindar P Singh

   In Proceedings of the 27th AAAI Conference on Artificial Intelligence May 2013

   Bib

   @inproceedings{MeneguzziTelangSingh2013,
     author = {Meneguzzi, Felipe and Telang, Pankaj R and Singh, Munindar P},
     booktitle = {Proceedings of the 27th AAAI Conference on Artificial Intelligence},
     title = {A First-Order Formalization of Commitments and Goals},
     year = {2013}
   }

4. Reasoning about Normative Update

   Natasha Alechina, Mehdi Dastani,  and Brian Logan

   In Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI) Aug 2013

   Bib

   @inproceedings{Alechina//:13c,
     author = {Alechina, Natasha and Dastani, Mehdi and Logan, Brian},
     title = {Reasoning about Normative Update},
     booktitle = {Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence ({IJCAI})},
     pages = {20--26},
     year = {2013},
     editor = {Rossi, Francesca},
     address = {Beijing, China},
     month = aug,
     organization = {IJCAI},
     publisher = {{AAAI} Press}
   }

2012

1. Sub-Delegation and Trust

   Chris Burnett,  and Nir Oren

   In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3 Aug 2012

   Bib Bib Abs

   Trust mechanisms can allow an agent to identify the most trustworthy entity to which a task should be delegated. Now this entity may further delegate the task, ultimately resulting in a delegation chain representing the sub-delegation process. Such delegation chains present a problem for current trust evaluation mechanisms, as they typically which reward or penalise a single agent rather than sharing responsibility among all members of the delegation chain. As a result, decisions made on such incorrect trust values would not be optimal, leading to degraded system performance. In this paper we investigate the effects of sub-delegation on a probabilistic trust model and propose a model of weighting trust updates based on shared responsibility. We evaluate this model in the context of a simulated multi-agent system and describe how different weighting strategies can affect probabilistic trust updates when sub-delegation is possible.

   @inproceedings{burnett12subdelegation,
     author = {Burnett, Chris and Oren, Nir},
     title = {Sub-Delegation and Trust},
     year = {2012},
     isbn = {0981738133},
     publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
     address = {Richland, SC},
     booktitle = {Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3},
     pages = {1359–1360},
     numpages = {2},
     keywords = {trust, delegation chains},
     location = {Valencia, Spain},
     series = {AAMAS '12}
   }

2011

1. Probabilistic argumentation frameworks

   Hengfei Li, Nir Oren,  and Timothy J Norman

   In International Workshop on Theorie and Applications of Formal Argumentation Aug 2011

   Bib

   @inproceedings{li2011probabilistic,
     title = {Probabilistic argumentation frameworks},
     author = {Li, Hengfei and Oren, Nir and Norman, Timothy J},
     booktitle = {International Workshop on Theorie and Applications of Formal Argumentation},
     pages = {1--16},
     year = {2011},
     organization = {Springer}
   }

2. Acting on norm constrained plans

   Nir Oren, Wamberto Vasconcelos, Felipe Meneguzzi,  and Michael Luck

   In International Workshop on Computational Logic in Multi-Agent Systems Aug 2011

   Bib

   @inproceedings{oren2011acting,
     title = {Acting on norm constrained plans},
     author = {Oren, Nir and Vasconcelos, Wamberto and Meneguzzi, Felipe and Luck, Michael},
     booktitle = {International Workshop on Computational Logic in Multi-Agent Systems},
     pages = {347--363},
     year = {2011},
     organization = {Springer}
   }

3. Acting on Norm Constrained Plans

   Nir Oren, Wamberto Vasconcelos, Felipe Meneguzzi,  and Michael Luck

   In Computational Logic in Multi-Agent Systems, 11th International Workshop Aug 2011

   Bib Bib Abs

   The behaviour of deliberative agents is often guided by a plan library designed to achieve goals given certain environmental conditions. Plans in these plan libraries are designed to achieve individual goals, and cannot possibly account for all possible variations of restrictions in the societies within which these agents must operate. These restrictions, captured through \emphnorms, include obligations, prohibitions, and permissions. Unlike traditional planning restrictions, norms can often be contradictory and impossible to achieve simultaneously, necessitating some form of compromise. In this paper we describe a technique for taking norms into consideration when deciding how to execute a plan. Our norms are constraint based, allowing for fine-grained control over actions. Our technique allows for reasoning about the interactions between norms, and resolves conflict by selecting actions where the cost of violating one set of norms is outweighed by the reward obtained in complying with another.

   @inproceedings{Oren2011:identifying,
     author = {Oren, Nir and Vasconcelos, Wamberto and Meneguzzi, Felipe and Luck, Michael},
     title = {Acting on Norm Constrained Plans},
     booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop},
     year = {2011},
     number = {6814},
     series = {LNCS},
     pages = {347-363},
     owner = {meneguzzi},
     timestamp = {2011.05.07},
   }

2010

1. Graphically explaining norms

   Madalina Croitoru, Nir Oren, Simon Miles,  and Michael Luck

   In 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 Aug 2010

   Bib

   @inproceedings{DBLP:conf/atal/CroitoruOML10,
     author = {Croitoru, Madalina and Oren, Nir and Miles, Simon and Luck, Michael},
     editor = {van der Hoek, Wiebe and Kaminka, Gal A. and Lesp{\'{e}}rance, Yves and Luck, Michael and Sen, Sandip},
     title = {Graphically explaining norms},
     booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
                    {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
     pages = {1405--1406},
     publisher = {{IFAAMAS}},
     year = {2010},
     url = {https://dl.acm.org/citation.cfm?id=1838404},
     timestamp = {Fri, 30 Nov 2018 02:24:55 +0100},
     biburl = {https://dblp.org/rec/conf/atal/CroitoruOML10.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

2. Resource-bounded alternating-time temporal logic

   Natasha Alechina, Brian Logan, Hoang Nga Nguyen,  and Abdur Rakib

   In Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) May 2010

   Bib

   @inproceedings{Alechina//:10a,
     author = {Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Rakib, Abdur},
     title = {Resource-bounded alternating-time temporal logic},
     booktitle = {Proceedings of the Ninth International Conference on
                       Autonomous Agents and Multiagent Systems ({AAMAS}
                       2010)},
     pages = {481--488},
     year = {2010},
     editor = {van der Hoek, Wiebe and Kaminka, Gal and Lesp\'{e}rance, Yves and Luck, Michael and Sen, Sandip},
     address = {Toronto, Canada},
     month = may,
     organization = {IFAAMAS},
     publisher = {IFAAMAS}
   }

2009

1. A Logic for Coalitions with Bounded Resources

   Natasha Alechina, Brian Logan, Hoang Nga Nguyen,  and Abdur Rakib

   In Proceedings of the Twenty First International Joint Conference on Artificial Intelligence (IJCAI 2009) Jul 2009

   Bib

   @inproceedings{Alechina//:09b,
     author = {Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Rakib, Abdur},
     title = {A Logic for Coalitions with Bounded Resources},
     booktitle = {Proceedings of the Twenty First International Joint
                       Conference on Artificial Intelligence ({IJCAI} 2009)},
     pages = {659--664},
     year = {2009},
     editor = {Boutilier, Craig},
     volume = {2},
     address = {Pasadena CA, USA},
     month = jul,
     organization = {IJCAI/AAAI},
     publisher = {AAAI Press}
   }

2008

1. Towards a formalisation of electronic contracting environments

   Nir Oren, Sofia Panagiotidi, Javier Vázquez-Salceda, Sanjay Modgil, Michael Luck,  and Simon Miles

   In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems Jul 2008

   Bib

   @inproceedings{oren2008towards,
     title = {Towards a formalisation of electronic contracting environments},
     author = {Oren, Nir and Panagiotidi, Sofia and V{\'a}zquez-Salceda, Javier and Modgil, Sanjay and Luck, Michael and Miles, Simon},
     booktitle = {International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems},
     pages = {156--171},
     year = {2008},
     organization = {Springer}
   }

2. Leveraging new plans in AgentSpeak(PL)

   Felipe Meneguzzi,  and Michael Luck

   In Proceedings of the Sixth Workshop on Declarative Agent Languages Jul 2008

   Bib Bib Abs

   In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are often self-contained procedures with an associated \emphtriggering event and \empha context condition, while any further information about the consequences of executing a plan is absent. However, agents designed using such an approach have limited flexibility at runtime, and rely on the designer’s ability to foresee all relevant situations an agent might have to handle. In order to overcome this limitation, we have created AgentSpeak(PL), an interpreter capable of performing state-space planning to generate new high-level plans. As the planning module creates new plans, the plan library is expanded, improving performance over time. However, for new plans to be useful in the long run, it is critical that the \emphcontext condition associated with new plans is carefully generated. In this paper we describe a plan reuse technique aimed at improving an agent’s runtime performance by deriving optimal context conditions for new plans, allowing an agent to reuse generated plans as much as possible.

   @inproceedings{Meneguzzi2008a,
     author = {Meneguzzi, Felipe and Luck, Michael},
     title = {Leveraging new plans in {AgentSpeak(PL)}},
     booktitle = {Proceedings of the Sixth Workshop on Declarative Agent Languages},
     year = {2008},
     editor = {Baldoni, Matteo and Son, Tran Cao and van Riemsdijk, M. Birna and Winikoff, Michael},
     pages = {63-78},
     owner = {meneguzz},
     timestamp = {2008.06.04}
   }

3. Verifying time, memory and communication bounds in systems of reasoning agents

   Natasha Alechina, Brian Logan, Hoang Nga Nguyen,  and Abdur Rakib

   In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) May 2008

   Bib

   @inproceedings{Alechina//:08a,
     author = {Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Rakib, Abdur},
     title = {Verifying time, memory and communication bounds in
                       systems of reasoning agents},
     booktitle = {Proceedings of the Seventh International Conference
                       on Autonomous Agents and Multiagent Systems ({AAMAS}
                       2008)},
     pages = {736--743},
     year = {2008},
     editor = {Padgham, Lin and Parkes, David and M{\"u}ller, J{\"o}rg and Parsons, Simon},
     volume = {2},
     address = {Estoril, Portugal},
     month = may,
     organization = {IFAAMAS},
     publisher = {IFAAMAS},
     isbn = {978-0-981-7381-0-9}
   }

2006

1. Verifying space and time requirements for resource-bounded agents

   Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan,  and Luciano Serafini

   In Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006) May 2006

   Bib

   @inproceedings{Alechina//:06f,
     author = {Alechina, Natasha and Bertoli, Piergiorgio and Ghidini, Chiara and Jago, Mark and Logan, Brian and Serafini, Luciano},
     title = {Verifying space and time requirements for
                       resource-bounded agents},
     booktitle = {Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence ({MoChArt}-2006)},
     year = {2006},
     pages = {16--30},
     editor = {Edelkamp, Stefan and Lomuscio, Alessio},
     location = {Riva del Garda, Italy},
     dates = {Aug 29}
   }

2. Model-checking memory requirements of resource-bounded reasoners

   Alex Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan,  and Luciano Serafini

   In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006) May 2006

   Bib

   @inproceedings{Albore//:06a,
     author = {Albore, Alex and Alechina, Natasha and Bertoli, Piergiorgio and Ghidini, Chiara and Logan, Brian and Serafini, Luciano},
     title = {Model-checking memory requirements of resource-bounded
                       reasoners},
     booktitle = {Proceedings of the Twenty-First National Conference on
                       Artificial Intelligence ({AAAI} 2006)},
     year = {2006},
     pages = {213--218},
     location = {Boston (Mass), USA},
     publisher = {AAAI Press},
     isbn = {978-1-57735-279-2}
   }