( en | de | ru )

 

Disambiguation of "Fernández, José Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Editing First-Order Proofs: Programmed Rules vs Derived Rules.

, , and . SLP, page 92-98. IEEE-CS, (1984)

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.

José Gea Fernández

José Fernández Puga

José Fernández-Britto

José Francisco Fernández Dámaso

José Miguel Dörner Fernández

 

Other publications of authors with the same name

Disjunctive Deductive Databases., and . LPAR, volume 624 of Lecture Notes in Computer Science, page 332-356. Springer, (1992)Editing First-Order Proofs: Programmed Rules vs Derived Rules., , and . SLP, page 92-98. IEEE-CS, (1984)Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases., , and . J. Autom. Reason., 13 (1): 117-143 (1994)A Tractable Class of Disjunctive Deductive Databases., , and . Workshop on Deductive Databases, JICSLP, volume CITRI/TR-92-65 of Technical Report, page 11-20. Department of Computer Science, University of Melbourne, (1992)Building Scalable Internet Applications with Oracle8i Server., , and . VLDB, page 649. Morgan Kaufmann, (2000)Semantics of Disjunctive Deductive Databases., and . ICDT, volume 646 of Lecture Notes in Computer Science, page 21-50. Springer, (1992)Model Theoretic Approach to View Updates in Deductive Databases., , and . J. Autom. Reason., 17 (2): 171-197 (1996)Deep Learning Hyper-parameter Tuning for Sentiment Analysis in Twitter based on Evolutionary Algorithms., , , , , and . FedCSIS, volume 18 of Annals of Computer Science and Information Systems, page 255-264. (2019)Disjunctive LP + Integrity Constraints = Stable Model Semantics., , , and . Ann. Math. Artif. Intell., 8 (3-4): 449-474 (1993)Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases., and . ICLP, page 660-675. MIT Press, (1991)