Sorted by Date

Change sort order: Select... Sorted by Date Classified by Publication Type Classified by Research Category

| 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 |

2006

Areces, C. and ten Cate, B.. Hybrid Logics. In Blackburn, P., Wolter, F., and van Benthem, J., editors, Handbook of Modal Logics, Elsevier, 2006.
Details     BibTeX     Download: [pdf] 

Areces, C.. Elija su Propia Lógica. In Azafea. Revista de Filosofía, 2006.
Details     BibTeX     Download: [pdf] 

2005

Areces, C. and de Rijke, M.. Computing with Modal Logics, 2005. In preparation.
Details     BibTeX     Download: (unavailable)

Areces, C., Blackburn, P., Goranko, V., Marx, M., and Seligman, J.. The Hybrid Logic Book, 2005. In preparation.
Details     BibTeX     Download: (unavailable)

Areces, C., editors. Methods for Modalities 3, Elsevier, 2005. Special Issue in the Journal of Applied Logics
Details     BibTeX     Download: [pdf] 

Areces, C. and Blackburn, P.. Reichenbach, Prior and Montague: A semantic get-together. In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay, College Publications, 2005.
Details     BibTeX     Download: (unavailable)

Areces, C. and Gorín, D.. Ordered Resolution with Selection for H(@). In Proceedings of LPAR 2004, pp. 125–141, Springer, Montevideo, Uruguay, 2005.
Details     BibTeX     Download: [pdf] 

2004

Lutz, C., Areces, C., Horrocks, I., and Sattler, U.. Keys, Nominals, and Concrete Domains. Journal of Artificial Intelligence Research, 23:667–726, 2004.
Details     BibTeX     Download: [pdf] 

Areces, C. and Bernardi, R. Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information, 13(2):121–137, 2004. Extended version of ``Analyzing the Core of Categorial Grammar'' (Areces and Bernardi).
Details     BibTeX     Download: [pdf] 

2003

Areces, C., Blackburn, P., and Marx, M.. Repairing the interpolation Theorem in Quantified Modal Logic. Annals of Pure and Applied Logics, 123(1--3):287–299, 2003.
Details     BibTeX     Download: [pdf] 

Areces, C., Infante-Lopez, G., and de Rijke, M.. Controlled model exploration. In Advances in Modal Logic, pp. 1–16, World Scientific Publishing Co. Pte. Ltd., 2003. Extended version of ``Decomposing Modal Logic'' (Areces, Infante-Lopez and de Rijke)
Details     BibTeX     Download: [pdf] 

Areces, C. and Heguiabehere, J.. hGen: A Random CNF Formula Generator for Hybrid Languages. In Methods for Modalities 3 - M4M-3, Nancy, France, Nancy, France, September 2003.
Details     BibTeX     Download: [pdf] 

Areces, C. and Bernardi, R.. In Situ Binding: A Hybrid Approach. In Inference in Computational Semantics 4 - ICoS-4, Nancy, France, Nancy, France, September 2003.
Details     BibTeX     Download: [pdf] 

Lutz, C., Areces, C., Horrocks, I., and Sattler, U.. Keys, Nominals, and Concrete Domains. In Eighteenth International Joint Conference on Artificial Intelligence - IJCAI'03, Acapulco, Mexico, pp. 349–354, Acapulco, Mexico, August 2003.
Details     BibTeX     Download: [pdf] 

Areces, C., Blackburn, P., Martinez Hernandez, B., and Marx, M.. Handling Boolean ABoxes. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy, September 2003.
Details     BibTeX     Download: [pdf] 

2002

Areces, C. and Heguiabehere, J.. HyLoRes 1.0: Direct Resolution for Hybrid Logics. In Proceedings of CADE-18, pp. 156–160, Copenhagen, Denmark, July 2002.
Details     BibTeX     Download: [pdf] 

Areces, C. and Heguiabehere, J.. Direct Resolution for Modal-like Logics. In Proceedings of the 3rd International Workshop on the Implementation of Logics, pp. 3–16, Tbilisi, Georgia, 2002.
Details     BibTeX     Download: [pdf] 

Areces, C. and Heguiabehere, J.. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Demo). In Proceedings of BNAIC 2002 14th Belgian-Dutch Conference on Artificial Intelligence, Leuven, Belgium, 2002.
Details     BibTeX     Download: [pdf] 

Areces, C. and Heguiabehere, J.. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution. In Proceedings of Advances in Modal Logic 2002, Toulouse, France, 2002.
Details     BibTeX     Download: [pdf] 

Areces, C., Infante-Lopez, G., and de Rijke, M.. Decomposing Modal Logic. In Proceedings of Advances in Modal Logic 2002, Toulouse, France, 2002.
Details     BibTeX     Download: (unavailable)

Areces, C. and Lutz, C.. Concrete Domains and Nominals United. In Proceedings of HyLo@LICS, Copenhagen, Denmark, July 2002.
Details     BibTeX     Download: [pdf] 

2001

