Author of the publication

HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents.

, , , , , , , , and . AMIA, AMIA, (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.

 

Other publications of authors with the same name

Faster query answering in probabilistic databases using read-once functions., , and . ICDT, page 232-243. ACM, (2011)First-Order Logic: Syntax.. Encyclopedia of Database Systems (2nd ed.), Springer, (2018)Extensional Models for Polymorphism., and . TAPSOFT, Vol.2, volume 250 of Lecture Notes in Computer Science, page 291-307. Springer, (1987)First-Order Logic: Syntax.. Encyclopedia of Database Systems, Springer US, (2009)Provenance Analysis for Logic and Games., and . CoRR, (2019)Provenance in ORCHESTRA., , , and . IEEE Data Eng. Bull., 33 (3): 9-16 (2010)Provenance Analysis for Missing Answers and Integrity Repairs., , , and . IEEE Data Eng. Bull., 41 (1): 39-50 (2018)Update Exchange with Mappings and Provenance., , , and . VLDB, page 675-686. ACM, (2007)PROPOLIS: Provisioned Analysis of Data-Centric Processes., , and . Proc. VLDB Endow., 6 (12): 1302-1305 (2013)Queries with Difference on Probabilistic Databases., , and . Proc. VLDB Endow., 4 (11): 1051-1062 (2011)