A formal model of knowledge, action, and communication in distributed systems: Preliminary report
- Joseph Y. Halpern
- Ronald Fagin
- 1985
- PODC 1985
Publications
Date
Featured collections
Popular topics
135 results for Ron Fagin
MODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1983
- FOCS 1983
A model-theoretic analysis of knowledge: Preliminary report
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1984
- FOCS 1984
INTERNAL SEMANTICS FOR MODAL LOGIC: PRELIMINARY REPORT.
- Ronald Fagin
- Moshe Y. Vardi
- 1984
- STOC 1984
Inclusion dependencies and their interaction with functional dependencies
- Marco A. Casanova
- Ronald Fagin
- et al.
- 1982
- SIGMOD/PODS 1982
ON THE SEMANTICS OF UPDATES IN DATABASES.
- Ronald Fagin
- Jeffrey D. Ullman
- et al.
- 1982
- SIGMOD/PODS 1982
Properties of acyclic database schemes
- Catriel Beeri
- Ronald Fagin
- et al.
- 1981
- STOC 1981
Normal forms and relational database operators
- 1979
- SIGMOD 1979
A complete axiomatization for functional and multivalued dependencies in database relations
- Catriel Beeri
- Ronald Fagin
- et al.
- 1977
- SIGMOD 1977
Ontology-Enriched Query Answering on Relational Databases
- Shqiponja Ahmetaj
- Vasilis Efthymiou
- et al.
- 2021
- IAAI 2021