Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. - Arjen Hommersom; Peter J. F. Lucas; Michael Balser (JELIA, 2004)

Toward Reasoning about Security Protocols: A Semantic Approach. - Arjen Hommersom; John-Jules Ch. Meyer; Erik P. de Vink (LCMAS, 2004)

Update Semantics of Security Protocols. - Arjen Hommersom; John-Jules Ch. Meyer; Erik P. de Vink (Synth., 2004)

A History-Based Algebra for Quality-Checking Medical Guidelines. - Arjen Hommersom; Peter J. F. Lucas; Patrick van Bommel; Theo P. van der Weide (AIME, 2005)

Argumentation Systems for History-Based Construction of Medical Guidelines. - Arjen Hommersom; Peter J. F. Lucas; Patrick van Bommel (BNAIC, 2005)

Verification of Medical Guidelines Using Task Execution with Background Knowledge. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (ECAI, 2006)

The Role of Model Checking in Critiquing Based on Clinical Guidelines. - Perry Groot; Arjen Hommersom; Peter J. F. Lucas; Radu Serban; Annette ten Teije; Frank van Harmelen (AIME, 2007)

Actions with Failures in Interval Temporal Logic. - Arjen Hommersom; Peter J. F. Lucas (CLIMA, 2007)

Combining task execution and background knowledge for the verification of medical guidelines. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (Knowl. Based Syst., 2007)

Verification of Medical Guidelines Using Background Knowledge in Task Networks. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (IEEE Trans. Knowl. Data Eng., 2007)

Adaptation of Clinical Practice Guidelines. - Perry Groot; Arjen Hommersom; Peter J. F. Lucas (Computer-based Medical Guidelines and Protocols, 2008)

Formal Methods for Verification of Clinical Practice Guidelines. - Arjen Hommersom; Perry Groot; Michael Balser; Peter J. F. Lucas (Computer-based Medical Guidelines and Protocols, 2008)

A Constraint-based Approach to Medical Guidelines and Protocols. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Mar Marcos; Begoña Martínez-Salvador (Computer-based Medical Guidelines and Protocols, 2008)

Checking the quality of clinical guidelines using automated reasoning tools. - Arjen Hommersom; Peter J. F. Lucas; Patrick van Bommel (Theory Pract. Log. Program., 2008)

Learning Parameters of Chain Logic Theories. - Arjen Hommersom; Nivea de Carvalho Ferreira; Peter J. F. Lucas (MLG/SRL@ILP, 2009)

Integrating Logical Reasoning and Probabilistic Chain Graphs. - Arjen Hommersom; Nivea de Carvalho Ferreira; Peter J. F. Lucas (ECML/PKDD (1), 2009)

Applying Bayesian networks for intelligent adaptable printing systems. - Arjen Hommersom; Peter J. F. Lucas; René Waarsing; Pieter W. M. Koopman (WISES, 2009)

Using model checking for critiquing based on clinical guidelines. - Perry Groot; Arjen Hommersom; Peter J. F. Lucas; Robbert-Jan Merk; Annette ten Teije; Frank van Harmelen; Radu Serban (Artif. Intell. Medicine, 2009)

Toward Probabilistic Analysis of Guidelines. - Arjen Hommersom (KR4HC, 2010)

Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive. - Arjen Hommersom; Peter J. F. Lucas (ECAI, 2010)

Generalising the Interaction Rules in Probabilistic Logic. - Arjen Hommersom; Peter J. F. Lucas (IJCAI, 2011)

Applying Bayesian Networks for Intelligent Adaptable Printing Systems. - Arjen Hommersom; Peter J. F. Lucas; René Waarsing; Pieter W. M. Koopman (Solutions on Embedded Systems, 2011)

Probabilistic Causal Models of Multimorbidity Concepts. - Martijn Lappenschaar; Arjen Hommersom; Peter J. F. Lucas (AMIA, 2012)

Discovering Probabilistic Structures of Healthcare Processes. - Arjen Hommersom; Sicco Verwer; Peter J. F. Lucas (KR4HC/ProHealth, 2013)

Understanding the Co-occurrence of Diseases Using Structure Learning. - Martijn Lappenschaar; Arjen Hommersom; Joep Lagro; Peter J. F. Lucas (AIME, 2013)

MoSHCA - my mobile and smart health care assistant. - Arjen Hommersom; Peter J. F. Lucas; Marina Velikova; Giso H. Dal; Joaquim Bastos; Jonathan Rodriguez 001; Marleen Germs; Henk Schwietert (Healthcom, 2013)

