Arjen Hommersom

79 papers A* 3A 3B 10C 4Misc 1Journal 26Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Effective Diversification of Multi-Carousel Book Recommendation. CoRR Daniël Wilten, Gideon Maillette de Buy Wenniger, Arjen Hommersom, Paul Lucassen, Emiel Poortman
2025	J	`jnl`	Expert-Guided POMDP Learning for Data-Efficient Modeling in Healthcare. CoRR Marco Locatelli, Arjen Hommersom, Roberto Clemens Cerioli, Daniela Besozzi, Fabio Stella
2025	C	`conf`	Involving Uncertainty in Bayesian Network Tuning. ECSQARU Janneke H. Bolt, Arjen Hommersom, Silja Renooij
2025	J	`jnl`	MultiGLICE: Combining Graph Neural Networks and Program Slicing for Multiclass Software Vulnerability Detection. Comput. Wesley de Kraker, Harald Vranken, Arjen Hommersom
2024	—	`conf`	Bayesian Networks in Medicine: Presenting Query Response Uncertainty for Decision Support (Short Paper). HC@AIxIA Janneke H. Bolt, Anna Berghuis, Arjen Hommersom, Marike Lombaers, Johanna M. A. Pijnenborg, Silja Renooij
2024	J	`jnl`	Evaluating the Usefulness of Counterfactual Explanations from Bayesian Networks. Hum. Centric Intell. Syst. Raphaela Butz, Arjen Hommersom, Renée Schulz, Hans van Ditmarsch
2024	—	`conf`	Reinforcement Learning and Fuzzy Logic Modelling for Personalized Dynamic Treatment. HC@AIxIA Marco Locatelli, Roberto Clemens Cerioli, Daniela Besozzi, Arjen Hommersom, Fabio Stella
2023	—	`conf`	GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection. EuroS&P Workshops Wesley de Kraker, Harald Vranken, Arjen Hommersom
2022	J	`jnl`	Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives. Artif. Intell. Medicine Raphaela Butz, Renée Schulz, Arjen Hommersom, Marko C. J. D. van Eekelen
2021	J	`jnl`	A compositional approach to probabilistic knowledge compilation. Int. J. Approx. Reason. Giso H. Dal, Alfons W. Laarman, Arjen Hommersom, Peter J. F. Lucas
2021	J	`jnl`	What is understandable in Bayesian network explanations? CoRR Raphaela Butz, Renée Schulz, Arjen Hommersom, Marko C. J. D. van Eekelen
2020	—	`conf`	Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning. BNAIC/BENELEARN (Selected Papers) Simone C. M. W. Tummers, Arjen Hommersom, Lilian Lechner, Catherine Bolman, Roger Bemelmans
2020	—	`conf`	Temporal Exceptional Model Mining Using Dynamic Bayesian Networks. AALTD@PKDD/ECML Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas
2019	B	`conf`	A Data-Driven Exploration of Hypotheses on Disease Dynamics. AIME Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Joost G. E. Janzing
2019	J	`jnl`	A comparison between discrete and continuous time Bayesian networks in learning from clinical time series data with irregularity. Artif. Intell. Medicine Manxia Liu, Fabio Stella, Arjen Hommersom, Peter J. F. Lucas, Lonneke Boer, Erik Bischoff
2019	J	`jnl`	A probabilistic framework for predicting disease dynamics: A case study of psychotic depression. J. Biomed. Informatics Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Joost G. E. Janzing
2018	B	`conf`	Denial-of-Service Attacks on LoRaWAN. ARES Eef van Es, Harald P. E. Vranken, Arjen Hommersom
2018	B	`conf`	Discovering software vulnerabilities using data-flow analysis and machine learning. ARES Jorrit Kronjee, Arjen Hommersom, Harald P. E. Vranken
2018	—	`conf`	Explaining the Most Probable Explanation. SUM Raphaela Butz, Arjen Hommersom, Marko C. J. D. van Eekelen
2018	—	`conf`	Making Continuous Time Bayesian Networks More Flexible. PGM Manxia Liu, Fabio Stella, Arjen Hommersom, Peter J. F. Lucas
2018	—	`conf`	Modeling the Dynamics of Multiple Disease Occurrence by Latent States. SUM Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Mariana Lobo, Pedro Pereira Rodrigues
2018	J	`jnl`	Probabilistic logic programming (PLP) 2016. Int. J. Approx. Reason. Arjen Hommersom, James Cussens
2018	—	`conf`	Representing Hypoexponential Distributions in Continuous Time Bayesian Networks. IPMU (3) Manxia Liu, Fabio Stella, Arjen Hommersom, Peter J. F. Lucas
2017	B	`conf`	A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks. AIME Simon Rabinowicz, Arjen Hommersom, Raphaela Butz, Matt Williams
2017	C	`conf`	An improved diagnostic method for probabilistic consistency-based diagnosis. DX Marcos Luiz de Paula Bueno, Arjen Hommersom, Peter J. F. Lucas
2017	J	`jnl`	Asymmetric hidden Markov models. Int. J. Approx. Reason. Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Alexis Linard
2017	J	`jnl`	Exploiting Experts' Knowledge for Structure Learning of Bayesian Networks. IEEE Trans. Pattern Anal. Mach. Intell. Hossein Amirkhani, Mohammad Rahmati, Peter J. F. Lucas, Arjen Hommersom
2017	J	`jnl`	Hybrid time Bayesian networks. Int. J. Approx. Reason. Manxia Liu, Arjen Hommersom, Maarten van der Heijden, Peter J. F. Lucas
2016	A*	`conf`	Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. IJCAI Steffen Michels, Arjen Hommersom, Peter J. F. Lucas
2016	—	`conf`	Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case. Probabilistic Graphical Models Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Sicco Verwer, Alexis Linard
2016	—	`conf`	Learning Parameters of Hybrid Time Bayesian Networks. Probabilistic Graphical Models Manxia Liu, Arjen Hommersom, Maarten van der Heijden, Peter J. F. Lucas
2016	J	`jnl`	Measuring Adverse Drug Effects on Multimorbity using Tractable Bayesian Networks. CoRR Jessa Bekker, Arjen Hommersom, Martijn Lappenschaar, Jesse Davis
2016	—	`ed.`	Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), London, UK, September 3, 2016. PLP@ILP Arjen Hommersom, Samer A. Abdallah
2016	—	`conf`	Toward Computing Conflict-Based Diagnoses in Probabilistic Logic Programming. PLP@ILP Arjen Hommersom, Marcos L. P. Bueno
2016	J	`jnl`	Understanding disease processes by partitioned dynamic Bayesian networks. J. Biomed. Informatics Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Martijn Lappenschaar, Joost G. E. Janzing
2015	—	`ch.`	A Hybrid Approach to the Verification of Computer Interpretable Guidelines. Foundations of Biomedical Knowledge Representation Luca Anselma, Alessio Bottrighi, Laura Giordano, Arjen Hommersom, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio
2015	J	`jnl`	A new probabilistic constraint logic programming language based on a generalised distribution semantics. Artif. Intell. Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova
2015	—	`ch.`	An Introduction to Knowledge Representation and Reasoning in Healthcare. Foundations of Biomedical Knowledge Representation Arjen Hommersom, Peter J. F. Lucas
2015	—	`book`	Foundations of Biomedical Knowledge Representation - Methods and Applications Foundations of Biomedical Knowledge Representation Arjen Hommersom, Peter J. F. Lucas
2015	—	`ch.`	How to Read the Book "Foundations of Biomedical Knowledge Representation". Foundations of Biomedical Knowledge Representation Peter J. F. Lucas, Arjen Hommersom
2015	C	`conf`	Hybrid Time Bayesian Networks. ECSQARU Manxia Liu, Arjen Hommersom, Maarten van der Heijden, Peter J. F. Lucas
2015	B	`conf`	Mining Hierarchical Pathology Data Using Inductive Logic Programming. AIME Tim Op De Beéck, Arjen Hommersom, Jan Van Haaren, Maarten van der Heijden, Jesse Davis, Peter J. F. Lucas, Lucy Overbeek, Iris Nagtegaal
2015	J	`jnl`	Modeling the Interactions between Discrete and Continuous Causal Factors in Bayesian Networks. Int. J. Intell. Syst. Peter J. F. Lucas, Arjen Hommersom
2015	—	`ch.`	Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond. Foundations of Biomedical Knowledge Representation Luca Anselma, Alessio Bottrighi, Arjen Hommersom, Paolo Terenziani, Anthony Hunter
2014	—	`conf`	Causal Independence Models for Continuous Time Bayesian Networks. Probabilistic Graphical Models Maarten van der Heijden, Arjen Hommersom
2014	A	`conf`	Imprecise Probabilistic Horn Clause Logic. ECAI Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova
2014	J	`jnl`	Qualitative chain graphs and their application. Int. J. Approx. Reason. Martijn Lappenschaar, Arjen Hommersom, Peter J. F. Lucas
2013	B	`conf`	A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks. SMC Steffen Michels, Marina Velikova, Arjen Hommersom, Peter J. F. Lucas
2013	—	`conf`	Discovering Probabilistic Structures of Healthcare Processes. KR4HC/ProHealth Arjen Hommersom, Sicco Verwer, Peter J. F. Lucas
2013	A*	`conf`	Inference for a New Probabilistic Constraint Logic. IJCAI Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman
2013	C	`conf`	MoSHCA - my mobile and smart health care assistant. Healthcom Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Giso H. Dal, Joaquim Bastos, Jonathan Rodriguez, Marleen Germs, Henk Schwietert
2013	J	`jnl`	Multilevel Bayesian networks for the analysis of hierarchical health care data. Artif. Intell. Medicine Martijn Lappenschaar, Arjen Hommersom, Peter J. F. Lucas, Joep Lagro, Stefan Visscher
2013	J	`jnl`	Probabilistic problem solving in biomedicine. Artif. Intell. Medicine Arjen Hommersom, Peter J. F. Lucas
2013	B	`conf`	Understanding the Co-occurrence of Diseases Using Structure Learning. AIME Martijn Lappenschaar, Arjen Hommersom, Joep Lagro, Peter J. F. Lucas
2012	Misc	`conf`	Probabilistic Causal Models of Multimorbidity Concepts. AMIA Martijn Lappenschaar, Arjen Hommersom, Peter J. F. Lucas
2011	—	`ch.`	Applying Bayesian Networks for Intelligent Adaptable Printing Systems. Solutions on Embedded Systems Arjen Hommersom, Peter J. F. Lucas, René Waarsing, Pieter W. M. Koopman
2011	A*	`conf`	Generalising the Interaction Rules in Probabilistic Logic. IJCAI Arjen Hommersom, Peter J. F. Lucas
2010	—	`conf`	Toward Probabilistic Analysis of Guidelines. KR4HC Arjen Hommersom
2010	A	`conf`	Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive. ECAI Arjen Hommersom, Peter J. F. Lucas
2009	—	`conf`	Applying Bayesian networks for intelligent adaptable printing systems. WISES Arjen Hommersom, Peter J. F. Lucas, René Waarsing, Pieter W. M. Koopman
2009	—	`conf`	Integrating Logical Reasoning and Probabilistic Chain Graphs. ECML/PKDD (1) Arjen Hommersom, Nivea de Carvalho Ferreira, Peter J. F. Lucas
2009	—	`conf`	Learning Parameters of Chain Logic Theories. MLG/SRL@ILP Arjen Hommersom, Nivea de Carvalho Ferreira, Peter J. F. Lucas
2009	J	`jnl`	Using model checking for critiquing based on clinical guidelines. Artif. Intell. Medicine Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Robbert-Jan Merk, Annette ten Teije, Frank van Harmelen, Radu Serban
2008	—	`ch.`	A Constraint-based Approach to Medical Guidelines and Protocols. Computer-based Medical Guidelines and Protocols Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Mar Marcos, Begoña Martínez-Salvador
2008	—	`ch.`	Adaptation of Clinical Practice Guidelines. Computer-based Medical Guidelines and Protocols Perry Groot, Arjen Hommersom, Peter J. F. Lucas
2008	J	`jnl`	Checking the Quality of Clinical Guidelines using Automated Reasoning Tools CoRR Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel
2008	J	`jnl`	Checking the quality of clinical guidelines using automated reasoning tools. Theory Pract. Log. Program. Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel
2008	—	`ch.`	Formal Methods for Verification of Clinical Practice Guidelines. Computer-based Medical Guidelines and Protocols Arjen Hommersom, Perry Groot, Michael Balser, Peter J. F. Lucas
2007	—	`conf`	Actions with Failures in Interval Temporal Logic. CLIMA Arjen Hommersom, Peter J. F. Lucas
2007	J	`jnl`	Combining task execution and background knowledge for the verification of medical guidelines. Knowl. Based Syst. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
2007	B	`conf`	The Role of Model Checking in Critiquing Based on Clinical Guidelines. AIME Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Radu Serban, Annette ten Teije, Frank van Harmelen
2007	J	`jnl`	Verification of Medical Guidelines Using Background Knowledge in Task Networks. IEEE Trans. Knowl. Data Eng. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
2006	—	`conf`	Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines. SGAI Conf. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
2006	A	`conf`	Verification of Medical Guidelines Using Task Execution with Background Knowledge. ECAI Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
2005	B	`conf`	A History-Based Algebra for Quality-Checking Medical Guidelines. AIME Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel, Theo P. van der Weide
2005	—	`conf`	Argumentation Systems for History-Based Construction of Medical Guidelines. BNAIC Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel
2004	B	`conf`	Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. JELIA Arjen Hommersom, Peter J. F. Lucas, Michael Balser
2004	—	`conf`	Toward Reasoning about Security Protocols: A Semantic Approach. LCMAS Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
2004	J	`jnl`	Update Semantics of Security Protocols. Synth. Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink