Author of the publication

How to Produce Information About a Given Entity Using Automated Deduction Methods.

, and . LSFA, volume 256 of Electronic Notes in Theoretical Computer Science, page 19-31. Elsevier, (2009)

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

Belief Change: from Situation Calculus to Modal Logic.. J. Appl. Non Class. Logics, 13 (2): 187-198 (2003)A Uniform Framework for Deductive Database Derivation Strategies.. EPIA, volume 727 of Lecture Notes in Computer Science, page 357. Springer, (1993)Automated Reasoning in Metabolic Networks with Inhibition., , and . AI*IA, volume 8249 of Lecture Notes in Computer Science, page 37-47. Springer, (2013)Integrity Constraints Revisited (Preliminary version)., and . DAISD, volume LSI/93-25-R of Report de recerca, page 309-333. Universitat Politecnica de Catalunya (UPC), (1993)Cooperative Answering: A Methodology to Provide Intelligent Access to databases., and . Expert Database Conf., page 621-643. Benjamin/Cummings, (1988)A Strategy for the Computation of Conditional Answers.. ECAI, page 134-138. John Wiley and Sons, (1992)A Prolog-Relational DBMS Interface Using Delayed Evaluation., and . JCDKB, page 135-148. Morgan Kaufmann, (1988)Guidelines for the Definiton of an Expert System in Intelligent Data Retrieval., and . BDA, page 143-154. INRIA, (1993)Recognition of the intention to perform a procedure: a method based on probabilities., and . AAMAS, page 1133-1134. ACM, (2005)Heuristics for Syntactial Optimization of Relational Queries., and . Inf. Process. Lett., 32 (6): 313-316 (1989)