( en | de | ru )

 

Disambiguation of "Alonso-Jiménez, José A."

Author of the publication

copydeleteadd this publication to your clipboard
Logic Databases and Inconsistency Handling.

, , and . Encyclopedia of Database Technologies and Applications, Idea Group, (2005)

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.

Alonso Villalobos-Jiménez

José Didimo Chacón-Jiménez

Henry José Jiménez Guanipa

José Silvio Jiménez Amaro

Rafael José Jiménez Riobóo

 

Other publications of authors with the same name

A logic-algebraic tool for reasoning with Knowledge-Based Systems., , , , and . CoRR, (2018)A Topological Study of the Upward Refinement Operators in ILP., , and . ILP Work-in-progress reports, volume 35 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning., , , and . IEEE Intelligent Systems, 21 (1): 42-52 (2006)Formally Verified Tableau-Based Reasoners for a Description Logic., , , , and . J. Autom. Reason., 52 (3): 331-360 (2014)Verified Computer Algebra in Acl2. Gröbner Bases Computation., , , and . AISC, volume 3249 of Lecture Notes in Computer Science, page 171-184. Springer, (2004)Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases., , , , and . IEA/AIE, volume 2718 of Lecture Notes in Computer Science, page 789-798. Springer, (2003)A Certified Polynomial-Based Decision Procedure for Propositional Logic., , and . TPHOLs, volume 2152 of Lecture Notes in Computer Science, page 297-312. Springer, (2001)Logic Databases and Inconsistency Handling., , and . Encyclopedia of Database Technologies and Applications, Idea Group, (2005)A Quasi-Metric for Machine Learning., , and . IBERAMIA, volume 2527 of Lecture Notes in Computer Science, page 193-203. Springer, (2002)Generalizing Programs vis Subsumption., , and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 115-126. Springer, (2003)