| Publication | Date of Publication | Type |
|---|
New foundations of reasoning via real-valued first-order logics
The Bulletin of Symbolic Logic | 2025-12-08 | Paper |
Applying theory to practice
Journal of Logic and Computation | 2025-10-29 | Paper |
Foundations of reasoning with uncertainty via real-valued logics
Proceedings of the National Academy of Sciences of the United States of America | 2025-03-10 | Paper |
| On the number of quantifiers as a complexity measure | 2024-08-06 | Paper |
Comparing the power of monadic NP games
Lecture Notes in Computer Science | 2023-12-12 | Paper |
A nonstandard approach to the logical omniscience problem
Artificial Intelligence | 2022-09-21 | Paper |
Recursive Programs for Document Spanners
(available as arXiv preprint) | 2022-07-21 | Paper |
| New foundations of reasoning via real-valued first-order logics | 2022-06-30 | Paper |
A declarative framework for linking entities
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Declarative cleaning of inconsistencies in information extraction
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Knowledge-based programs
Distributed Computing | 2020-12-02 | Paper |
Expressive power of entity-linking frameworks
Journal of Computer and System Sciences | 2019-05-02 | Paper |
| Expressive power of entity-linking frameworks | 2018-07-18 | Paper |
Knowledge-based programs
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
| A declarative framework for linking entities | 2017-06-13 | Paper |
An algorithmic view of voting
SIAM Journal on Discrete Mathematics | 2016-10-20 | Paper |
Document spanners: a formal approach to information extraction
Journal of the ACM | 2016-03-24 | Paper |
Compactly encoding unstructured inputs with differential compression
Journal of the ACM | 2015-12-07 | Paper |
Query strategies for priced information (extended abstract)
Proceedings of the thirty-second annual ACM symposium on Theory of computing | 2014-09-26 | Paper |
Random walks with “back buttons” (extended abstract)
Proceedings of the thirty-second annual ACM symposium on Theory of computing | 2014-09-26 | Paper |
Probabilistic data exchange
Journal of the ACM | 2014-02-17 | Paper |
Solutions and query rewriting in data exchange
Information and Computation | 2013-12-19 | Paper |
Composition with target constraints
Logical Methods in Computer Science | 2012-04-02 | Paper |
The structure of inverses in schema mappings
Journal of the ACM | 2011-05-16 | Paper |
Epistemic privacy
Journal of the ACM | 2011-05-16 | Paper |
Data exchange: getting to the core
ACM Transactions on Database Systems | 2008-12-21 | Paper |
Inverting schema mappings
ACM Transactions on Database Systems | 2008-12-21 | Paper |
Comparing Partial Rankings
SIAM Journal on Discrete Mathematics | 2007-09-06 | Paper |
Data exchange: semantics and query answering
Theoretical Computer Science | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 2149446 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2079318 (Why is no real title available?) | 2004-07-28 | Paper |
Comparing Top <i>k</i> Lists
SIAM Journal on Discrete Mathematics | 2004-01-08 | Paper |
Optimal aggregation algorithms for middleware.
Journal of Computer and System Sciences | 2003-08-19 | Paper |
| scientific article; zbMATH DE number 1953133 (Why is no real title available?) | 2003-07-25 | Paper |
Random walks with ``back buttons''
The Annals of Applied Probability | 2003-05-06 | Paper |
A nonstandard approach to the logical omniscience problem
Artificial Intelligence | 2003-02-04 | Paper |
Query strategies for priced information
Journal of Computer and System Sciences | 2002-09-12 | Paper |
| scientific article; zbMATH DE number 1775416 (Why is no real title available?) | 2002-08-01 | Paper |
The closure of monadic NP
Journal of Computer and System Sciences | 2000-08-27 | Paper |
A formula for incorporating weights into scoring rules
Theoretical Computer Science | 2000-08-21 | Paper |
Combining fuzzy information from multiple systems
Journal of Computer and System Sciences | 2000-02-17 | Paper |
Common knowledge revisited
Annals of Pure and Applied Logic | 1999-06-24 | Paper |
The hierarchical approach to modeling knowledge and common knowledge
International Journal of Game Theory | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1223621 (Why is no real title available?) | 1998-11-15 | Paper |
On winning strategies in Ehrenfeucht-Fraïssé games
Theoretical Computer Science | 1998-10-22 | Paper |
Comparing the Power of Games on Graphs
Mathematical Logic Quarterly | 1998-05-10 | Paper |
| scientific article; zbMATH DE number 1059242 (Why is no real title available?) | 1997-09-10 | Paper |
Efficiently extendible mappings for balanced data distribution
Algorithmica | 1996-08-12 | Paper |
On monadic NP vs monadic co-NP
Information and Computation | 1995-09-17 | Paper |
| scientific article; zbMATH DE number 795590 (Why is no real title available?) | 1995-09-11 | Paper |
Reasoning about knowledge and probability
Journal of the ACM | 1995-02-13 | Paper |
What can machines know?
Journal of the ACM | 1994-08-21 | Paper |
A model-theoretic analysis of knowledge
Journal of the ACM | 1994-08-21 | Paper |
Finite-model theory -- A personal perspective
Theoretical Computer Science | 1994-06-05 | Paper |
A quantitative analysis of modal logic
Journal of Symbolic Logic | 1994-05-18 | Paper |
| scientific article; zbMATH DE number 219195 (Why is no real title available?) | 1993-06-29 | Paper |
What is an inference rule?
Journal of Symbolic Logic | 1993-04-01 | Paper |
Two views of belief: Belief as generalized probability and belief as evidence
Artificial Intelligence | 1992-09-27 | Paper |
scientific article; zbMATH DE number 19877 (Why is no real title available?)
(available as arXiv preprint) | 1992-06-26 | Paper |
A logic for reasoning about probabilities
Information and Computation | 1992-06-25 | Paper |
Reachability is harder for directed than for undirected finite graphs
Journal of Symbolic Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4185057 (Why is no real title available?) | 1989-01-01 | Paper |
Modelling knowledge and action in distributed systems
Distributed Computing | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4145875 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4085005 (Why is no real title available?) | 1988-01-01 | Paper |
Belief, awareness, and limited reasoning
Artificial Intelligence | 1988-01-01 | Paper |
I'm OK if you're OK: On the notion of trusting commmunication
Journal of Philosophical Logic | 1988-01-01 | Paper |
Correction to “An equivalence between relational database dependencies and a fragment of propositional logic”
Journal of the ACM | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4001521 (Why is no real title available?) | 1986-01-01 | Paper |
A simple characterization of database dependency implication
Information Processing Letters | 1986-01-01 | Paper |
Bounded-depth, polynomial-size circuits for symmetric functions
Theoretical Computer Science | 1985-01-01 | Paper |
Decreasing the nesting depth of expressions involving square roots
Journal of Symbolic Computation | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3898274 (Why is no real title available?) | 1984-01-01 | Paper |
Inclusion dependencies and their interaction with functional dependencies
Journal of Computer and System Sciences | 1984-01-01 | Paper |
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3839362 (Why is no real title available?) | 1983-01-01 | Paper |
On the Desirability of Acyclic Database Schemes
Journal of the ACM | 1983-01-01 | Paper |
Armstrong databases for functional and inclusion dependencies
Information Processing Letters | 1983-01-01 | Paper |
Degrees of acyclicity for hypergraphs and relational database schemes
Journal of the ACM | 1983-01-01 | Paper |
Tools for Template Dependencies
SIAM Journal on Computing | 1983-01-01 | Paper |
Horn clauses and database dependencies
Journal of the ACM | 1982-01-01 | Paper |
A simplied universal relation assumption and its properties
ACM Transactions on Database Systems | 1982-01-01 | Paper |
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM | 1981-01-01 | Paper |
A normal form for relational databases that is based on domains and keys
ACM Transactions on Database Systems | 1981-01-01 | Paper |
A note on the existence of continuous functionals
Theoretical Computer Science | 1981-01-01 | Paper |
Efficient Calculation of Expected Miss Ratios in the Independent Reference Model
SIAM Journal on Computing | 1978-01-01 | Paper |
Cold-start vs. warm-start miss ratios
Communications of the ACM | 1978-01-01 | Paper |
Functional Dependencies in a Relational Database and Propositional Logic
IBM Journal of Research and Development | 1977-01-01 | Paper |
The number of finite relational structures
Discrete Mathematics | 1977-01-01 | Paper |
Asymptotic miss ratios over independent references
Journal of Computer and System Sciences | 1977-01-01 | Paper |
Probabilities on finite models
Journal of Symbolic Logic | 1976-01-01 | Paper |
A counterintuitive example of computer paging
Communications of the ACM | 1976-01-01 | Paper |
The independence of miss ratio on page size
Journal of the ACM | 1976-01-01 | Paper |
A spectrum hierarchy
Mathematical Logic Quarterly | 1975-01-01 | Paper |
Monadic generalized spectra
Mathematical Logic Quarterly | 1975-01-01 | Paper |
A two‐cardinal characterization of double spectra
Mathematical Logic Quarterly | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3474957 (Why is no real title available?) | 1974-01-01 | Paper |
Representation theory for a class of denumerable Markov chains
Journal of Mathematical Analysis and Applications | 1968-01-01 | Paper |
