• 2026 • 2025 • 2024 • 2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014 • 2013 • 2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2003 • 2002 • 2001 • 2000 • 1999 • 1998 • 1997 • 1996 • 1995 •
2026
Areces, C., Fervari, R., and Mondejar, A.. Revisiting Ability-Based Bisimulation. In Proceedings of the 23rd International
Conference on Principles of Knowledge Representation and Reasoning (KR 2026), 2026. To appear
Details
BibTeX
Download:
[pdf]
Areces, C., Fervari, R., and Mondejar, A.. Computational Aspects of Plan-Dependent Model Equivalence: The Case of Knowing-How
Bisimulations. In Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026),
pp. 1323–1331, Association for Computing Machinery, 2026.
Details
BibTeX
Download:
[pdf]
Areces, C.. A Survey on Relation-Changing Modal Logics. In van Benthem, J. and Liu, F., editors, Graph Games and Logic
Design, Trends in Logic, Springer Nature, Switzerland, 2026.
Details
BibTeX
Download:
[pdf]
2025
C. Areces, V. Cassano, D. Dutto, and R. Fervari. Sequent Calculi for Data-Aware Modal Logics. In 20th International Symposium
on Logical and Semantic Frameworks, with Applications (LSFA 2025), 2025.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Fervari, A. Saravia, and F. Velázquez-Quesada. Uncertainty-based knowing how logic. Journal
of Logic and Computation, 33(6):1301–1325, 2025.
Details
BibTeX
Download:
[pdf]
Areces, C., Cassano, V., and Fervari, R.. Data-Aware Hybrid Tableaux. Logical Methods in Computer Science, 2025. To
appear
Details
BibTeX
Download:
[pdf]
Areces, C., Fervari, R., Saravia, A., and Velázquez-Quesada, F.. The Dynamics of Knowing How. Journal of Logic, Language
and Information, 2025. To appear
Details
BibTeX
Download:
[pdf]
Areces, C., Cassano, V., Castro, P., and Fervari, R.. Deontic Action Logics: A Modular Algebraic Perspective. Journal of
Logic, Language and Information (JLLI), 2025. To appear
Details
BibTeX
Download:
[pdf]
2024
C. Areces, L. Benotti, F. Bulgarelli, M. Echeveste, and N. Finzi. Leveraging Language Models and Automatic Summarization in
Online Programming Learning Environments. Communications of the ACM, 67(8):86–87, 2024.
Details
BibTeX
Download:
[pdf]
2023
F. Areces, B. Ocampo, C. Areces, M. Dom\'inguez, and D. Gnad. Partial Grounding in Planning using Small Language Models. In
Proceedings of the 2023 Workshop on Knowledge Engineering for Planning and Scheduling, Prague, Czech Republic, 7 2023.
Details
BibTeX
Download:
[pdf]
C. Areces, V. Cassano, P. Castro, R. Fervari, and A. Saravia. How Easy it is to Know How: An Upper Bound for the
Satisfiability Problem. In S. Gaggl, M. Martinez, and M. Ortiz, editors, Logics in Artificial Intelligence. 18th
European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings,
Lecture Notes in Computer Science, pp. 405–419, 2023.
Details
BibTeX
Download:
[pdf]
C. Areces, V. Cassano, D. Dutto, and R. Fervari. Data Graphs with Incomplete Information (and a Way to Complete
Them). In S. Gaggl, M. Martinez, and M. Ortiz, editors, Logics in Artificial Intelligence. 18th European
Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings, Lecture Notes in
Computer Science, pp. 729–744, 2023.
Details
BibTeX
Download:
[pdf]
C. Areces, V. Cassano, P. Castro, R. Fervari, and A. Saravia. A Deontic Logic of Knowingly Complying. In Proceedings of
the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), pp. 364–372,
International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2023.
Details
BibTeX
Download:
[pdf]
C. Areces and D. Costa, editors. Dynamic Logic. New Trends and Applications, Springer International Publishing, 2023.
Details
BibTeX
Download:
(unavailable)
C. Areces, R. Fervari, A. Saravia, and F. Velázquez-Quesada. First Steps in Updating Knowing How. In
C. Areces and D. Costa, editors, Dynamic Logic. New Trends and Applications, pp. 1–16, Springer International
Publishing, 2023.
Details
BibTeX
Download:
[pdf]
G. Hoffmann, C. Areces, V. Cassano, and R. Fervari. DefTab: A Tableaux System for Sceptical
Consequence in Default Modal Logics. In R. Ramanayake and J. Urban, editors, Automated Reasoning with Analytic Tableaux
and Related Methods, 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings,
Lecture Notes in Computer Science, pp. 37–48, 2023.
Details
BibTeX
Download:
[pdf]
2022
C. Areces, V. Cassano, and R. Fervari. Non-monotonic Reasoning via Dynamic Consequence. In A. Ciabattoni, E. Pimentel, and
R. de Queiroz, editors, Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC
2022, Ia\csi, Romania, September 20-23, 2022, Proceedings, Lecture Notes in Computer Science, pp. 395–410,
Springer, 2022.
Details
BibTeX
Download:
[pdf]
V. Cassano, R. Fervari, C. Areces, and P. Castro. Algebraic tools for default modal systems. Journal of
Logic and Computation, 2022.
Details
BibTeX
Download:
[pdf]
2021
C. Areces, R. Fervari, A. Saravia, and F. Velázquez-Quesada. Uncertainty-Based Semantics for Multi-Agent
Knowing How Logics. Electronic Proceedings in Theoretical Computer Science, 335:23–37,
2021. Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021,
Beijing, China, June 25-27, 2021
Details
BibTeX
Download:
[pdf]
C. Areces and R. Fervari. Axiomatizing Hybrid XPath with Data. Logical Methods in Computer Science, 17(3), 2021.
Details
BibTeX
Download:
[pdf]
C. Areces, H. van Ditmarsch, R. Fervari, B. Maubert, and F. Schwarzentruber. Copy and remove as dynamic operators.
Journal of Applied Non-Classical Logics, 31(3-4):181–220, 2021.
Details
BibTeX
Download:
[pdf]
P. Castro, V. Cassano, R. Fervari, and C. Areces. Deontic Action Logics via Algebra. In F. Liu, A. Marra,
P. Portner, and F. Van De Putte, editors, Deontic Logic and Normative Systems - 15th International
Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021, pp. 77–93, College publications,
2021.
Details
BibTeX
Download:
[pdf]
2020
C. Areces, M. Campercholi, D. Penazzi, and P. Ventura. The complexity of definability by open first-order
formulas. Logic Journal of the IGPL, 28(6):1093–1105, 2020.
Details
BibTeX
Download:
[pdf]
F. Zaffora Blando, K. Mierzewski, and C. Areces. The Modal Logics of the Poison Game. In F. Liu, H. Ono, and J. Yu, editors,
Knowledge, Proof and Dynamics, pp. 3–23, Springer Singapore, Singapore, 2020.
Details
BibTeX
Download:
[pdf]
V. Cassano, R. Fervari, C. Areces, and P. Castro. Default Modal Systems as Algebraic Updates. In M. Martins
and I. Sedlár, editors, Dynamic Logic. New Trends and Applications - Third International Workshop,
DaL\'i 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers, Lecture Notes in Computer
Science, pp. 103–119, Springer, 2020.
Details
BibTeX
Download:
[pdf]
2019
V. Cassano, R. Fervari, C. Areces, and P. Castro. Interpolation and Beth definability in default
logics. In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy,
May 7-11, 2019, Proceedings, pp. 675–691, 2019.
Details
BibTeX
Download:
[pdf]
V. Cassano, R. Fervari, G. Hoffmann, C. Areces, and P. Castro. A Tableaux Calculus for Default Intuitionistic
Logic. In Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal,
Brazil, August 27-30, 2019, Proceedings, pp. 161–177, 2019.
Details
BibTeX
Download:
[pdf]
P. Castro, V. Cassano, R. Fervari, and C. Areces. An algebraic approach for action based default
reasoning. Electronic Proceedings in Theoretical Computer Science, pp. 91–105, 2019. Proceedings
7th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France,
17-19 July 2019
Details
BibTeX
Download:
[pdf]
D. Gnad, A. Torralba, M. Dom\'inguez, C. Areces, and F. Bustos. Learning How to Ground a Plan - Partial Grounding
in Classical Planning. In The Thirty-Third AAAI Conference on Artificial Intelligence,
AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference,
IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019,
Honolulu, Hawaii, USA, January 27 - February 1, 2019, pp. 7602–7609, 2019.
Details
BibTeX
Download:
[pdf]
D. Gnad, A. Torralba, M. Dominguez, C. Areces, and F. Bustos. IPALAMA - Planner Abstract. 2019. Sparkle Planning Challenge
Details
BibTeX
Download:
[pdf]
2018
C. Areces, L. Benotti, J. Cortez Sánchez, R. Fervari, E. Garc\'ia, M. Gómez, M. Mart\'inez, C. Onetti, and N.
Wolovick. Ciencias de la computación para el aula: 2do. ciclo de primaria, Colihue, 2018.
Details
BibTeX
Download:
[pdf]
C. Areces, M. Campercholi, and V. Ventura. Deciding Open Definability via Subisomorphisms. In Logic, Language, Information,
and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27,
2018, Proceedings, pp. 91–105, 2018.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Fervari, G. Hoffmann, and M. Martel. Satisfiability for relation-changing logics. Journal
of Logic and Computation, 28(7):1443–1470, 2018.
Details
BibTeX
Download:
[pdf]
V. Cassano, C. Areces, and P. Castro. Reasoning About Prescription and Description Using Prioritized Default
Rules. EPiC Series in Computing, 57:196–213, 2018. LPAR-22. 22nd International Conference on Logic for
Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018
Details
BibTeX
Download:
[pdf]
2017
C. Areces, R. Fervari, G. Hoffmann, and M. Martel. Undecidability of Relation-Changing Modal Logics. In Dynamic
Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil,
September 23-24, 2017, Proceedings, pp. 1–16, 2017.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Fervari, and N. Seiler. Tableaux for Hybrid XPath with Data. In Progress in Artificial Intelligence - 18th
EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017,
Proceedings, pp. 611–623, 2017.
Details
BibTeX
Download:
[pdf]
C. Areces, M. Campercholi, D. Penazzi, and P. Sánchez Terraf. The lattice of congruences of a finite
line frame. Journal of Logic and Computation, 27(8):2653–2688, 2017.
Details
BibTeX
Download:
[pdf]
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber. The modal logic of copy and remove. Information
and Computation, 255:243–261, 2017.
Details
BibTeX
Download:
[pdf]
2016
C. Areces and R. Fervari. Hilbert-style Axiomatization for Hybrid XPath with Data. In Proceedings of the
15th European Conference On Logics In Artificial Intelligence (JELIA'2016), Larnaca, Cyprus, 2016.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Fervari, G. Hoffmann, and M. Martel. Relation-Changing Logics as Fragments of Hybrid
Logics. Electronic Proceedings in Theoretical Computer Science, 226:16–29, Open Publishing
Association, Catania, Italy, 2016. Proceedings of the 7th International Symposium on Games, Automata, Logics
and Formal Verification
Details
BibTeX
Download:
[pdf]
2015
C. Areces. Ciencias de la Computación. In Estado y Perspectivas de las Ciencias Exactas, F\'isicas
y Naturales en la Argentina, pp. 129–173, Ministerio de Ciencia, Tecnolog\'ia e Innovación
Productiva de la Nación, 2015.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Fervari, and G. Hoffmann. Relation-changing modal operators. Logic Journal of the IGPL, 23(4):601–627,
2015.
Details
BibTeX
Download:
[pdf]
C. Areces, P. Fontaine, and S. Merz. Modal Satisfiability via SMT Solving. In R. De Nicola and R. Hennicker, editors, Software,
Services, and Systems, Lecture Notes in Computer Science, pp. 30–45, Springer International Publishing, 2015.
Details
BibTeX
Download:
[pdf]
C. Areces and E. Orbe. Symmetries in Modal Logics. Bulletin of Symbolic Logic, 21(4):373–401, 2015.
Details
BibTeX
Download:
[pdf]
C. Areces and E. Orbe. Symmetric blocking. Theoretical Computer Science, 606:25–41, Elsevier, 2015.
Details
BibTeX
Download:
[pdf]
D. Figueira, S. Figueira, and C. Areces. 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
C. Areces, P. Blackburn, A. Huertas, and M. Manzano. Completeness in Hybrid Type Theory. Journal of Philosophical
Logic, 43(2--3):209–238, 2014.
Details
BibTeX
Download:
[pdf]
C. Areces, F. Bustos, M. Dom\'inguez, and J. Hoffmann. 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]
C. Areces, F. Carreiro, and S. Figueira. Characterization, Definability and Separation via Saturated Models.
Theoretical Computer Science, 537:72–86, 2014.
Details
BibTeX
Download:
[pdf]
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber. Logics with Copy and Remove. In U. Kohlenbach,
P. Barceló, and R. de Queiroz, editors, Proceedings of the 21st Workshop on Logic, Language, Information
and Computation (WoLLIC'14), Lecture Notes in Computer Science, pp. 51–65, Springer, Valpara\'iso, Chile, 2014.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Fervari, and G. Hoffmann. Swap Logic. Logic Journal of the IGPL, 22(2):309–332, 2014.
Details
BibTeX
Download:
[pdf]
D. Figueira, S. Figueira, and C. Areces. Basic Model Theory of XPath on Data Trees. In N. Schweikardt, V. Christophides, and
V. Leroy, editors, Proceedings of the 17th International Conference on Database Theory, pp. 50–60,
OpenProceedings.org, Athens, Greece, 2014.
Details
BibTeX
Download:
[pdf]
2013
C. Areces, D. Deharbe, P. Fontaine, and E. Orbe. SyMT: finding symmetries in SMT formulas. In Proceedings of the 11th International
Workshop on Satisfiability Modulo Theories, Helsinki, Finland, 2013.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Fervari, and G. Hoffmann. Tableaux for Relation-Changing Modal Logics. In Proceedings of Frontiers of Combining
Systems 2013, Nancy, France, 2013.
Details
BibTeX
Download:
[pdf]
C. Areces, G. Hoffmann, and E. Orbe. Symmetries in Modal Logics. Electronic Proceedings in Theoretical Computer
Science, 113:27–44, Open Publishing Association, 2013. Proceedings of the 7th Workshop on Logical and
Semantic Frameworks, with Applications
Details
BibTeX
Download:
[pdf]
C. Areces and E. Orbe. 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]
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)
L. Ong, C. Areces, S. Figueira, and R. de Queiroz. 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
R. Altamirano, C. Areces, and L. Benotti. 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, 2012.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Fervari, and G. Hoffmann. Moving Arrows and Four Model Checking Results. In L. Ong and R. de Queiroz, 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, 2012.
Details
BibTeX
Download:
[pdf]
C. Areces, S. Figueira, and S. Mera. 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]
C. Areces, G. Hoffmann, and E. Orbe. 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, 2012.
Details
BibTeX
Download:
[pdf]
E. Orbe, C. Areces, and G. Infante López. A Note about Modal Symmetries. Technical Report 6/2012, Facultad De Matemática,
Astronom\'ia y F\'isica, Universidad Nacional de Córdoba, 2012.
Details
BibTeX
Download:
[pdf]
E. Orbe, C. Areces, and G. Infante López. 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, 2012.
Details
BibTeX
Download:
[pdf]
2011
C. Areces, P. Blackburn, A. Huertas, and M. Manzano. Hybrid Type Theory: A Quartet in Four Movements. Principia,
15(2):225–247, 2011.
Details
BibTeX
Download:
[pdf]
C. Areces, F. Carreiro, S. Figueira, and S. Mera. Basic Model Theory for Memory Logics. In L. Beklemishev
and R. de Queiroz, 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,
2011.
Details
BibTeX
Download:
[pdf]
C. Areces, D. Figueira, S. Figueira, and S. Mera. The Expressive Power of Memory Logics. Review of Symbolic
Logic, 4(2):290–318, Cambridge University Press, 2011.
Details
BibTeX
Download:
[pdf]
C. Areces, S. Figueira, and D. Gor\'in. Using Logic in the Generation of Referring Expressions. In S. Pogodalla
and J. Prost, 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, 2011.
Details
BibTeX
Download:
[pdf]
C. Areces and P. Fontaine. Combining Theories: The Ackerman and Guarded Fragments. In C. Tinelli and V. Sofronie-Stokkermans,
editors, Proceedings of Frontiers of Combining Systems, 8th International Symposium, (FroCoS 2011),
Lecture Notes in Computer Science, pp. 40–54, Springer, Saarbruecken, Germany, 2011.
Details
BibTeX
Download:
[pdf]
C. Areces and D. Gor\'in. Resolution with Order and Selection for Hybrid Logics. Journal of Automated Reasoning,
46(1):1–42, 2011.
Details
BibTeX
Download:
[pdf]
C. Areces and D. Gor\'in. 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]
P. Blackburn, M. Manzano, C. Areces, and M. Huertas. The Bird of the Hybrid Type Theory. In 14th Congress
of Logic, Methodology and Philosophy of Science. Division of Logic, Methodology and Philosophy
of Science (DLMPS), Nancy, July 2011.
Details
BibTeX
Download:
(unavailable)
2010
C. Areces and D. Gor\'in. 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]
C. Areces, G. Hoffmann, and A. Denis. Modal Logics with Counting. In WoLLIC 2010 17th Workshop on Logic,
Language, Information and Computation - WoLLIC 2010, Brasilia, Brazil, 2010.
Details
BibTeX
Download:
[pdf]
C. Areces and P. Blackburn, editors. Hybrid Logics, College Publications, 2010.
Details
BibTeX
Download:
(unavailable)
L. Benotti, P. Estrella, and C. Areces. 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
C. Areces and D. Figueira. Which Semantics for Neighbourhood Semantics?. In Proceedigns of IJCAI 09, pp. 671–676,
Pasadena, California, USA, 2009.
Details
BibTeX
Download:
[pdf]
C. Areces, D. Figueira, D. Gor\'in, and S. Mera. Tableaux and Model Checking for Memory Logics. In Automated
Reasoning with Analytic Tableaux and Related Methods, LNAI, pp. 47–61, Springer Berling / Heidelberg,
Oslo, Norway, 2009. Proceedings of Tableaux09
Details
BibTeX
Download:
[pdf]
C. Areces, S. Figueira, and S. Mera. 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]
C. Areces, D. Gor\'in, A. Lorenzo, and M. Pérez Rodr\'iguez. 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]
G. Hoffmann and C. Areces. HTab: A Terminating Tableaux System for Hybrid Logic. Electronic Notes in Theoretical
Computer Science, 231:3–19, Elsevier, 2009. Proceedings of Methods for Modalities 5
Details
BibTeX
Download:
[pdf]
2008
C. Areces, D. Figueira, S. Figueira, and S. Mera. 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]
C. Areces, A. Koller, and K. Striegnitz. 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]
C. Areces and S. Demri, editors. Methods for Modalities 2007, ENTCS, 2008.
Details
BibTeX
Download:
(unavailable)
C. Areces and R. Goldblatt, editors. Advances in Modal Logic, Volume 7, College Publications, 2008.
Details
BibTeX
Download:
(unavailable)
2007
C. Areces. Hybrid Logics: The Old and the New. In Proceedigns of LogKCA-07, pp. 15–29, 2007.
Details
BibTeX
Download:
[pdf]
D. Sustretov, G. Hoffmann, C. Areces, and P. Blackburn. Experiments in Theorem Proving for Topological Hybrid
Logic. In Proceedings of Methods for Modalities 5, 2007.
Details
BibTeX
Download:
[pdf]
2006
C. Areces. Elija su propia lógica. Azafea: Revista de Filosof\'ia, 8:71–83, 2006.
Details
BibTeX
Download:
[pdf]
C. Areces and B. ten Cate. Hybrid Logics. In P. Blackburn, F. Wolter, and J. van Benthem, editors, Handbook of Modal Logics,
pp. 821–868, Elsevier, 2006.
Details
BibTeX
Download:
[pdf]
2005
C. Areces and P. Blackburn. 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]
C. Areces and D. Gor\'in. Ordered Resolution with Selection for H(@). In F. Baader and A. Voronkov, editors, Proceedings
of LPAR 2004, LNCS, pp. 125–141, Springer, Montevideo, Uruguay, 2005.
Details
BibTeX
Download:
[pdf]
C. Areces, editors. Methods for Modalities 3, Elsevier, 2005. Special Issue in the Journal of Applied Logics
Details
BibTeX
Download:
[pdf]
2004
C. Areces and R. Bernardi. 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]
C. Lutz, C. Areces, I. Horrocks, and U. Sattler. Keys, Nominals, and Concrete Domains. Journal of Artificial Intelligence
Research, 23:667–726, 2004.
Details
BibTeX
Download:
[pdf]
2003
C. Areces and R. Bernardi. In Situ Binding: A Hybrid Approach. In Inference in Computational Semantics 4 - ICoS-4,
Nancy, France, Nancy, France, 2003.
Details
BibTeX
Download:
[pdf]
C. Areces, P. Blackburn, B. Martinez Hernandez, and M. Marx. Handling Boolean ABoxes. In Proceedings of the 2003 International
Workshop on Description Logics (DL2003), Rome, Italy, 2003.
Details
BibTeX
Download:
[pdf]
C. Areces, P. Blackburn, and M. Marx. Repairing the interpolation Theorem in Quantified Modal Logic. Annals
of Pure and Applied Logics, 123(1--3):287–299, 2003.
Details
BibTeX
Download:
[pdf]
C. Areces and J. Heguiabehere. hGen: A Random CNF Formula Generator for Hybrid Languages. In Methods for
Modalities 3 - M4M-3, Nancy, France, Nancy, France, 2003.
Details
BibTeX
Download:
[pdf]
C. Areces, G. Infante López, and M. de Rijke. Controlled model exploration. In Ph. Balbiani, N. Suzuki, F. Wolter,
and M. Zakharyaschev, editors, 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]
C. Lutz, C. Areces, I. Horrocks, and U. Sattler. Keys, Nominals, and Concrete Domains. In Eighteenth International Joint
Conference on Artificial Intelligence - IJCAI'03, Acapulco, Mexico, pp. 349–354, Acapulco, Mexico,
2003.
Details
BibTeX
Download:
[pdf]
2002
C. Areces and J. Heguiabehere. HyLoRes 1.0: Direct Resolution for Hybrid Logics. In A. Voronkov, editors, Proceedings of
CADE-18, pp. 156–160, Copenhagen, Denmark, 2002.
Details
BibTeX
Download:
[pdf]
C. Areces and J. Heguiabehere. 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]
C. Areces and J. Heguiabehere. 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]
C. Areces and J. Heguiabehere. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution. In Proceedings
of Advances in Modal Logic 2002, Toulouse, France, 2002.
Details
BibTeX
Download:
[pdf]
C. Areces, G. Infante López, and M. de Rijke. Decomposing Modal Logic. In Proceedings of Advances in Modal Logic
2002, Toulouse, France, 2002.
Details
BibTeX
Download:
[pdf]
C. Areces and C. Lutz. Concrete Domains and Nominals United. In Proceedings of HyLo@LICS, Copenhagen, Denmark, 2002.
Details
BibTeX
Download:
[pdf]
2001
C. Areces and V. Becher. 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]
C. Areces and R. Bernardi. Analyzing the Core of Categorial Grammar. In Proceedings of ICoS-3, Siena, Italy, 2001.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Bernardi, and M. Moortgat. 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]
C. Areces, R. Bernardi, and M. Moortgat. Galois Connections in Categorial Type Logic. In Proceedings of Formal Grammar
/ Mathematics of Language, Helsinki, Finland, 2001.
Details
BibTeX
Download:
[pdf]
C. Areces and P. Blackburn. Bringing them all together. Journal of Logic and Computation, 11(5):657–669, 2001.
Details
BibTeX
Download:
[pdf]
C. Areces, P. Blackburn, and M. Marx. Repairing the Interpolation Theorem in First-Order Modal Logic. In J.
Halpern, editors, Proceedings of the 16th Annual IEEE Symp. on Logic in Computer Science, LICS 2001,
IEEE Computer Society Press, 2001. Short Presentation
Details
BibTeX
Download:
[pdf]
C. Areces, P. Blackburn, and M. Marx. Hybrid logics: characterization, interpolation and complexity. The
Journal of Symbolic Logic, 66(3):977–1010, 2001.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Gennari, J. Heguiabehere, and M. de Rijke. Tree-Based Heuristics in Modal Theorem Proving
(abstract). In Proceedings BNAIC'01, pp. 31–32, 2001.
Details
BibTeX
Download:
[pdf]
C. Areces and J. Heguiabehere. HyLoRes: Direct Resolution for Hybrid Logics. In Proceedings of Methods for Modalities 2,
Amsterdam, The Netherlands, 2001.
Details
BibTeX
Download:
[pdf]
C. Areces, H. de Nivelle, and M. de Rijke. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation,
11(5):717–736, 2001.
Details
BibTeX
Download:
[pdf]
C. Areces and M. de Rijke. From Description to Hybrid Logics, and Back. In F. Wolter, H. Wansing, M. de Rijke, and M.
Zakharyaschev, 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]
C. Areces and P. Blackburn, editors. Hybrid Logics, Oxford University Press, 2001.
Details
BibTeX
Download:
[pdf]
2000
R. Accorsi, C. Areces, W. Bouma, and M. de Rijke. Features as Constraints. In Proceedings of Feature Interaction
Workshop (FIW'00), pp. 210–225, IOS Press, Glasgow, UK, 2000.
Details
BibTeX
Download:
[pdf]
C. Areces. Logic Engineering. The Case of Description and Hybrid Logics, Amsterdam, The Netherlands,
2000. PhD Thesis
Details
BibTeX
Download:
[pdf]
C. Areces and V. Becher. Analytic AGM Revision. Technical Report CDMTCS-138, Centre for Discrete Mathematics and Theoretical
Computer Science, The University of Auckland, 2000.
Details
BibTeX
Download:
[pdf]
C. Areces, V. Becher, and S. Ferro. Characterization Results for d-Horn Formulas. In L. Cavedon, P. Blackburn, N. Braisby,
and A. Shimojima, 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]
C. Areces, P. Blackburn, and M. Marx. The Computational Complexity of Hybrid Temporal Logics. Logic Journal
of the IGPL, 8(5):653–679, 2000.
Details
BibTeX
Download:
[pdf]
C. Areces, R. Gennari, J. Heguiabehere, and M. de Rijke. Tree-Based Heuristics in Modal Theorem Proving. In
W. Horn, editors, Proceedings of ECAI'2000, pp. 199–203, Berlin, Germany, 2000.
Details
BibTeX
Download:
[pdf]
C. Areces, E. Hoogland, and D. de Jongh. 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]
C. Areces and M. de Rijke. Description and/or Hybrid Logics. In Proceedings of AiML 2000, Leipzig, Germany, 2000.
Details
BibTeX
Download:
[pdf]
C. Areces, E. Franconi, R. Goré, M. de Rijke, and H. Schlingloff, editors. Methods for Modalities
1, Oxford University Press, 2000. Special Issue in the Journal of the IGPL
Details
BibTeX
Download:
[pdf]
1999
R. Accorsi, C. Areces, and M. de Rijke. Towards Feature Interaction via Stable Models. In Proceedings of the 2nd WFM,
Florianópolis, Brasil, 1999.
Details
BibTeX
Download:
[pdf]
R. Accorsi, C. Areces, and M. de Rijke. An Approach to Feature Interaction via Stable Models. Brazilian Electronic Journal
on Mathematics of Computation, 1, 1999.
Details
BibTeX
Download:
[pdf]
M. Aiello, C. Areces, and M. de Rijke. 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]
C. Areces and V. Becher. Update, the Infinite Case. In Proceedings of WAIT'99, Argentinian Workshop on
Theoretical Computer Science, Buenos Aires, Argentina, 1999.
Details
BibTeX
Download:
[pdf]
C. Areces, P. Blackburn, and M. Marx. A Road-map on Complexity for Hybrid Logics. In J. Flum and M. Rodr\'iguez-Artalejo,
editors, Computer Science Logic, number 1683 in LNCS, pp. 307–321, Springer, Madrid, Spain, 1999. Proceedings
of the 8th Annual Conference of the EACSL, Madrid, September 1999.
Details
BibTeX
Download:
[pdf]
C. Areces, P. Blackburn, and M. Marx. 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]
C. Areces, W. Bouma, and M. de Rijke. 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]
C. Areces, W. Bouma, and M. de Rijke. Feature Interaction as a Satisfiability Problem. In Proceedings of MASCOTS'99,
pp. 339–346, IEEE Computer Society, Los Alamitos, California, 1999.
Details
BibTeX
Download:
[pdf]
C. Areces, H. de Nivelle, and M. de Rijke. 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]
C. Areces. 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.
Details
BibTeX
Download:
[pdf]
C. Areces, C. Monz, H. de Nivelle, and M. de Rijke. 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.
Details
BibTeX
Download:
[pdf]
1998
C. Areces and V. Becher. Iterable AGM Functions. In Proceedings of BR'98. Belief Revision Workshop, Trento, Italy,
1998.
Details
BibTeX
Download:
[pdf]
C. Areces, V. Becher, and S. Ferro. 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]
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, 1998.
Details
BibTeX
Download:
[pdf]
C. Areces, D. de Jongh, and E. Hoogland. The Interpolation Theorem for IL and ILP. In Proceedings of AiML98. Advances in
Modal Logic, 1998.
Details
BibTeX
Download:
[pdf]
C. Areces and M. de Rijke. Expressiveness Revisited. In Proceedings of the 1998 International Workshop on
Description Logics (DL'98), pp. 35–43, Trento, Italy, 1998.
Details
BibTeX
Download:
[pdf]
C. Areces and M. de Rijke. 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, 1998.
Details
BibTeX
Download:
[pdf]
M. Marx and C. Areces. Failure of interpolation in combined modal logics. Notre Dame Journal of Formal Logic, 39(2):253–273,
1998.
Details
BibTeX
Download:
[pdf]
1997
C. Areces, M. Felder, D. Hirsch, and D. Yankelevich. Modal Logic as a Design Notation. In Proceedings of
the 1st KIT125 Workshop, pp. 93–108, Como, Italy, 1997.
Details
BibTeX
Download:
[pdf]
1996
C. Areces and D. Hirsch. La Lógica Modal como Herramienta de Ingenier\'ia de Software. Master's Thesis,
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación,1996.
Details
BibTeX
Download:
(unavailable)
C. Areces and D. Hirsch. 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
C. Areces and V. Becher. On the Logic For Utopia. In Annals of the 1st CACiC, Bah\'ia Blanca, Argentina, 1995.
Details
BibTeX
Download:
[pdf]
C. Areces and D. Hirsch. From Boxes to Worlds. In Proceedings of the First CACiC, pp. 266–276, Buenos Aires,
Argentina, 1995.
Details
BibTeX
Download:
[pdf]
C. Areces and P. Blackburn. Logics, . In preparation
Details
BibTeX
Download:
(unavailable)
C. Areces and P. Blackburn. Introduction to Computability, . In preparation
Details
BibTeX
Download:
(unavailable)