 | 2009 |
|---|
| 5 |       | Caterina Caracciolo,
Juan Heguiabehere,
Margherita Sini,
Johannes Keizer:
Networked Ontologies from the Fisheries Domain.
MTSR 2009: 306-311 |
| 2002 |
|---|
| 4 | | Carlos Areces,
Juan Heguiabehere:
HyLoRes 1.0: Direct Resolution for Hybrid Logics.
CADE 2002: 156-160 |
| 2001 |
|---|
| 3 | | Jan van Eijck,
Juan Heguiabehere,
Breanndán Ó Nualláin:
Tableau Reasoning and Programming with Dynamic First Order Logic.
Logic Journal of the IGPL 9(3): 411-445 (2001) |
| 2000 |
|---|
| 2 |  | Carlos Areces,
Rosella Gennari,
Juan Heguiabehere,
Maarten de Rijke:
Tree-based Heuristics in Modal Theorem Proving.
ECAI 2000: 199-203 |
| 1 | | Jan van Eijck,
Juan Heguiabehere,
Breanndán Ó Nualláin:
Theorem Proving and Programming with Dynamic First Order Logic.
WFLP 2000: 56-71 |
Data released under the ODC-BY 1.0 license — See also our legal information page