Sorted by Date

Change sort order:

| 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 |

2016

Areces, C. and Fervari, R.. Hilbert-style Axiomatization for Hybrid XPath with Data. In Proceedings of the 15th European Conference On Logics In Artificial Intelligence (JELIA'2016), Larnaca, Cyprus, November 2016.
Details     BibTeX     Download: [pdf] 

Areces, C., Fervari, R., Hoffmann, G., and Martel, M.. Relation-Changing Logics as Fragments of Hybrid Logics. In Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, pp. 16–29, Open Publishing Association, Catania, Italy, September 2016.
Details     BibTeX     Download: [pdf] 

2015

Areces, C.. Ciencias de la Computación. In Estado y Perspectivas de las Ciencias Exactas, Físicas y Naturales en la Argentina, pp. 129–173, Ministerio de Ciencia, Tecnología e Innovación Productiva de la Nación, 2015.
Details     BibTeX     Download: [pdf] 

Areces, C., van Ditmarsch, H., Fervari, R., and Schwarzentruber, F.. The Modal Logic of Copy and Remove. Information and Computation, 2015. In print
Details     BibTeX     Download: [pdf] 

Areces, C., Fervari, R., and Hoffmann, G.. Relation-changing modal operators. Logic Journal of the IGPL, 23(4):601–627, 2015.
Details     BibTeX     Download: [pdf] 

Areces, C., Fontaine, P., and Merz, S.. Modal Satisfiability via SMT Solving. In De Nicola, R. and Hennicker, R., editors, Software, Services, and Systems, Lecture Notes in Computer Science, pp. 30–45, Springer International Publishing, 2015.
Details     BibTeX     Download: [pdf] 

Areces, C. and Orbe, E.. Symmetries in Modal Logics. Bulletin of Symbolic Logic, 21(4):373–401, 2015.
Details     BibTeX     Download: [pdf] 

Areces, C. and Orbe, E.. Symmetric blocking. Theoretical Computer Science, 606:25–41, Elsevier, 2015.
Details     BibTeX     Download: [pdf] 

Figueira, D., Figueira, S., and Areces, C.. Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. Journal of Artificial Intelligence Research, 53:271–314, 2015.
Details     BibTeX     Download: [pdf] 

2014

Areces, C., Bustos, F., Dominguez, M., and Hoffmann, J.. Optimizing Planning Domains by Automatic Action Schema Splitting. In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS'14), pp. 11–19, AAAI Press, Portsmouth, NH, USA, 2014.
Details     BibTeX     Download: [pdf] 

Areces, C., Carreiro, F., and Figueira, S.. Characterization, Definability and Separation via Saturated Models. Theoretical Computer Science, 537:72–86, 2014.
Details     BibTeX     Download: [pdf] 

Areces, C., van Ditmarsch, H., Fervari, R., and Schwarzentruber, F.. Logics with Copy and Remove. In Kohlenbach, U., Barceló, P., and de Queiroz, R., editors, Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Lecture Notes in Computer Science, pp. 51–65, Springer, Valparaíso, Chile, September 2014.
Details     BibTeX     Download: [pdf] 

Areces, C., Fervari, R., and Hoffmann, G.. Swap Logic. Logic Journal of the IGPL, 22(2):309–332, 2014.
Details     BibTeX     Download: [pdf] 

Areces, C.,, Blackburn, P., Huertas, A.,, and Manzano, M.. Completeness in Hybrid Type Theory. Journal of Philosophical Logic, 43(2--3):209–238, June 2014.
Details     BibTeX     Download: [pdf] 

Figueira, D., Figueira, S., and Areces, C.. Basic Model Theory of XPath on Data Trees. In Proceedings of the 17th International Conference on Database Theory, Athens, Greece, March 2014.
Details     BibTeX     Download: [pdf] 

2013

C. Areces and L. Alonso Alemany, editors. Anales de las 42 JAIIO Jornadas Argentinas de Informática, SADIO Sociedad Argentina de Informática, 2013.
Details     BibTeX     Download: (unavailable)

Areces, C., Deharbe, D., Fontaine, P., and Orbe, E.. SyMT: finding symmetries in SMT formulas. In Proceedings of the 11th International Workshop on Satisfiability Modulo Theories, Helsinki, Finland, July 2013.
Details     BibTeX     Download: [pdf] 

Areces, C., Fervari, R., and Hoffmann, G.. Tableaux for Relation-Changing Modal Logics. In Proceedings of Frontiers of Combining Systems 2013, Nancy, France, September 2013.
Details     BibTeX     Download: [pdf] 

Areces, C., Hoffmann, G., and Orbe, E.. Symmetries in Modal Logics. In Proceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications, pp. 27–44, Open Publishing Association, 2013.
Details     BibTeX     Download: [pdf] 

Areces, C. and Orbe, E.. Dealing with Symmetries in Modal Tableaux. In D. Galmiche and D. Larchey-Wendling, editors, Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Computer Science, pp. 13–27, Springer, 2013.
Details     BibTeX     Download: [pdf] 

Ong, L., Areces, C., Figueira, S., and de Queiroz, R.. 19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012). The Bulletin of Symbolic Logic, 19(3):425–426, 2013.
Details     BibTeX     Download: [pdf] 

