Kim Bauters

According to our database, Kim Bauters authored at least 27 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Doing cybersecurity at home: A human-centred approach for mitigating attacks in AI-enabled home devices.

Asimina Vasalou, Laura Benton, Ana Luisa Serta, Andrea Gauthier, Ceylan Besevli, Sarah Turner, Rea Gill, Rachael Payler, Etienne B. Roesch, Kevin McAreavey, Kim Bauters, Weiru Liu, Hsueh-Ju Chen, Dennis Ivory, Manos Panaousis, Georgios Loukas

Comput. Secur., 2025

2024

A qualitative field study on explainable AI for lay users subjected to AI cyberattacks.

Kevin McAreavey, Weiru Liu, Kim Bauters, Dennis Ivory, George Loukas, Manos Panaousis, Hsueh-Ju Chen, Rea Gill, Rachael Payler, Asimina Vasalou

CoRR, 2024

2022

A Smart Home Testbed for Evaluating XAI with Non-experts.

Kevin McAreavey, Kim Bauters, Weiru Liu

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2019

Intention Interleaving Via Classical Replanning.

Mengwei Xu, Kevin McAreavey, Kim Bauters, Weiru Liu

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018

A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems.

Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

A Framework for Plan Library Evolution in BDI Agent Systems.

Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017

Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments.

Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong, Lluís Godo Lacasa, Carles Sierra

J. Artif. Intell. Res., 2017

Exact and heuristic methods for solving Boolean games.

Sofie De Clercq, Kim Bauters, Steven Schockaert, Mihail Mihaylov, Ann Nowé, Martine De Cock

Auton. Agents Multi Agent Syst., 2017

Resource-Based Dynamic Rewards for Factored MDPs.

Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions.

Kevin McAreavey, Kim Bauters, Weiru Liu, Jun Hong

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

A Two-Stage Online Approach for Collaborative Multi-agent Planning Under Uncertainty.

Iván Palomares, Kim Bauters, Weiru Liu, Jun Hong

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

A Collaborative Multiagent Framework Based on Online Risk-Aware Planning and Decision-Making.

Ivan Palomares, Ronan Killough, Kim Bauters, Weiru Liu, Jun Hong

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Risk-aware Planning in BDI Agents.

Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs.

Kim Bauters, Weiru Liu, Lluís Godo

Proceedings of the Foundations of Information and Knowledge Systems, 2016

2015

Characterizing and extending answer set semantics using possibility theory.

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Theory Pract. Log. Program., 2015

2014

Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions.

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Int. J. Approx. Reason., 2014

CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information.

Kim Bauters, Weiru Liu, Jun Hong, Carles Sierra, Lluís Godo

Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, 2014

Using Answer Set Programming for Solving Boolean Games.

Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Syntactic Approach to Revising Epistemic States with Uncertain Inputs.

Kim Bauters, Weiru Liu, Jun Hong, Lluís Godo, Carles Sierra

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Decentralized Computation of Pareto Optimal Pure Nash Equilibria of Boolean Games with Privacy Concerns .

Sofie De Clercq, Kim Bauters, Steven Schockaert, Mihail Mihaylov, Martine De Cock, Ann Nowé

Proceedings of the ICAART 2014, 2014

2013

Epistemic extensions of answer set programming.

Kim Bauters

PhD thesis, 2013

Expressiveness of communication in answer set programming.

Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock

Theory Pract. Log. Program., 2013

2012

Possible and Necessary Answer Sets of Possibilistic Answer Set Programs.

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

Weak and Strong Disjunction in Possibilistic ASP.

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

Communicating ASP and the Polynomial Hierarchy.

Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

Possibilistic Answer Set Programming Revisited.

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Proceedings of the UAI 2010, 2010

Communicating Answer Set Programs.

Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010