C. Areces, P. Blackburn, and M. Marx. Repairing the Interpolation Theorem in First-Order Modal Logic. In Proceedings of the 16th Annual IEEE Symp. on Logic in Computer Science, LICS 2001, IEEE Computer Society Press, June 2001. Short Presentation
Details     BibTeX     Download: [pdf] 

Areces, C. and Blackburn, P., editors. Hybrid Logics, Special Issue in the Journal of Logic and Computation, Oxford University Press, October 2001.
Details     BibTeX     Download: [pdf] 

Areces, C. and Blackburn, P.. Bringing them all together. Journal of Logic and Computation, 11(5):669–2001, 2001.
Details     BibTeX     Download: [pdf] 

Areces, C., Blackburn, P., and Marx, M.. Hybrid logics: characterization, interpolation and complexity. The Journal of Symbolic Logic, 66(3):977–1010, 2001.
Details     BibTeX     Download: [pdf] 

Areces, C., de Nivelle, H., and de Rijke, M.. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, 11(5):717–736, 2001.
Details     BibTeX     Download: [pdf] 

Areces, C., R. Bernardi, and M. Moortgat. Galois connections in categorial type logic. Electronic Notes in Theoretical Computer Science, 53:3–20, 2001.
Details     BibTeX     Download: [pdf] 

Areces, C. and de Rijke, M.. From Description to Hybrid Logics, and Back. In Wolter, F., Wansing, H., de Rijke, M., and Zakharyaschev, M., editors, Advances in Modal Logic, pp. 17–36, CSLI Publications, 2001. Extended version of ``Description and/or Hybrid Logics'' (Areces and de Rijke).
Details     BibTeX     Download: [pdf] 

Areces, C. and Becher, V.. Iterable AGM Functions. In H. Rott and M. Williams, editors, Frontiers in Belief Revision, Applied Logic Series, pp. 261–277, Kluwer Academic Publishers, 2001. Extended version of ``Iterable AGM Functions'' (Areces and Becher).
Details     BibTeX     Download: [pdf] 

Areces, C. and Heguiabehere, J.. HyLoRes: Direct Resolution for Hybrid Logics. In Proceedings of Methods for Modalities 2, Amsterdam, The Netherlands, November 2001.
Details     BibTeX     Download: [pdf] 

Areces, C., Bernardi, R., and Moortgat, M.. Galois Connections in Categorial Type Logic. In Proceedings of Mathematics of Language and Formal Grammar, Helsinki, Finland, Augustus 2001.
Details     BibTeX     Download: (unavailable)

Areces, C., Blackburn, P., and Marx, M.. Repairing the Interpolation Theorem in First-Order Modal Logic. In Proceedinds of BNAIC 2001, pp. 31–32, Amsterdam, The Netherlands, October 2001.
Details     BibTeX     Download: [pdf] 

Areces, C. and Bernardi, R.. Analyzing the Core of Categorial Grammar. In Proceedings of ICoS-3, Siena, Italy, June 2001.
Details     BibTeX     Download: [pdf] 

2000

Areces, C.. Logic Engineering. The Case of Description and Hybrid Logics. Ph.D. Thesis, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands, 2000.
Details     BibTeX     Download: [pdf] 

Areces, C., Franconi, E., Goré, R., de Rijke, M., and Schlingloff, H., editors. Methods for Modalities 1, Oxford University Press, 2000. Special Issue in the Journal of the IGPL
Details     BibTeX     Download: [pdf] 

Areces, C., Blackburn, P., and Marx, M.. The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL, 8(5):653–679, 2000.
Details     BibTeX     Download: [pdf] 

Areces, C., Becher, V., and Ferro, S. Characterization Results for d-Horn Formulas. In Cavedon, L., Blackburn, P., Braisby, N., and Shimojima, A., editors, Logic, Language and Computation, pp. 49–66, CSLI Publications, 2000. Extended version of ``Characterization Results for d-Horn Formulas'' (Areces, Becher and Ferro).
Details     BibTeX     Download: [pdf] 

Areces, C., Hoogland, E., and de Jongh, D.. Interpolation, Definability and Fixed Points in Interpretability Logics. In K. Segerberg, M. Zakharyaschev, M. de Rijke, and H. Wansing, editors, Advances in Modal Logic, pp. 35–58, CSLI Publications, 2000. Extended version of ``The Interpolation Theorem for IL and ILP'' (Areces, de Jongh and Hoogland).
Details     BibTeX     Download: [pdf] 

Areces, C., Gennari, R., Heguiabehere, J., and de Rijke, M.. Tree-Based Heuristics in Modal Theorem Proving. In Proceedings of ECAI'2000, pp. 199–203, Berlin, Germany, 2000.
Details     BibTeX     Download: [pdf] 

Areces, C. and de Rijke, M.. Description and/or Hybrid Logics. In Proceedings of AiML 2000, Leipzig, Germany, 2000.
Details     BibTeX     Download: (unavailable)