2012

Areces, C., Fervari, R., and Hoffmann, G.. Moving Arrows and Four Model Checking Results. In Ong, L. and de Queiroz, R., editors, Proceedings of the 19th International Workshop on Logic, Language, Information and Computation (WoLLIC 2012), Lecture Notes in Computer Science, pp. 142–153, Springer, Buenos Aires, Argentina, September 2012.
Details     BibTeX     Download: [pdf] 

Areces, C., Figueira, S., and Mera, S.. Completeness results for memory logics. Annals of Pure and Applied Logic, 163(7):961–972, 2012. Extended version of LFCS'09 paper of the same title.
Details     BibTeX     Download: [pdf] 

Areces, C., Hoffmann, G., and Orbe, E.. Symmetries in Modal Logics: A Coinductive Approach. In Proceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012), Rio de Janeiro, September 2012.
Details     BibTeX     Download: [pdf] 

Orbe, E., Areces, C., and Infante Lopez, G.. A Note about Modal Symmetries. Technical Report 6/2012,, Facultad De Matemática, Astronomía y Física, Universidad Nacional de Córdoba, 2012.
Details     BibTeX     Download: [pdf] 

Orbe, E., Areces, C., and Infante-López, G.. iSat: Structure Visualization for SAT Problems. In Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-18), Merida, Venezuela, March 2012.
Details     BibTeX     Download: [pdf] 

Altamirano, R., Areces, C., and Benotti, L.. Probabilistic Refinement Algorithms for the Generation of Referring Expressions. In Proceedings of the 24th International Conference on Computational Linguistics (COLING 2012), pp. 53–62, Mumbai, India, December 2012.
Details     BibTeX     Download: [pdf] 

2011

Areces, C., Blackburn, P., Huertas, A., and Manzano, M.. Hybrid Type Theory: A Quartet in Four Movements. Principia, 15(2):225–247, 2011.
Details     BibTeX     Download: [pdf] 

Areces, C., Carreiro, F., Figueira, S., and Mera, S.. Basic Model Theory for Memory Logics. In Beklemishev, L. and de Queiroz, R., editors, Proceedings of the 18th International Workshop on Logic, Language, Information and Computation (WoLLIC 2011), Lecture Notes in Computer Science, pp. 20–34, Springer, Philadelphia, October 2011.
Details     BibTeX     Download: [pdf] 

Areces, C., Figueira, D., Figueira, S., and Mera, S.. The Expressive Power of Memory Logics. Review of Symbolic Logic, 4(2):290–318, Cambridge University Press , 2011.
Details     BibTeX     Download: [pdf] 

Areces, C., Figueira, S., and Gorín, D.. Using Logic in the Generation of Referring Expressions. In Pogodalla, S. and Prost, J., editors, Proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics (LACL 2011), Lecture Notes in Computer Science, pp. 17–32, Springer, Montpelier, June 2011.
Details     BibTeX     Download: [pdf] 

Areces, C. and Fontaine, P.. Combining Theories: The Ackerman and Guarded Fragments. In Tinelli, C. and Sofronie-Stokkermans, V., editors, Proceedings of Frontiers of Combining Systems, 8th International Symposium, (FroCoS 2011), Lecture Notes in Computer Science, pp. 40–54, Springer, Saarbruecken, Germany, October 2011.
Details     BibTeX     Download: [pdf] 

Areces, C. and Gorín, D.. Resolution with Order and Selection for Hybrid Logics. Journal of Automated Reasoning, 46(1):1–42, 2011.
Details     BibTeX     Download: [pdf] 

Areces, C. and Gorín, D. Unsorted Functional Translations. Electronic Notes in Theoretical Computer Science, 278(0):3–16, 2011. Proceedings of the 7th Workshop on Methods for Modalities (M4M 2011)
Details     BibTeX     Download: [pdf] 

2010

Areces, C. and Gorín, D.. Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). Journal of Applied Logic, 8(4):305–318, Elsevier, 2010.
Details     BibTeX     Download: [pdf] 

Areces, C., Hoffmann, G., and Denis, A.. Modal Logics with Counting. In WoLLIC 2010 17th Workshop on Logic, Language, Information and Computation - WoLLIC 2010 , Brasilia, Brazil , 2010.
Details     BibTeX     Download: [pdf] 

Benotti, L., Estrella, P., and Areces, C.. Dialogue Systems for Virtual Environments. In Proceedings of the NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas Workshop, 2010.
Details     BibTeX     Download: [pdf] 

2009

Areces, C. and Figueira, D.. Which Semantics for Neighbourhood Semantics?. In Proceedigns of IJCAI 09, pp. 671–676, Pasadena, California, USA, 2009.
Details     BibTeX     Download: [pdf] 

