Follow
Juan Heguiabehere
Juan Heguiabehere
Senior Researcher, Fundación Sadosky
Verified email at fundacionsadosky.org.ar
Title
Cited by
Cited by
Year
Tree-based heuristics in modal theorem proving
C Areces, R Gennari, J Heguiabehere, M de Rijke
Proceedings of ECAI'2000, 199--203, 2000
572000
HyLoRes 1.0: Direct Resolution for Hybrid Logics
C Areces, J Heguiabehere
International Conference on Automated Deduction, 156-160, 2002
262002
hGen: A random CNF formula generator for hybrid languages
CE Areces, JM Heguiabehere
Toulouse, France, 2003
222003
Tableau reasoning and programming with dynamic first order logic
J van Eijck, J Heguiabehere, B Ó Nualláin
Logic Journal of IGPL 9 (3), 411-445, 2001
172001
Hylores: A hybrid logic prover based on direct resolution
C Areces, J Heguiabehere
132002
Knowledge management at FAO: a case study on network of ontologies in fisheries
C Caracciolo, J Heguiabehere, A Gangemi, C Baldassarre, J Keizer, ...
Ontology Engineering in a Networked World, 383-405, 2012
112012
The random modal QBF test set
J Heguiabehere, M de Rijke
IJCAR’2001 Workshop on Issues in the Design and Experimental Evaluation of …, 2001
82001
Theorem proving and porgramming with dynamic first order logic-full version
DJN van Eijck, JM Heguiabehere, Ó Nualláin
AmsterdamInstitute for Logic Language and Computation, 2000
52000
NeOn deliverable D7. 2.3
C Caracciolo, J Heguiabehere, A Gangemi, W Peters, A Stellato
Initial network of fisheries ontologies. NeOn project 404, 2009
42009
Networked ontologies from the fisheries domain
C Caracciolo, J Heguiabehere, M Sini, J Keizer
Metadata and Semantic Research: Third International Conference, MTSR 2009 …, 2009
42009
Expressivity of extensions of dynamic predicate logic
BD ten Cate, J van Eijck, JM Heguiabehere
AmsterdamILLC/Department of Philosophy, 2001
42001
A tableau calculus for dynamic first order logic with applications in natural language semantics
DJN van Eijck, JM Heguiabehere, Ó Nualláin
42000
Direct resolution for modal-like logics
C Areces, J Heguiabehere
na, 2002
32002
Dynamo with constraint handling
J van Eijck, J Heguiabehere
Manuscript, CWI/ILLC, October, 1999
11999
A simple ordering for deciding modal logic
C Areces, R Gennari, J Heguiabehere, M de Rijke
Forthcoming, 0
1
HyLoRes 1.0: Direct Resolution for Hybrid Logics Carlos Areces and Juan Heguiabehere
C Areces, J Heguiabehere
2007
Building logic toolboxes
J Heguiabehere
University of Amsterdam, 2003
2003
Pre-and postcondition reasoning for dynamic first order logic
JM Heguiabehere
2002
Hylores: A hybrid logic prover based on direct resolution (system demo)
C Areces, J Heguiabehere
Proceedings of BNAIC 2002 14th Belgian-Dutch Conference on Artificial …, 2002
2002
The random modal qbf test set
M de Rijke, JM Heguiabehere
2001
The system can't perform the operation now. Try again later.
Articles 1–20