PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Casamayor, Juan Carlos"

Author of the publication

copydeleteadd this publication to your clipboard
A Prolog-like Paradigm for Reasoning in First-Order Theories.

, and . GULP, page 217-236. (1993)

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.

Juan Carlos del Valle Morales University of Stuttgart

Juan Vargas University of Stuttgart

Carlos Peiro Frasquet University of Stuttgart

Carlos Sánchez Delgado University of Stuttgart

Carlos Eduardo Jimenez University of Stuttgart

 

Other publications of authors with the same name

Conceptual Modeling of Human Genome: Integration Challenges., , , , , and . Conceptual Modelling and Its Theoretical Foundations, volume 7260 of Lecture Notes in Computer Science, page 231-250. Springer, (2012)Hypothetical Query Answering in First-Order Databases., and . SCAI, volume 28 of Frontiers in Artificial Intelligence and Applications, page 368-372. IOS Press, (1995)A Derivation Path Recording Method for Integrity Checking in Deductive Databases., , , , and . DAISD, volume LSI/91-30 of Report de recerca, page 185-203. Universitat Politecnica de Catalunya (UPC), (1991)Improving Integrity Checking by Compiling Derivation Paths., , and . Australian Database Conference, page 145-160. World Scientific, (1993)A Prolog-like Paradigm for Reasoning in First-Order Theories., and . GULP, page 217-236. (1993)Sustained Models and Sustained Answers in First-Order Databases., and . DAISD, volume LSI/93-25-R of Report de recerca, page 267-286. Universitat Politecnica de Catalunya (UPC), (1993)Consistency Verification of Deductive Database Schemes., and . DAISD, volume LSI/93-25-R of Report de recerca, page 287-307. Universitat Politecnica de Catalunya (UPC), (1993)A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases., , , and . DAISD, volume LSI/92/19 of Report de recerca, page 199-216. Universitat Politecnica de Catalunya (UPC), (1992)Towards an Effective and Efficient Management of Genome Data: An Information Systems Engineering Perspective., , , and . CAiSE Forum, volume 350 of Lecture Notes in Business Information Processing, page 99-110. Springer, (2019)SALER: A Data Science Solution to Detect and Prevent Corruption in Public Administration., , , , and . Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML, volume 11329 of Lecture Notes in Computer Science, page 103-117. Springer, (2018)