Accorsi, R., Areces, C., Bouma, W., and de Rijke, M.. Features as Constraints. In Proceedings of Feature Interaction Workshop (FIW'00), pp. 210–225, IOS Press, Glasgow, UK, 2000.
Details     BibTeX     Download: [pdf] 

1999

Areces, C.. Fragmentary Memories. In J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Vossiuspers, AUP, Amsterdam, 1999. Non refereed.
Details     BibTeX     Download: [pdf] 

Areces, C., Monz, C., de Nivelle, H., and de Rijke, M.. The Guarded Fragment: Ins and Outs. In J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Vossiuspers, AUP, Amsterdam, 1999. Non refereed.
Details     BibTeX     Download: [pdf] 

Areces, C., de Nivelle, H., and de Rijke, M.. Prefixed resolution: a resolution method for modal and description logics. In Automated deduction --- CADE-16 (Trento, 1999), pp. 187–201, Springer, Berlin, Germany, 1999.
Details     BibTeX     Download: [pdf] 

Areces, C., Blackburn, P., and Marx, M.. A Road-map on Complexity for Hybrid Logics. In Computer Science Logic, pp. 307–321, Springer, Madrid, Spain, 1999. Proceedings of the 8th Annual Conference of the EACSL, Madrid, September 1999.
Details     BibTeX     Download: [pdf] 

Areces, C., Bouma, W., and de Rijke, M.. Feature Interaction as a Satisfiability Problem. In Proceedings of MASCOTS'99, pp. 339–346, IEEE Computer Society, Los Alamitos, California, October 1999.
Details     BibTeX     Download: [pdf] 

Areces, C., Blackburn, P., and Marx, M.. Hybrid logic is the bounded fragment of first order logic. In Proceedings of 6th Workshop on Logic, Language , Information and Computation, WOLLIC99, pp. 33–50, Rio de Janeiro, Brazil, 1999.
Details     BibTeX     Download: [pdf] 

Areces, C., Bouma, W., and de Rijke, M.. Description Logics and Feature Interaction. In Proceedings of the International Workshop on Description Logics (DL'99), pp. 28–32, Linköping, Sweden, 1999.
Details     BibTeX     Download: [pdf] 

Areces, C. and Becher, V.. Update, the Infinite Case. In Proceedings of WAIT'99, Argentinian Workshop on Theoretical Computer Science, Buenos Aires, Argentina, 1999.
Details     BibTeX     Download: (unavailable)

Aiello, M., Areces, C., and de Rijke, M.. Spatial Reasoning for Image Retrieval. In Proceedings of the International Workshop on Description Logics (DL'99), pp. 23–27, Linköping, Sweden, 1999.
Details     BibTeX     Download: [pdf] 

Accorsi, R., Areces, C., and de Rijke, M.. Towards Feature Interaction via Stable Models. In Proceedings of the 2nd WFM, Florianópolis, Brasil, October 1999.
Details     BibTeX     Download: [pdf] 

1998

Areces, C. and Marx, M.. Failure of interpolation in combined modal logics. Notre Dame Journal of Formal Logic, 39(2):253–273, 1998.
Details     BibTeX     Download: [pdf] 

Areces, C. and de Rijke, M.. Expressiveness Revisited. In Proceedings of the 1998 International Workshop on Description Logics (DL'98), pp. 35–43, Trento, Italy, 1998.
Details     BibTeX     Download: [pdf] 

Areces, C., de Jongh, D., and Hoogland, E.. The Interpolation Theorem for IL and ILP. In Proceedings of AiML98. Advances in Modal Logic, Uppsala, Sweden, October 1998.
Details     BibTeX     Download: (unavailable)

Areces, C. and de Rijke, M.. Interpolation and Bisimulation in Temporal Logic. In Proceedings of WoLLIC'98. Workshop of Logic, Language, Information and Computation, pp. 15–21, S\ ao Paulo, Brazil, July 1998.
Details     BibTeX     Download: [pdf] 

Areces, C. and Becher, V.. Iterable AGM Functions. In Proceedings of BR'98. Belief Revision Workshop, Trento, Italy, 1998.
Details     BibTeX     Download: (unavailable)

Areces, C., Becher, V., and Ferro, S.. Characterization Results for d-Horn Formulas. In Proceedings of ITALLC'98. Information Theoretic Approaches to Logic, Language and Computation, Hsi-Tow, Taiwan, 1998.
Details     BibTeX     Download: (unavailable)

1997

Areces, C., Felder, M., Hirsch, D., and Yankelevich, D.. Modal Logic as a Design Notation. In Proceedings of the 1st KIT125 Workshop, pp. 93–108, Como, Italy, 1997.
Details     BibTeX     Download: [pdf] 

1996

Areces, C. and Hirsch, D.. La Lógica Modal como Herramienta de Ingeniería de Software. Master's Thesis, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación,1996.
Details     BibTeX     Download: (unavailable)

Areces, C. and Hirsch, D.. Modal Logic as a Software Engineering Tool. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación, 1996.
Details     BibTeX     Download: (unavailable)

1995

Areces, C. and Hirsch, D.. From Boxes to Worlds. In Proceedings of the First CACiC, Buenos Aires, Argentina, 1995.
Details     BibTeX     Download: (unavailable)

Areces, C. and Becher, V.. On the Logic For Utopia. In Annals of the 1st CACiC, Bahía Blanca, Argentina, 1995.
Details     BibTeX     Download: [pdf]