| A compositional approach to probabilistic knowledge compilation | 0 | 0.34 | 2021 |
| Temporal Exceptional Model Mining Using Dynamic Bayesian Networks. | 0 | 0.34 | 2020 |
| Probabilistic logic programming (PLP) 2016. | 0 | 0.34 | 2019 |
| A probabilistic framework for predicting disease dynamics: a case study of psychotic depression. | 0 | 0.34 | 2019 |
| A comparison between discrete and continuous time Bayesian networks in learning from clinical time series data with irregularity. | 0 | 0.34 | 2019 |
| Making Continuous Time Bayesian Networks More Flexible. | 0 | 0.34 | 2018 |
| Explaining the Most Probable Explanation. | 0 | 0.34 | 2018 |
| Representing Hypoexponential Distributions in Continuous Time Bayesian Networks. | 0 | 0.34 | 2018 |
| Modeling the Dynamics of Multiple Disease Occurrence by Latent States. | 0 | 0.34 | 2018 |
| Asymmetric hidden Markov models. | 3 | 0.38 | 2017 |
| Exploiting Experts' Knowledge for Structure Learning of Bayesian Networks. | 3 | 0.44 | 2017 |
| Hybrid Time Bayesian Networks | 0 | 0.34 | 2017 |
| An improved diagnostic method for probabilistic consistency-based diagnosis. | 0 | 0.34 | 2017 |
| Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. | 0 | 0.34 | 2016 |
| Measuring Adverse Drug Effects on Multimorbity using Tractable Bayesian Networks. | 0 | 0.34 | 2016 |
| Toward Computing Conflict-Based Diagnoses in Probabilistic Logic Programming. | 0 | 0.34 | 2016 |
| Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case. | 1 | 0.35 | 2016 |
| Learning Parameters of Hybrid Time Bayesian Networks. | 0 | 0.34 | 2016 |
| Understanding disease processes by partitioned dynamic Bayesian networks. | 2 | 0.37 | 2016 |
| A new probabilistic constraint logic programming language based on a generalised distribution semantics | 5 | 0.44 | 2015 |
| Imprecise Probabilistic Horn Clause Logic. | 1 | 0.34 | 2014 |
| Qualitative chain graphs and their application. | 0 | 0.34 | 2014 |
| Causal Independence Models For Continuous Time Bayesian Networks | 0 | 0.34 | 2014 |
| Inference for a new probabilistic constraint logic | 3 | 0.42 | 2013 |
| Understanding the Co-occurrence of Diseases Using Structure Learning. | 3 | 0.40 | 2013 |
| MoSHCA - my mobile and smart health care assistant | 8 | 0.62 | 2013 |
| A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks | 4 | 0.43 | 2013 |
| Multilevel Bayesian networks for the analysis of hierarchical health care data. | 6 | 0.55 | 2013 |
| Discovering Probabilistic Structures of Healthcare Processes | 1 | 0.36 | 2013 |
| Probabilistic problem solving in biomedicine. | 0 | 0.34 | 2013 |
| Probabilistic causal models of multimorbidity concepts. | 2 | 0.52 | 2012 |
| Generalising the interaction rules in probabilistic logic | 9 | 0.56 | 2011 |
| Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive | 3 | 0.39 | 2010 |
| Toward probabilistic analysis of guidelines | 0 | 0.34 | 2010 |
| Using model checking for critiquing based on clinical guidelines. | 15 | 0.80 | 2009 |
| Integrating Logical Reasoning and Probabilistic Chain Graphs | 3 | 0.38 | 2009 |
| Checking the quality of clinical guidelines using automated reasoning tools | 9 | 0.63 | 2008 |
| Actions with Failures in Interval Temporal Logic | 0 | 0.34 | 2007 |
| Verification of Medical Guidelines Using Background Knowledge in Task Networks | 17 | 0.86 | 2007 |
| Combining task execution and background knowledge for the verification of medical guidelines | 0 | 0.34 | 2007 |
| The Role of Model Checking in Critiquing Based on Clinical Guidelines | 6 | 0.48 | 2007 |
| Verification of Medical Guidelines using Task Execution with Background Knowledge | 0 | 0.34 | 2006 |
| Argumentation Systems for History-Based Construction of Medical Guidelines | 0 | 0.34 | 2005 |
| Toward Reasoning about Security Protocols: A Semantic Approach | 0 | 0.34 | 2005 |
| A history-based algebra for quality-checking medical guidelines | 1 | 0.41 | 2005 |
| Update Semantics of Security Protocols | 7 | 0.59 | 2004 |
| Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving | 9 | 0.77 | 2004 |
