Carlos Areces

Consejo Nacional de Investigaciones Científicas y Técnicas — Argentina

Computer Science · Physical Sciences

20h-index1.6kcitations152works0.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, Reasoning, and Knowledge(108), Logic, programming, and type systems(67), Semantic Web and Ontologies(51), Multi-Agent Systems and Negotiation(33), Formal Methods in Verification(25)

Publications152 total

The Dynamics of Knowing How
Journal of Logic Language and Information·2025
Data-Aware Hybrid Tableaux
Logical Methods in Computer Science·2025Open Access
Deontic Action Logics: A Modular Algebraic Perspective
Journal of Logic Language and Information·2025
Sequent Calculi for Data-Aware Modal Logics
Electronic Proceedings in Theoretical Computer Science·2025Open Access
Deontic Action Logics: A Modular Algebraic Perspective
arXiv (Cornell University)·2025Open Access
Leveraging Language Models and Automatic Summarization in Online Programming Learning Environments
Communications of the ACM·2024· 1 cited
Data-Aware Hybrid Tableaux
arXiv (Cornell University)·2024Open Access
Uncertainty-based knowing how logic
Journal of Logic and Computation·2023· 1 cited
A Deontic Logic of Knowingly Complying
2023
Uncertainty-Based Knowing How Logic
arXiv (Cornell University)·2023Open Access
First Steps in Updating Knowing How
Lecture notes in computer science·2023· 2 cited
DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics
Lecture notes in computer science·2023· 2 citedOpen Access
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Lecture notes in computer science·2023· 1 citedOpen Access
Data Graphs with Incomplete Information (and a Way to Complete Them)
Lecture notes in computer science·2023· 1 cited
Dynamic Logic. New Trends and Applications
Lecture notes in computer science·2023· 1 citedOpen Access
Algebraic tools for default modal systems
Journal of Logic and Computation·2022
Non-monotonic Reasoning via Dynamic Consequence
Lecture notes in computer science·2022· 1 cited
Copy and remove as dynamic operators
Journal of Applied Non-Classical Logics·2021· 1 cited
Axiomatizing Hybrid XPath with Data
Logical Methods in Computer Science·2021· 4 citedOpen Access
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics
arXiv (Cornell University)·2021Open Access
page 1 of 8Next →

Frequent Co-authors

Raul Fervari(9), Guillaume Hoffmann(8), Patrick Blackburn(7), M. Marx(6), Maarten de Rijke(5), Diego Figueira(5), Santiago Figueira(5), J.M. Heguiabehere(4), Daniel Gorín(4), Ian Horrocks(3), Ulrike Sattler(3), Sergio Mera(3), Facundo Bustos(2), Martín Ariel Domínguez(2), Carsten Lutz(2), Mauricio Martel(2), Raffaella Bernardi(2), Hans van Ditmarsch(2), François Schwarzentruber(2), L. Carsten(1)