My work here is in basically
two fronts: the Dynamo project
and hybrid logic automated theorem proving.
Last source files
for Dynamo (development version)
Published Papers
- Tree-Based Heuristics in Modal Theorem Proving, C. Areces, R. Gennari,
J. Heguiabehere and M. de Rijke. Presented in ECAI'2000, Berlin, Germany.
[Postscript]
- Theorem Proving and Programming with Dynamic First Order Logic, J.
van Eijck, J. Heguiabehere and B. Ó Nualláin. In Proceedings
of ICOS-2, Dagstuhl, Germany. [Postscript] [Full Version]
- The Random Modal QBF Test Set, Juan Heguiabehere and Maarten de Rijke.
In Proceedings of IJCAR Workshop on Issues in the Design and Experimental
Evaluation of Systems for Modal and Temporal Logics, Siena, Italy, 2001. [Postscript][BIB entry]
-
Tableau Reasoning and Programming with Dynamic First Order Logic, J. van Eijck, J. Heguiabehere and B. Ó Nualláin. In Logic Journal of the IGPL,Volume 9, Number 3, pp. 411-445.
[Postscript]
[BIB entry]
- Expressivity of Extensions of Dynamic Predicate Logic, Balder ten Cate, Jan van Eijck and Juan Heguiabehere. In Proceedings of the 13th Amsterdam Colloquium. Amsterdam, 2001.[Postscript]
- HyLoRes 1.0: Direct Resolution for Hybrid Logics, Carlos Areces and
Juan Heguiabehere. In Proceedings of CADE-18, Copenhagen, Denmark, 2002.[Postscript][BIB entry]
-
HyLoRes: Direct Resolution for Hybrid Logics, Carlos Areces and
Juan Heguiabehere. In Workshop Proceedings of Methods for Modalities 2, Amsterdam, 2002.[Postscript][BIB entry]
-
Structured Problems for Modal Satisfiability Testing, Juan Heguiabehere, Gabriel Infante López and Maarten de Rijke. In Workshop Proceedings of Methods for Modalities 2, Amsterdam, 2002.
[Pdf][
BIB entry]
HyLoRes: A Hybrid Logic Prover Based on Direct Resolution,
Carlos Areces and Juan Heguiabehere. In Proceedings of AIML 2002, Toulouse, France.
[Postscript]
[BIB entry]
-
HyLoRes: A Hybrid Logic Prover Based on Direct Resolution(System Demo),
Carlos Areces and Juan Heguiabehere. In Proceedings of BNAIC 2002, Leuven, Belgium.
[Postscript]
[BIB entry]
-
Direct Resolution for Modal-like Logics, Carlos Areces and Juan Heguiabehere. In Proceedings of WIL 2002, Tbilisi, Georgia
[Postscript]
[BIB entry]
-
Pre- and Postcondition Reasoning for Dynamic First Order Logic, Juan Heguiabehere. Presented at LPAR '02, Tbilisi, Georgia.
[Postscript]
[BIB entry]
-
hGen: A random CNF formula generator for hybrid languages, Carlos Areces and Juan Heguiabehere. In Proceedings of Methods for Modalities 3, Toulouse, France. September 2003.
[Postscript]