NEW FOUNDATIONS OF REASONING VIA REAL-VALUED FIRST-ORDER LOGICS
- Guillermo Badia
- Ronald Fagin
- et al.
- 2025
- Bulletin of Symbolic Logic
Publications
138 results for Ron Fagin
MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERS
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2025
- Logical Methods in Computer Science
MULTI-STRUCTURAL GAMES AND BEYOND
- Marco Carmosino
- Ronald Fagin
- et al.
- 2024
- Logical Methods in Computer Science
On the Number of Quantifiers Needed to Define Boolean Functions
- Marco Carmosino
- Ronald Fagin
- et al.
- 2024
- MFCS 2024
Combining Entity Resolution and Query Answering in Ontologies: A Formal Conceptual Framework
- Ronald Fagin
- Phokion G. Kolaitis
- et al.
- 2024
- SEBD 2024
Foundations of reasoning with uncertainty via real-valued logics
- Ronald Fagin
- Ryan Riegel
- et al.
- 2024
- PNAS
Applying Theory to Practice
- 2023
- Journal of Logic and Computation
A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases
- Ronald Fagin
- Phokion G. Kolaitis
- et al.
- 2023
- KR 2023
On the Number of Quantifiers as a Complexity Measure
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2022
- MFCS 2022
Panel on “Past and future of computer science theory”
- Ronald Fagin
- Georg Gottlob
- et al.
- 2021
- SEBD 2021