( en | de | ru )

 

Disambiguation of "Groot, Perry"

Author of the publication

copydeleteadd this publication to your clipboard
Formally Verifying Dynamic Properties of Knowledge Based Systems.

, , and . EKAW, volume 1621 of Lecture Notes in Computer Science, page 157-171. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter S Perry

Manuela Perry

Perry Jones

Steven Perry

Karen J Perry

 

Other publications of authors with the same name

A Constraint-based Approach to Medical Guidelines and Protocols., , , , and . Computer-based Medical Guidelines and Protocols, volume 139 of Studies in Health Technology and Informatics, IOS Press, (2008)Causality on Longitudinal Data: Stable Specification Search in Constrained Structural Equation Modeling., , , , , , and . CoRR, (2016)Generalized Spectral Mixture Kernels for Multi-Task Gaussian Processes., , , and . CoRR, (2018)Learning causal structure from mixed data with missing values using Gaussian copula models., , and . Stat. Comput., 29 (2): 311-333 (2019)Robust Estimation of Gaussian Copula Causal Structure from Mixed Data with Missing Values., , and . ICDM, page 835-840. IEEE Computer Society, (2017)Error probabilities for local extrema in gene expression data., , and . Pattern Recognit. Lett., 28 (15): 2133-2142 (2007)Causality on cross-sectional data: Stable specification search in constrained structural equation modeling., , , , and . Appl. Soft Comput., (2017)Multi-task preference learning with an application to hearing aid personalization., , and . Neurocomputing, 73 (7-9): 1177-1185 (2010)Multioutput Convolution Spectral Mixture for Gaussian Processes., , , , and . IEEE Trans. Neural Networks Learn. Syst., 31 (7): 2255-2266 (2020)Adaptation of Clinical Practice Guidelines., , and . Computer-based Medical Guidelines and Protocols, volume 139 of Studies in Health Technology and Informatics, IOS Press, (2008)