Kim Bauters

30 papers A* 1A 3B 7Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Doing cybersecurity at home: A human-centred approach for mitigating attacks in AI-enabled home devices.
Comput. Secur.
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
2024 J jnl
A qualitative field study on explainable AI for lay users subjected to AI cyberattacks.
CoRR
Kevin McAreavey, Weiru Liu, Kim Bauters, Dennis Ivory, George Loukas, Manos Panaousis, Hsueh-Ju Chen, Rea Gill, Rachael Payler, Asimina Vasalou
2022 — conf
A Smart Home Testbed for Evaluating XAI with Non-experts.
ICAART (3)
Kevin McAreavey, Kim Bauters, Weiru Liu
2019 B conf
Intention Interleaving Via Classical Replanning.
ICTAI
Mengwei Xu, Kevin McAreavey, Kim Bauters, Weiru Liu
2018 — conf
A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems.
SUM
Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu
2018 B conf
A Framework for Plan Library Evolution in BDI Agent Systems.
ICTAI
Mengwei Xu, Kim Bauters, Kevin McAreavey, Weiru Liu
2017 J jnl
Exact and heuristic methods for solving Boolean games.
Auton. Agents Multi Agent Syst.
Sofie De Clercq, Kim Bauters, Steven Schockaert, Mihail Mihaylov, Ann Nowé, Martine De Cock
2017 J jnl
Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments.
J. Artif. Intell. Res.
Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong, Lluís Godo Lacasa, Carles Sierra
2017 B conf
Resource-Based Dynamic Rewards for Factored MDPs.
ICTAI
Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong
2017 A conf
The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions.
AAMAS
Kevin McAreavey, Kim Bauters, Weiru Liu, Jun Hong
2016 B conf
A Collaborative Multiagent Framework Based on Online Risk-Aware Planning and Decision-Making.
ICTAI
Ivan Palomares, Ronan Killough, Kim Bauters, Weiru Liu, Jun Hong
2016 — conf
A Two-Stage Online Approach for Collaborative Multi-agent Planning Under Uncertainty.
SUM
Iván Palomares, Kim Bauters, Weiru Liu, Jun Hong
2016 — conf
Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs.
FoIKS
Kim Bauters, Weiru Liu, Lluís Godo
2016 — conf
Risk-aware Planning in BDI Agents.
ICAART (2)
Ronan Killough, Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong
2015 J jnl
Characterizing and extending answer set semantics using possibility theory.
Theory Pract. Log. Program.
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2014 B conf
A Syntactic Approach to Revising Epistemic States with Uncertain Inputs.
ICTAI
Kim Bauters, Weiru Liu, Jun Hong, Lluís Godo, Carles Sierra
2014 A conf
CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information.
UAI
Kim Bauters, Weiru Liu, Jun Hong, Carles Sierra, Lluís Godo
2014 — conf
Decentralized Computation of Pareto Optimal Pure Nash Equilibria of Boolean Games with Privacy Concerns .
ICAART (2)
Sofie De Clercq, Kim Bauters, Steven Schockaert, Mihail Mihaylov, Martine De Cock, Ann Nowé
2014 J jnl
Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions.
Int. J. Approx. Reason.
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2014 A* conf
Using Answer Set Programming for Solving Boolean Games.
KR
Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé
2013 J jnl
Characterizing and Extending Answer Set Semantics using Possibility Theory.
CoRR
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2013 — —
Epistemic extensions of answer set programming.
Kim Bauters
2013 J jnl
Expressiveness of communication in answer set programming.
Theory Pract. Log. Program.
Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock
2012 J jnl
Possibilistic Answer Set Programming Revisited
CoRR
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2012 B conf
Possible and Necessary Answer Sets of Possibilistic Answer Set Programs.
ICTAI
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2011 B conf
Communicating ASP and the Polynomial Hierarchy.
LPNMR
Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 J jnl
Expressiveness of Communication in Answer Set Programming
CoRR
Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 — conf
Weak and Strong Disjunction in Possibilistic ASP.
SUM
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir
2010 — conf
Communicating Answer Set Programs.
ICLP (Technical Communications)
Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2010 A conf
Possibilistic Answer Set Programming Revisited.
UAI
Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir