Santiago Figueira

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

Computer Science · Physical Sciences

15h-index950citations79works0.02yr 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(31), Computability, Logic, AI Algorithms(28), Logic, programming, and type systems(21), semigroups and automata theory(13), Formal Methods in Verification(12)

Publications78 total

Rauzy complexity and block entropy
Information and Computation·2025
Algorithms to prove the maximum number of MUBs in arbitrary dimension
Quantum Information Processing·2025
Modal logic with relations over paths: A theoretical development through comonadic semantics
Journal of Logic and Computation·2025
A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
ArXiv.org·2025Open Access
Axiomatization of XPath with general data comparison
Journal of Applied Non-Classical Logics·2024
Rauzy dimension and finite-state dimension
arXiv (Cornell University)·2024Open Access
Rauzy Dimension and Finite-State Dimension
SSRN Electronic Journal·2024Open Access
Towards exact algorithmic proofs of maximal mutually unbiased bases sets in arbitrary integer dimension
arXiv (Cornell University)·2023Open Access
Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
arXiv (Cornell University)·2023Open Access
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
2023
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
arXiv (Cornell University)·2023Open Access
A logical framework to study concept-learning biases in the presence of multiple explanations
Behavior Research Methods·2021Open Access
Characterization of nonsignaling correlations from mutual information
Physical review. A/Physical review, A·2021Open Access
A theory of memory for binary sequences: Evidence for a mental compression algorithm in humans
PLoS Computational Biology·2021· 86 citedOpen Access
Impossibility of memory in hidden-signaling models for quantum correlations
Physical review. A/Physical review, A·2020Open Access
Finite Controllability for Ontology-Mediated Query Answering of CRPQ
2020· 3 citedOpen Access
Hidden signaling models for quantum correlations cannot have memory
arXiv (Cornell University)·2020Open Access
Towards a more flexible language of thought: Bayesian grammar updates after each concept exposure
Physical review. E·2020· 6 citedOpen Access
Finite Controllability for Ontology-Mediated Query Answering of CRPQ
HAL (Le Centre pour la Communication Scientifique Directe)·2020· 1 citedOpen Access
Mental compression of binary sequences in a language of thought
2020· 4 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Diego Figueira(10), Carlos Areces(10), Sergio Abriola(8), Mariano Sigman(7), André Nies(6), Daniel Gorín(6), Stanislas Dehaene(5), Sergio Romano(5), Verónica Becher(5), Gabriel Senno(5), Sergio Mera(5), María Emilia Descotte(4), Marie Amalric(3), Frank Stephan(3), Ariel Bendersky(3), Joseph S. Miller(3), Rafael Grimson(3), Samuel Planton(2), Timo van Kerkoerle(2), Leïla Abbih(2)