Arjen Hommersom

Orcid: 0000-0003-0125-1680

Affiliations:
  • Open University of the Netherlands


According to our database1, Arjen Hommersom authored at least 66 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection.
Proceedings of the IEEE European Symposium on Security and Privacy, 2023

2022
Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives.
Artif. Intell. Medicine, 2022

2021
A compositional approach to probabilistic knowledge compilation.
Int. J. Approx. Reason., 2021

What is understandable in Bayesian network explanations?
CoRR, 2021

2020
Temporal Exceptional Model Mining Using Dynamic Bayesian Networks.
Proceedings of the Advanced Analytics and Learning on Temporal Data, 2020

Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning.
Proceedings of the Artificial Intelligence and Machine Learning - 32nd Benelux Conference, 2020

2019
A probabilistic framework for predicting disease dynamics: A case study of psychotic depression.
J. Biomed. Informatics, 2019

A comparison between discrete and continuous time Bayesian networks in learning from clinical time series data with irregularity.
Artif. Intell. Medicine, 2019

A Data-Driven Exploration of Hypotheses on Disease Dynamics.
Proceedings of the Artificial Intelligence in Medicine, 2019

2018
Probabilistic logic programming (PLP) 2016.
Int. J. Approx. Reason., 2018

Explaining the Most Probable Explanation.
Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Modeling the Dynamics of Multiple Disease Occurrence by Latent States.
Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Making Continuous Time Bayesian Networks More Flexible.
Proceedings of the International Conference on Probabilistic Graphical Models, 2018

Representing Hypoexponential Distributions in Continuous Time Bayesian Networks.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications, 2018

Discovering software vulnerabilities using data-flow analysis and machine learning.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

Denial-of-Service Attacks on LoRaWAN.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2017
Exploiting Experts' Knowledge for Structure Learning of Bayesian Networks.
IEEE Trans. Pattern Anal. Mach. Intell., 2017

Hybrid time Bayesian networks.
Int. J. Approx. Reason., 2017

Asymmetric hidden Markov models.
Int. J. Approx. Reason., 2017

An improved diagnostic method for probabilistic consistency-based diagnosis.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks.
Proceedings of the Artificial Intelligence in Medicine, 2017

2016
Understanding disease processes by partitioned dynamic Bayesian networks.
J. Biomed. Informatics, 2016

Measuring Adverse Drug Effects on Multimorbity using Tractable Bayesian Networks.
CoRR, 2016

Learning Parameters of Hybrid Time Bayesian Networks.
Proceedings of the Probabilistic Graphical Models - Eighth International Conference, 2016

Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case.
Proceedings of the Probabilistic Graphical Models - Eighth International Conference, 2016

Toward Computing Conflict-Based Diagnoses in Probabilistic Logic Programming.
Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), 2016

Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
Modeling the Interactions between Discrete and Continuous Causal Factors in Bayesian Networks.
Int. J. Intell. Syst., 2015

A new probabilistic constraint logic programming language based on a generalised distribution semantics.
Artif. Intell., 2015

Mining Hierarchical Pathology Data Using Inductive Logic Programming.
Proceedings of the Artificial Intelligence in Medicine, 2015

How to Read the Book "Foundations of Biomedical Knowledge Representation".
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

An Introduction to Knowledge Representation and Reasoning in Healthcare.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

A Hybrid Approach to the Verification of Computer Interpretable Guidelines.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

2014
Qualitative chain graphs and their application.
Int. J. Approx. Reason., 2014

Causal Independence Models for Continuous Time Bayesian Networks.
Proceedings of the Probabilistic Graphical Models - 7th European Workshop, 2014

Imprecise Probabilistic Horn Clause Logic.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Multilevel Bayesian networks for the analysis of hierarchical health care data.
Artif. Intell. Medicine, 2013

Probabilistic problem solving in biomedicine.
Artif. Intell. Medicine, 2013

A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks.
Proceedings of the IEEE International Conference on Systems, 2013

Inference for a New Probabilistic Constraint Logic.
Proceedings of the IJCAI 2013, 2013

MoSHCA - my mobile and smart health care assistant.
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

Understanding the Co-occurrence of Diseases Using Structure Learning.
Proceedings of the Artificial Intelligence in Medicine, 2013

Discovering Probabilistic Structures of Healthcare Processes.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

2012
Probabilistic Causal Models of Multimorbidity Concepts.
Proceedings of the AMIA 2012, 2012

2011
Applying Bayesian Networks for Intelligent Adaptable Printing Systems.
Proceedings of the Solutions on Embedded Systems, 2011

Generalising the Interaction Rules in Probabilistic Logic.
Proceedings of the IJCAI 2011, 2011

2010
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive.
Proceedings of the ECAI 2010, 2010

Toward Probabilistic Analysis of Guidelines.
Proceedings of the Knowledge Representation for Health-Care, 2010

2009
Using model checking for critiquing based on clinical guidelines.
Artif. Intell. Medicine, 2009

Applying Bayesian networks for intelligent adaptable printing systems.
Proceedings of the Seventh Workshop on Intelligent solutions in Embedded Systems, 2009

Integrating Logical Reasoning and Probabilistic Chain Graphs.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2009

2008
Checking the quality of clinical guidelines using automated reasoning tools.
Theory Pract. Log. Program., 2008

A Constraint-based Approach to Medical Guidelines and Protocols.
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

Formal Methods for Verification of Clinical Practice Guidelines.
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

Adaptation of Clinical Practice Guidelines.
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

2007
Verification of Medical Guidelines Using Background Knowledge in Task Networks.
IEEE Trans. Knowl. Data Eng., 2007

Combining task execution and background knowledge for the verification of medical guidelines.
Knowl. Based Syst., 2007

Actions with Failures in Interval Temporal Logic.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

The Role of Model Checking in Critiquing Based on Clinical Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2007

2006
Verification of Medical Guidelines Using Task Execution with Background Knowledge.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005
Argumentation Systems for History-Based Construction of Medical Guidelines.
Proceedings of the BNAIC 2005, 2005

A History-Based Algebra for Quality-Checking Medical Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

2004
Update Semantics of Security Protocols.
Synth., 2004

Toward Reasoning about Security Protocols: A Semantic Approach.
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004


  Loading...