Juan Heguiabehere

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

Aldo Gangemi, Johannes Keizer, Claudio Baldassarre, 2012, Ontology Engineering in a Networked World.

Tableau Reasoning and Programming with Dynamic First Order Logic

Jan van Eijck, Breanndán Ó Nualláin, Juan Heguiabehere, 2001, Log. J. IGPL.

Theorem Proving and Programming with Dynamic First Order Logic

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

Tree-based Heuristics in Modal Theorem Proving

Maarten de Rijke, Rosella Gennari, Carlos Areces, 2000, ECAI.

Networked Ontologies from the Fisheries Domain

Johannes Keizer, Margherita Sini, Caterina Caracciolo, 2009, MTSR.

HyLoRes 1.0: Direct Resolution for Hybrid Logics

Carlos Areces, Juan Heguiabehere, 2002, CADE.

A Simple Ordering for Deciding Modal Logic

Rosella Gennari, Juan Heguiabehere, Maarten de RijkeInstitute, 2000 .