| Tree-based heuristics in modal theorem proving C Areces, R Gennari, J Heguiabehere, M de Rijke Proceedings of ECAI'2000, 199--203, 2000 | 58 | 2000 |
| HyLoRes 1.0: Direct Resolution for Hybrid Logics C Areces, J Heguiabehere International Conference on Automated Deduction, 156-160, 2002 | 26 | 2002 |
| hGen: A random CNF formula generator for hybrid languages C Areces, J Heguiabehere Methods for Modalities 3-M4M-3, 2003 | 22 | 2003 |
| 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 | 17 | 2001 |
| Hylores: A hybrid logic prover based on direct resolution C Areces, J Heguiabehere | 13 | 2002 |
| 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 | 10 | 2012 |
| The random modal QBF test set J Heguiabehere, M de Rijke IJCAR’2001 Workshop on Issues in the Design and Experimental Evaluation of …, 2001 | 8 | 2001 |
| 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 | 5 | 2000 |
| NeOn deliverable D7. 2.3 C Caracciolo, J Heguiabehere, A Gangemi, W Peters, A Stellato Initial network of fisheries ontologies. NeOn project 404, 2009 | 4 | 2009 |
| Networked ontologies from the fisheries domain C Caracciolo, J Heguiabehere, M Sini, J Keizer Metadata and Semantic Research: Third International Conference, MTSR 2009 …, 2009 | 4 | 2009 |
| Expressivity of extensions of dynamic predicate logic BD ten Cate, J van Eijck, JM Heguiabehere AmsterdamILLC/Department of Philosophy, 2001 | 4 | 2001 |
| A tableau calculus for dynamic first order logic with applications in natural language semantics DJN van Eijck, JM Heguiabehere, Ó Nualláin | 4 | 2000 |
| Direct resolution for modal-like logics C Areces, J Heguiabehere na, 2002 | 3 | 2002 |
| Dynamo with constraint handling J van Eijck, J Heguiabehere Manuscript, CWI/ILLC, October, 1999 | 1 | 1999 |
| 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 |
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
