default search action

combined dblp search
author search
venue search
publication search

ask others

Juan Heguiabehere

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/CaraccioloHGBKT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/CaraccioloHGBKT12
Caterina Caracciolo, Juan Heguiabehere, Aldo Gangemi, Claudio Baldassarre, Johannes Keizer, Marc Taconet:
Knowledge Management at FAO: A Case Study on Network of Ontologies in Fisheries. Ontology Engineering in a Networked World 2012: 383-405

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mtsr/CaraccioloHSK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtsr/CaraccioloHSK09
Caterina Caracciolo, Juan Heguiabehere, Margherita Sini, Johannes Keizer:
Networked Ontologies from the Fisheries Domain. MTSR 2009: 306-311
2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ArecesH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ArecesH02
Carlos Areces, Juan Heguiabehere:
HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE 2002: 156-160
2001
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/EijckHN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/EijckHN01
Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
Tableau Reasoning and Programming with Dynamic First Order Logic. Log. J. IGPL 9(3): 411-445 (2001)
2000
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/ArecesGHR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ArecesGHR00
Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke:
Tree-based Heuristics in Modal Theorem Proving. ECAI 2000: 199-203
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wflp/EijckHN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/EijckHN00
Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.