247 citations · 351 across the 11 of their papers we have counts for
12 papers
A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases
Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo +2
We propose a new framework for combining entity resolution and query answering in knowledge bases (KBs) with tuple-generating dependencies (tgds) and equality-generating dependenci…
Multi-Structural Games and Beyond
Marco Carmosino, Ronald Fagin, Neil Immerman +3
Multi-structural (MS) games are combinatorial games that capture the number of quantifiers of first-order sentences. On the face of their definition, MS games differ from Ehrenfeuc…
On the Number of Quantifiers as a Complexity Measure
Ronald Fagin, Jonathan Lenchner, Nikhil Vyas +1
In 1981, Neil Immerman described a two-player game, which he called the "separability game" \cite{Immerman81}, that captures the number of quantifiers needed to describe a property…
New foundations of reasoning via real-valued first-order logics
Guillermo Badia, Ronald Fagin, Carles Noguera
Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in t…
Multi-Structural Games and Number of Quantifiers
Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan +1
We study multi-structural games, played on two sets and of structures. These games generalize Ehrenfeucht-Fraïssé games. Whereas Ehrenfeucht-Fraïssé gam…
Foundations of Reasoning with Uncertainty via Real-valued Logics
Ronald Fagin, Ryan Riegel, Alexander Gray
Real-valued logics underlie an increasing number of neuro-symbolic approaches, though typically their logical inference capabilities are characterized only qualitatively. We provid…