Publications

Export 19 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Carlos Areces  [Clear All Filters]
2012
C. Areces, S. Figueira, and S. Mera, “Completeness Results for Memory Logics”, Annals of Pure and Applied Logic, vol. 163, no. 7, p. 961-972, 2012.PDF icon Completeness_Results_for_Memory_Logics.pdf (401.9 KB)
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.
C. Areces, R. Fervari, and G. Hoffmann, “Moving Arrows and Four Model Checking Results”, in Proceedings of WoLLIC 2012, Buenos Aires, Argentina, 2012.
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.
2013
C. Areces, D. Déharbe, P. Fontaine, and E. Orbe, “{SyMT}: finding symmetries in {SMT} formulas”, in 11th Intl. Workshop on Satisfiability Modulo Theories (SMT 2013), Helsinki, Finland, 2013.
C. Areces, R. Fervari, and G. Hoffmann, “Tableaux for Relation-Changing Modal Logics”, in Frontiers of Combining Systems, 2013.PDF icon frocos13.pdf (369.18 KB)
2014
D. Figueira, S. Figueira, and C. Areces, “Basic Model Theory of XPath on Data Trees”, in Proceedings of the 17th International Conference on Database Theory, Athens, Greece, 2014.
C. Areces, F. Carreiro, and S. Figueira, “Characterization, Definability and Separation via Saturated Models”, Theoretical Computer Science, vol. 537, p. 72-86, 2014.
C. Areces, P. Blackburn, Huertas, A., and M. Manzano, “Completeness in Hybrid Type Theory”, Journal of Philosophical Logic, vol. 43, p. 209–238, 2014.
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “Logics with Copy and Remove”, in Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Valparaíso, Chile, 2014.
C. Areces, F. Bustos, M. Dominguez, 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), Portsmouth, NH, USA, 2014.
C. Areces, R. Fervari, and G. Hoffmann, “Swap logic”, Logic Journal of IGPL, vol. 22, no. 2, p. 309-332, 2014.PDF icon swap-op.pdf (459.55 KB)
2015
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “The Modal Logic of Copy and Remove”, Information and Computation, 2015.
C. Areces, P. Fontaine, and S. Merz, “Modal Satisfiability via {SMT} Solving”, in Software, Services, and Systems, vol. 8950, R. De Nicola and R. Hennicker, Eds. 2015, p. 30-45.
D. Figueira, S. Figueira, and C. Areces, “Model Theory of XPath on Data Trees. Part {I:} Bisimulation and Characterization”, J. Artif. Intell. Res. {(JAIR)}, vol. 53, p. 271–314, 2015.
C. Areces, R. Fervari, and G. Hoffmann, “Relation-changing modal operators”, Logic Journal of the {IGPL}, vol. 23, p. 601–627, 2015.
C. Areces and E. Orbe, “Symmetric blocking”, Theoretical Computer Science, 2015.
C. Areces and E. Orbe, “Symmetries in Modal Logics”, Bulletin of Symbolic Logic, 2015.