NEW FOUNDATIONS OF REASONING VIA REAL-VALUED FIRST-ORDER LOGICS
- Guillermo Badia
- Ronald Fagin
- et al.
- 2025
- Bulletin of Symbolic Logic
Paper
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
PaperMULTI-STRUCTURAL GAMES AND BEYOND
- Marco Carmosino
- Ronald Fagin
- et al.
- 2024
- Logical Methods in Computer Science
PaperOn the Number of Quantifiers Needed to Define Boolean Functions
- Marco Carmosino
- Ronald Fagin
- et al.
- 2024
- MFCS 2024
Conference paperCombining Entity Resolution and Query Answering in Ontologies: A Formal Conceptual Framework
- Ronald Fagin
- Phokion G. Kolaitis
- et al.
- 2024
- SEBD 2024
Conference paperFoundations of reasoning with uncertainty via real-valued logics
- Ronald Fagin
- Ryan Riegel
- et al.
- 2024
- PNAS
PaperApplying Theory to Practice
- 2023
- Journal of Logic and Computation
PaperA Framework for Combining Entity Resolution and Query Answering in Knowledge Bases
- Ronald Fagin
- Phokion G. Kolaitis
- et al.
- 2023
- KR 2023
Conference paperOn the Number of Quantifiers as a Complexity Measure
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2022
- MFCS 2022
Conference paperPanel on “Past and future of computer science theory”
- Ronald Fagin
- Georg Gottlob
- et al.
- 2021
- SEBD 2021
Conference paper