Inference for a New Probabilistic Constraint Logic. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas; Marina Velikova; Pieter W. M. Koopman (IJCAI, 2013)

A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks. - Steffen Michels; Marina Velikova; Arjen Hommersom; Peter J. F. Lucas (SMC, 2013)

Probabilistic problem solving in biomedicine. - Arjen Hommersom; Peter J. F. Lucas (Artif. Intell. Medicine, 2013)

Multilevel Bayesian networks for the analysis of hierarchical health care data. - Martijn Lappenschaar; Arjen Hommersom; Peter J. F. Lucas; Joep Lagro; Stefan Visscher (Artif. Intell. Medicine, 2013)

Imprecise Probabilistic Horn Clause Logic. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas; Marina Velikova (ECAI, 2014)

Causal Independence Models for Continuous Time Bayesian Networks. - Maarten van der Heijden; Arjen Hommersom (Probabilistic Graphical Models, 2014)

Qualitative chain graphs and their application. - Martijn Lappenschaar; Arjen Hommersom; Peter J. F. Lucas (Int. J. Approx. Reason., 2014)

A Hybrid Approach to the Verification of Computer Interpretable Guidelines. - Luca Anselma; Alessio Bottrighi; Laura Giordano 001; Arjen Hommersom; Gianpaolo Molino; Stefania Montani; Paolo Terenziani; Mauro Torchio (Foundations of Biomedical Knowledge Representation, 2015)

Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond. - Luca Anselma; Alessio Bottrighi; Arjen Hommersom; Paolo Terenziani; Anthony Hunter (Foundations of Biomedical Knowledge Representation, 2015)

An Introduction to Knowledge Representation and Reasoning in Healthcare. - Arjen Hommersom; Peter J. F. Lucas (Foundations of Biomedical Knowledge Representation, 2015)

How to Read the Book "Foundations of Biomedical Knowledge Representation". - Peter J. F. Lucas; Arjen Hommersom (Foundations of Biomedical Knowledge Representation, 2015)

Mining Hierarchical Pathology Data Using Inductive Logic Programming. - Tim Op De Beéck; Arjen Hommersom; Jan Van Haaren; Maarten van der Heijden; Jesse Davis; Peter J. F. Lucas; Lucy Overbeek; Iris Nagtegaal (AIME, 2015)

A new probabilistic constraint logic programming language based on a generalised distribution semantics. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas; Marina Velikova (Artif. Intell., 2015)

Modeling the Interactions between Discrete and Continuous Causal Factors in Bayesian Networks. - Peter J. F. Lucas; Arjen Hommersom (Int. J. Intell. Syst., 2015)

Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas (IJCAI, 2016)

Toward Computing Conflict-Based Diagnoses in Probabilistic Logic Programming. - Arjen Hommersom; Marcos L. P. Bueno (PLP@ILP, 2016)

Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case. - Marcos L. P. Bueno; Arjen Hommersom; Peter J. F. Lucas; Sicco Verwer; Alexis Linard (Probabilistic Graphical Models, 2016)

Learning Parameters of Hybrid Time Bayesian Networks. - Manxia Liu; Arjen Hommersom; Maarten van der Heijden; Peter J. F. Lucas (Probabilistic Graphical Models, 2016)

Measuring Adverse Drug Effects on Multimorbity using Tractable Bayesian Networks. - Jessa Bekker; Arjen Hommersom; Martijn Lappenschaar; Jesse Davis (CoRR, 2016)

Understanding disease processes by partitioned dynamic Bayesian networks. - Marcos L. P. Bueno; Arjen Hommersom; Peter J. F. Lucas; Martijn Lappenschaar; Joost G. E. Janzing (J. Biomed. Informatics, 2016)

A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks. - Simon Rabinowicz; Arjen Hommersom; Raphaela Butz; Matt Williams (AIME, 2017)

An improved diagnostic method for probabilistic consistency-based diagnosis. - Marcos Luiz de Paula Bueno; Arjen Hommersom; Peter J. F. Lucas (DX, 2017)

Asymmetric hidden Markov models. - Marcos L. P. Bueno; Arjen Hommersom; Peter J. F. Lucas; Alexis Linard (Int. J. Approx. Reason., 2017)

Hybrid time Bayesian networks. - Manxia Liu; Arjen Hommersom; Maarten van der Heijden; Peter J. F. Lucas (Int. J. Approx. Reason., 2017)

