Juan Heguiabehere

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

Publications

Caterina Caracciolo, Juan Heguiabehere, Margherita Sini, Johannes Keizer
Networked Ontologies from the Fisheries Domain. MTSR (2009)
Carlos Areces, Juan Heguiabehere
HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE (2002)
Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin
Tableau Reasoning and Programming with Dynamic First Order Logic. Log. J. IGPL 9 (3) (2001)
Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin
Theorem Proving and Programming with Dynamic First Order Logic. WFLP (2000)
Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke
Tree-based Heuristics in Modal Theorem Proving. ECAI (2000)