Juan Heguiabehere
Juan Heguiabehere
Senior Researcher, Fundación Sadosky
Geverifieerd e-mailadres voor fundacionsadosky.org.ar
Titel
Geciteerd door
Geciteerd door
Jaar
Tree-based heuristics in modal theorem proving
C Areces, R Gennari, J Heguiabehere, M De Rijke
BNAIC’01 Sponsors, 2001
522001
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
202003
Hylores: A hybrid logic prover based on direct resolution
C Areces, J Heguiabehere
16*2002
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
142001
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
82012
The random modal QBF test set
J Heguiabehere, M De Rijke
IJCAR’2001 Workshop on Issues in the Design and Experimental Evaluation of …, 2001
72001
Expressivity of extensions of dynamic predicate logic
BD ten Cate, J van Eijck, JM Heguiabehere
AmsterdamILLC/Department of Philosophy, 2001
52001
Theorem proving and programming with dynamic first order logic
DJN Van Eijck, JM Heguiabehere, BO Nuallain, J Heguiabehere, ...
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
A tableau calculus for dynamic first order logic with applications in natural language semantics
DJN van Eijck, JM Heguiabehere, Ó Nualláin
42000
Networked ontologies from the fisheries domain
C Caracciolo, J Heguiabehere, M Sini, J Keizer
Research Conference on Metadata and Semantic Research, 306-311, 2009
32009
Direct resolution for modal-like logics
C Areces, J Heguiabehere
na, 2002
22002
A simple ordering for deciding modal logic
C Areces, R Gennari, J Heguiabehere, M De Rijke
12000
Dynamo with constraint handling
J van Eijck, J Heguiabehere
Manuscript, CWI/ILLC, October, 1999
11999
HyLoRes 1.0: Direct Resolution for Hybrid Logics Carlos Areces and Juan Heguiabehere
C Areces, J Heguiabehere
2007
Building logic toolboxes
JM Heguiabehere
Institute for Logic, Language and Computation, 2003
2003
SOURCE (OR PART OF THE FOLLOWING SOURCE): Type PhD thesis Title Building logic toolboxes
JM Heguiabehere
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
2002
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20