Areces, C., Figueira, D., Gorin, D., and Mera, S.. Tableaux and Model Checking for Memory Logics. In Automated Reasoning with Analytic Tableaux and Related Methods, pp. 47–61, Springer Berling / Heidelberg, Oslo, Norway, 2009. Proceedings of Tableaux09
Details     BibTeX     Download: [pdf] 

Areces, C., Figueira, S., and Mera, S.. Completeness results for memory logics. In Proceedings of LFCS'09, the Symposium on Logic Foundations of Computer Science, pp. 16–30, Deerfield Beach, Florida, USA, 2009.
Details     BibTeX     Download: [pdf] 

Areces, C., Gorín, D., Lorenzo, A., and Pérez Rodríguez, M.. Testing Provers on a Grid - Framework Description. In Proceedings of the 22nd International Workshop on Description Logics (DL 2009), CEUR-WS.org, 2009.
Details     BibTeX     Download: [pdf] 

Hoffmann, G. and Areces, C.. HTab: A Terminating Tableaux System for Hybrid Logic. Electronic Notes in Theoretical Computer Science, 231:3–19, Elsevier, March 2009. Proceedings of Methods for Modalities 5
Details     BibTeX     Download: [pdf] 

2008

Areces, C., Figueira, D., Figueira, S., and Mera, S.. Expressive Power and Decidability for Memory Logics. In Logic, Language, Information and Computation, Lecture Notes in Computer Science, pp. 56–68, Springer Berlin / Heidelberg, Edinburgh, Scotland, 2008. Proceedings of WoLLIC 2008
Details     BibTeX     Download: [pdf] 

Areces, C., Koller, A., and Striegnitz, K.. Referring Expressions as Formulas of Description Logic. In Proceedings of the 5th International Natural Language Generation, Salt Fork, OH, USA, 2008.
Details     BibTeX     Download: [pdf] 

Areces, C. and Demri, S., editors. Methods for Modalities 2007, ENTCS, 2008.
Details     BibTeX     Download: (unavailable)

Areces, C. and Goldblatt, R., editors. Advances in Modal Logic, Volume 7, College Publications, 2008.
Details     BibTeX     Download: (unavailable)

2007

Areces, C.. Hybrid Logics: The Old and the New. In Proceedigns of LogKCA-07, pp. 15–29, November 2007.
Details     BibTeX     Download: [pdf] 

Sustretov, D., Hoffmann, G., Areces, C., and Blackburn, P.. Experiments in Theorem Proving for Topological Hybrid Logic. In Proceedings of Methods for Modalities 5, November 2007.
Details     BibTeX     Download: [pdf] 

2006

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

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

2005

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

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] 

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

2004

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] 

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] 

2003

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] 

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] 

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. 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., 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] 

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] 

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: [pdf] 

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

2001

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 Bernardi, R.. Analyzing the Core of Categorial Grammar. In Proceedings of ICoS-3, Siena, Italy, June 2001.
Details     BibTeX     Download: [pdf] 

Areces, C., Bernardi, R., and Moortgat, M.. Galois connections in categorial type logic. Electronic Notes in Theoretical Computer Science, 53:3–20, 2001. Extended version of FGMOL'01 paper of the same title.
Details     BibTeX     Download: [pdf] 

Areces, C., Bernardi, R., and Moortgat, M.. Galois Connections in Categorial Type Logic. In Proceedings of Formal Grammar / Mathematics of Language, Helsinki, Finland, August 2001.
Details     BibTeX     Download: [pdf] 

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

Areces, C., Blackburn, P., and Marx, M.. 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., 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., Gennari, R., Heguiabehere, J., and de Rijke, M.. Tree-Based Heuristics in Modal Theorem Proving (abstract). In Proceedings BNAIC'01, pp. 31–32, 2001.
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., 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. 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 Blackburn, P., editors. Hybrid Logics, Oxford University Press, October 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. and Becher, V.. Analytic AGM Revision. Technical Report CDMTCS-138, Centre for Discrete Mathematics and Theoretical Computer Science, The University of Auckland, 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., 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., 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., 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. and de Rijke, M.. Description and/or Hybrid Logics. In Proceedings of AiML 2000, Leipzig, Germany, 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] 

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. 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: [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., 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., 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., 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] 

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] 

Accorsi, R., Areces, C., and de Rijke, M.. An Approach to Feature Interaction via Stable Models. Brazilian Electronic Journal on Mathematics of Computation, 1, 1999.
Details     BibTeX     Download: [pdf] 

1998

C. Areces, M. Felder, D. Hirsch, and D. Yankelevich. Modal Logic as a Design Notation (position paper). In Proceedings of the 9th International Workshop on Software Specification and Design (IWSSD9), pp. 150–152, Ise-Shima, Japan, April 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: [pdf] 

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: [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: [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. 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] 

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

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: [pdf] 

1995

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] 

Areces, C. and Hirsch, D.. From Boxes to Worlds. In Proceedings of the First CACiC, pp. 266–276, Buenos Aires, Argentina, 1995.
Details     BibTeX     Download: [pdf] 


Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49