Exploiting Experts' Knowledge for Structure Learning of Bayesian Networks. - Hossein Amirkhani; Mohammad Rahmati; Peter J. F. Lucas; Arjen Hommersom (IEEE Trans. Pattern Anal. Mach. Intell., 2017)

Denial-of-Service Attacks on LoRaWAN. - Eef van Es; Harald P. E. Vranken; Arjen Hommersom (ARES, 2018)

Discovering software vulnerabilities using data-flow analysis and machine learning. - Jorrit Kronjee; Arjen Hommersom; Harald P. E. Vranken (ARES, 2018)

Representing Hypoexponential Distributions in Continuous Time Bayesian Networks. - Manxia Liu; Fabio Stella; Arjen Hommersom; Peter J. F. Lucas (IPMU (3), 2018)

Making Continuous Time Bayesian Networks More Flexible. - Manxia Liu; Fabio Stella; Arjen Hommersom; Peter J. F. Lucas (PGM, 2018)

Modeling the Dynamics of Multiple Disease Occurrence by Latent States. - Marcos L. P. Bueno; Arjen Hommersom; Peter J. F. Lucas; Mariana Lobo; Pedro Pereira Rodrigues (SUM, 2018)

Explaining the Most Probable Explanation. - Raphaela Butz; Arjen Hommersom; Marko C. J. D. van Eekelen (SUM, 2018)

Probabilistic logic programming (PLP) 2016. - Arjen Hommersom; James Cussens (Int. J. Approx. Reason., 2018)

A Data-Driven Exploration of Hypotheses on Disease Dynamics. - Marcos L. P. Bueno; Arjen Hommersom; Peter J. F. Lucas; Joost G. E. Janzing (AIME, 2019)

A comparison between discrete and continuous time Bayesian networks in learning from clinical time series data with irregularity. - Manxia Liu; Fabio Stella; Arjen Hommersom; Peter J. F. Lucas; Lonneke Boer; Erik Bischoff (Artif. Intell. Medicine, 2019)

A probabilistic framework for predicting disease dynamics: A case study of psychotic depression. - Marcos L. P. Bueno; Arjen Hommersom; Peter J. F. Lucas; Joost G. E. Janzing (J. Biomed. Informatics, 2019)

Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning. - Simone C. M. W. Tummers; Arjen Hommersom; Lilian Lechner; Catherine Bolman; Roger Bemelmans (BNAIC/BENELEARN (Selected Papers), 2020)

Temporal Exceptional Model Mining Using Dynamic Bayesian Networks. - Marcos L. P. Bueno; Arjen Hommersom; Peter J. F. Lucas (AALTD@PKDD/ECML, 2020)

What is understandable in Bayesian network explanations? - Raphaela Butz; Renée Schulz; Arjen Hommersom; Marko C. J. D. van Eekelen (CoRR, 2021)

A compositional approach to probabilistic knowledge compilation. - Giso H. Dal; Alfons W. Laarman; Arjen Hommersom; Peter J. F. Lucas (Int. J. Approx. Reason., 2021)

Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives. - Raphaela Butz; Renée Schulz; Arjen Hommersom; Marko C. J. D. van Eekelen (Artif. Intell. Medicine, 2022)

GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection. - Wesley de Kraker; Harald Vranken; Arjen Hommersom (EuroS&P Workshops, 2023)

Bayesian Networks in Medicine: Presenting Query Response Uncertainty for Decision Support (Short Paper). - Janneke H. Bolt; Anna Berghuis; Arjen Hommersom; Marike Lombaers; Johanna M. A. Pijnenborg; Silja Renooij (HC@AIxIA, 2024)

Reinforcement Learning and Fuzzy Logic Modelling for Personalized Dynamic Treatment. - Marco Locatelli 003; Roberto Clemens Cerioli; Daniela Besozzi; Arjen Hommersom; Fabio Stella (HC@AIxIA, 2024)

Evaluating the Usefulness of Counterfactual Explanations from Bayesian Networks. - Raphaela Butz; Arjen Hommersom; Renée Schulz; Hans van Ditmarsch (Hum. Centric Intell. Syst., 2024)

MultiGLICE: Combining Graph Neural Networks and Program Slicing for Multiclass Software Vulnerability Detection. - Wesley de Kraker; Harald Vranken; Arjen Hommersom (Comput., 2025)