Juan Heguiabehere

According to our database, Juan Heguiabehere authored at least 6 papers between 2000 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Knowledge Management at FAO: A Case Study on Network of Ontologies in Fisheries.

Caterina Caracciolo, Juan Heguiabehere, Aldo Gangemi, Claudio Baldassarre, Johannes Keizer, Marc Taconet

Proceedings of the Ontology Engineering in a Networked World., 2012

2009

Networked Ontologies from the Fisheries Domain.

Caterina Caracciolo, Juan Heguiabehere, Margherita Sini, Johannes Keizer

Proceedings of the Metadata and Semantic Research - Third International Conference, 2009

2002

HyLoRes 1.0: Direct Resolution for Hybrid Logics.

Carlos Areces, Juan Heguiabehere

Proceedings of the Automated Deduction, 2002

2001

Tableau Reasoning and Programming with Dynamic First Order Logic.

Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin

Log. J. IGPL, 2001

2000

Theorem Proving and Programming with Dynamic First Order Logic.

Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Tree-based Heuristics in Modal Theorem Proving.

Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke

Proceedings of the ECAI 2000, 2000