The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ronald Fagin" ( http://dblp.L3S.de/Authors/Ronald_Fagin )

URL (Homepage):  http://www.almaden.ibm.com/cs/people/fagin/  Author page on DBLP  Author page in RDF  Community of Ronald Fagin in ASPL-2

Publication years (Num. hits)
1976-1981 (18) 1982-1984 (17) 1985-1988 (16) 1989-1992 (15) 1993-1996 (19) 1997-2000 (17) 2001-2003 (18) 2004-2008 (17) 2009-2011 (17) 2012 (1)
Publication types (Num. hits)
article(75) incollection(3) inproceedings(71) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 153 occurrences of 76 keywords

Results
Found 155 publication records. Showing 155 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ronald Fagin, Phokion G. Kolaitis Local transformations and conjunctive-query equivalence. Search on Bibsonomy PODS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan Reverse data exchange: Coping with nulls. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis Probabilistic data exchange. Search on Bibsonomy J. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Ronald Fagin, Alan Nash Composition with Target Constraints Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Albert Atserias, Mikolaj Bojanczyk, Balder ten Cate, Ronald Fagin, Floris Geerts, Kenneth Ross Foreword. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan Schema Mapping Evolution Through Composition and Inversion. Search on Bibsonomy Schema Matching and Mapping The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Benny Kimelfeld, Yunyao Li, Sriram Raghavan, Shivakumar Vaithyanathan Rewrite rules for search database systems. Search on Bibsonomy PODS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Alan Nash The structure of inverses in schema mappings. Search on Bibsonomy J. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexandre V. Evfimievski, Ronald Fagin, David P. Woodruff Epistemic privacy. Search on Bibsonomy J. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Ronald Fagin, Alan Nash Composition with target constraints. Search on Bibsonomy ICDT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF target constraint, composition, data exchange, schema mapping, metadata management
1Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis Probabilistic data exchange. Search on Bibsonomy ICDT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF probabilistic schema mapping, probabilistic solution, universal probabilistic solution, computational complexity, data integration, data exchange, probabilistic database, conjunctive query, certain answer
1Ronald Fagin, Benny Kimelfeld, Yunyao Li, Sriram Raghavan, Shivakumar Vaithyanathan Understanding queries in a search database system. Search on Bibsonomy PODS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF auxiliary database, search database system
1Ronald Fagin Tuple-Generating Dependencies. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ronald Fagin Equality-Generating Dependencies. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ronald Fagin (eds.) Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  BibTeX  RDF
1Ronald Fagin, Laura M. Haas, Mauricio A. Hernández, Renée J. Miller, Lucian Popa, Yannis Velegrakis Clio: Schema Mapping Creation and Data Exchange. Search on Bibsonomy Conceptual Modeling: Foundations and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan Reverse data exchange: coping with nulls. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF maximum recovery, quasi-inverse, data integration, data exchange, schema mapping, inverse, model management, chase
1Ronald Fagin Finite Model Theory and its Origins. Search on Bibsonomy APCCM The full citation details ... 2009 DBLP  BibTeX  RDF
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan Quasi-inverses of schema mappings. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quasi-inverse, data integration, dependencies, data exchange, Schema mapping, inverse, chase, metadata model management
1Alexandr Andoni, Ronald Fagin, Ravi Kumar, Mihai Patrascu, D. Sivakumar Corrigendum to "efficient similarity search and classification via rank aggregation" by Ronald Fagin, Ravi Kumar and D. Sivakumar (proc. SIGMOD'03). Search on Bibsonomy SIGMOD Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF score aggregation, nearest neighbor, rank aggregation, median
1Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa Towards a theory of schema-mapping optimization. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conjunctive-query equivalence, data-exchange equivalence, data integration, data exchange, schema mapping
1Alexandre V. Evfimievski, Ronald Fagin, David P. Woodruff Epistemic privacy. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF positivstellensatz, privacy, auditing, query logs, disclosure, reasoning about knowledge, supermodularity
1Ronald Fagin Inverting schema mappings. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF computational complexity, data integration, dependencies, Data exchange, schema mapping, inverse, chase, second-order logic, metadata model management
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan Quasi-inverses of schema mappings. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quasi-inverse, data integration, dependencies, data exchange, schema mapping, inverse, chase, metadata model management
1Ronald Fagin, Ravi Kumar, Mohammad Mahdian, D. Sivakumar, Erik Vee Comparing Partial Rankings. Search on Bibsonomy SIAM J. Discrete Math. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ronald Fagin Inverting schema mappings. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational complexity, data integration, dependencies, data exchange, schema mapping, inverse, chase, second-order logic, metadata model management
1Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa Data exchange: semantics and query answering. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa Data exchange: getting to the core. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF computational complexity, data integration, dependencies, data exchange, core, conjunctive queries, chase, query answering, Certain answers, universal solutions
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan Composing schema mappings: Second-order dependencies to the rescue. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF computational complexity, data integration, composition, dependencies, Data exchange, schema mapping, conjunctive queries, chase, query answering, certain answers, second-order logic, metadata model management, universal solution
1Ronald Fagin, Phokion G. Kolaitis, Ravi Kumar, Jasmine Novak, D. Sivakumar, Andrew Tomkins Efficient Implementation of Large-Scale Multi-Structural Databases. Search on Bibsonomy VLDB The full citation details ... 2005 DBLP  BibTeX  RDF
1Ronald Fagin, Ramanathan V. Guha, Ravi Kumar, Jasmine Novak, D. Sivakumar, Andrew Tomkins Multi-structural databases. Search on Bibsonomy PODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Harold N. Gabow, Ronald Fagin (eds.) Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005 Search on Bibsonomy STOC The full citation details ... 2005 DBLP  BibTeX  RDF
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan Composing Schema Mappings: Second-Order Dependencies to the Rescue. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin Locally Consistent Transformations and Query Answering in Data Exchange. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Ravi Kumar, Mohammad Mahdian, D. Sivakumar, Erik Vee Comparing and Aggregating Rankings with Ties. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Ravi Kumar, D. Sivakumar Comparing Top k Lists. Search on Bibsonomy SIAM J. Discrete Math. The full citation details ... 2003 DBLP  BibTeX  RDF
1Ronald Fagin, Amnon Lotem, Moni Naor Optimal aggregation algorithms for middleware. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Ravi Kumar, D. Sivakumar Comparing top k lists. Search on Bibsonomy SODA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Ravi Kumar, Kevin S. McCurley, Jasmine Novak, D. Sivakumar, John A. Tomlin, David P. Williamson Searching the workplace web. Search on Bibsonomy WWW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Ravi Kumar, D. Sivakumar Efficient similarity search and classification via rank aggregation. Search on Bibsonomy SIGMOD Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa Data Exchange: Semantics and Query Answering. Search on Bibsonomy ICDT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Phokion G. Kolaitis, Lucian Popa Data exchange: getting to the core. Search on Bibsonomy PODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Periklis Andritsos, Ronald Fagin, Ariel Fuxman, Laura M. Haas, Mauricio A. Hernández, C. T. Howard Ho, Anastasios Kementsietsidis, Renée J. Miller, Felix Naumann, Lucian Popa, Yannis Velegrakis, Charlotte Vilarem, Ling-Ling Yan Schema Management. Search on Bibsonomy IEEE Data Eng. Bull. The full citation details ... 2002 DBLP  BibTeX  RDF
1Ronald Fagin Combining Fuzzy Information: an Overview. Search on Bibsonomy SIGMOD Record The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Miklós Ajtai, Randal C. Burns, Ronald Fagin, Darrell D. E. Long, Larry J. Stockmeyer Compactly encoding unstructured inputs with differential compression. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Delta compression, differential compression, differencing
1Ronald Fagin, Amnon Lotem, Moni Naor Optimal Aggregation Algorithms for Middleware Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Moses Charikar, Ronald Fagin, Venkatesan Guruswami, Jon M. Kleinberg, Prabhakar Raghavan, Amit Sahai Query Strategies for Priced Information. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lenore Cowen, Ronald Fagin, Joe Kilian, Jon M. Kleinberg Guest Editor's Foreword. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lucian Popa, Yannis Velegrakis, Renée J. Miller, Mauricio A. Hernández, Ronald Fagin Translating Web Data. Search on Bibsonomy VLDB The full citation details ... 2002 DBLP  BibTeX  RDF
1Renée J. Miller, Mauricio A. Hernández, Laura M. Haas, Ling-Ling Yan, C. T. Howard Ho, Ronald Fagin, Lucian Popa The Clio Project: Managing Heterogeneity. Search on Bibsonomy SIGMOD Record The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ling-Ling Yan, Renée J. Miller, Laura M. Haas, Ronald Fagin Data-Driven Understanding and Refinement of Schema Mappings. (PDF / PS) Search on Bibsonomy SIGMOD Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yoëlle S. Maarek Static Index Pruning for Information Retrieval Systems. Search on Bibsonomy SIGIR The full citation details ... 2001 DBLP  BibTeX  RDF
1Ronald Fagin, Amnon Lotem, Moni Naor Optimal Aggregation Algorithms for Middleware. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Edward L. Wimmers A formula for incorporating weights into scoring rules. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Miklós Ajtai, Ronald Fagin, Larry J. Stockmeyer The Closure of Monadic NP. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ronald Fagin Logic, Complexity, and Games. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Yoëlle S. Maarek Allowing users to weight search terms. Search on Bibsonomy RIAO The full citation details ... 2000 DBLP  BibTeX  RDF
1Ronald Fagin, Anna R. Karlin, Jon M. Kleinberg, Prabhakar Raghavan, Sridhar Rajagopalan, Ronitt Rubinfeld, Madhu Sudan, Andrew Tomkins Random walks with ``back buttons'' (extended abstract). Search on Bibsonomy STOC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Moses Charikar, Ronald Fagin, Venkatesan Guruswami, Jon M. Kleinberg, Prabhakar Raghavan, Amit Sahai Query strategies for priced information (extended abstract). Search on Bibsonomy STOC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Common Knowledge Revisited. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ronald Fagin Combining Fuzzy Information from Multiple Systems. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Common knowledge revisited Search on Bibsonomy CoRR The full citation details ... 1998 DBLP  BibTeX  RDF
1Ronald Fagin, Larry J. Stockmeyer Relaxing the Triangle Inequality in Pattern Matching. Search on Bibsonomy International Journal of Computer Vision The full citation details ... 1998 DBLP  DOI  BibTeX  RDF pattern matching, image database, shape matching, distance measure, triangle inequality
1Ronald Fagin Fuzzy Queries in Multimedia Database Systems. Search on Bibsonomy PODS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Miklós Ajtai, Ronald Fagin, Larry J. Stockmeyer The Closure of Monadic NP (Extended Abstract). Search on Bibsonomy STOC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ronald Fagin Comparing the Power of Games on Graphs. Search on Bibsonomy Math. Log. Q. The full citation details ... 1997 DBLP  BibTeX  RDF
1Sanjeev Arora, Ronald Fagin On Winning Strategies in Ehrenfeucht-Fraïssé Games. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Knowledge-Based Programs. Search on Bibsonomy Distributed Computing The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Knowledge-based program, multi-agent system, Protocol, Reasoning about knowledge
1Ronald Fagin, Edward L. Wimmers Incorporating User Preferences in Multimedia Queries. Search on Bibsonomy ICDT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Arnaud Durand, Ronald Fagin, Bernd Loescher Spectra with Only Unary Function Symbols. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1David M. Choy, Ronald Fagin, Larry J. Stockmeyer Efficiently Extendible Mappings for Balanced Data Distribution. Search on Bibsonomy Algorithmica The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Moni Naor, Peter Winkler Comparing Information Without Leaking It. Search on Bibsonomy Commun. ACM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Mary Tork Roth, Manish Arya, Laura M. Haas, Michael J. Carey, William F. Cody, Ronald Fagin, Peter M. Schwarz, Joachim Thomas II, Edward L. Wimmers The Garlic Project. Search on Bibsonomy SIGMOD Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ronald Fagin Easier Ways to Win Logical Games. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Common Knowledge Revisited. Search on Bibsonomy TARK The full citation details ... 1996 DBLP  BibTeX  RDF
1Ronald Fagin Combining Fuzzy Information from Multiple Systems. Search on Bibsonomy PODS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi On Monadic NP vs. Monadic co-NP Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi A Nonstandard Approach to the Logical Omniscience Problem. Search on Bibsonomy Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1William F. Cody, Laura M. Haas, Wayne Niblack, Manish Arya, Michael J. Carey, Ronald Fagin, Myron Flickner, Denis Lee, Dragutin Petkovic, Peter M. Schwarz, Joachim Thomas II, Mary Tork Roth, John H. Williams, Edward L. Wimmers Querying Multimedia Data from Multiple Repositories by Content: the Garlic Project. Search on Bibsonomy VDB The full citation details ... 1995 DBLP  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Knowledge-Based Programs. Search on Bibsonomy PODC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Michael J. Carey, Laura M. Haas, Peter M. Schwarz, Manish Arya, William F. Cody, Ronald Fagin, Myron Flickner, Allen Luniewski, Wayne Niblack, Dragutin Petkovic, Joachim Thomas II, John H. Williams, Edward L. Wimmers Towards Heterogeneous Multimedia Information Systems: The Garlic Approach. Search on Bibsonomy RIDE-DOM The full citation details ... 1995 DBLP  BibTeX  RDF
1Ronald Fagin A Quantitative Analysis of Modal Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1994 DBLP  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern Reasoning About Knowledge and Probability. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF nondeterminism vs. probability, possible words, probabilistic common knowledge, probabilistic knowledge, reasoning about knowledge and probability, modal logic, knowledge
1Ronald Fagin Comparing the Power of Monadic NP Games. Search on Bibsonomy LCC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ronald Fagin (eds.) Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994 Search on Bibsonomy TARK The full citation details ... 1994 DBLP  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi An Operational Semantics for Knowledge Bases. Search on Bibsonomy AAAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Ronald Fagin Finite-Model Theory - A Personal Perspective. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1C. J. Date, Ronald Fagin Response to "Remarks on Two New Theorems of Date and Fagin". Search on Bibsonomy SIGMOD Record The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi On Monadic NP vs. Monadic co-NP (Extended Abstract). Search on Bibsonomy Structure in Complexity Theory Conference The full citation details ... 1993 DBLP  BibTeX  RDF
1C. J. Date, Ronald Fagin Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF 5NF, BCNF, Boyce-Codd normal form, PJ/NF, fifth normal form, fourth normal form 4NF, projection-join normal form, simple key, relational database, normalization, database design, functional dependency, multivalued dependency, join dependency
1Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi What Is an Inference Rule? Search on Bibsonomy J. Symb. Log. The full citation details ... 1992 DBLP  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi What Can Machines Know? On the Properties of Knowledge in Distributed Systems. Search on Bibsonomy J. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Joseph Y. Halpern, Ronald Fagin Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. Search on Bibsonomy TARK The full citation details ... 1992 DBLP  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi A Model-Theoretic Analysis of Knowledge. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF reasoning about knowlege, distributed systems, modal logic, knowledge, epistemology, knowledge structures, possible worlds, common knowledge, Kripke structure
1Ronald Fagin, Joseph Y. Halpern Uncertainty, belief, and probability. Search on Bibsonomy Computational Intelligence The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo A Logic for Reasoning about Probabilities Search on Bibsonomy Inf. Comput. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Miklós Ajtai, Ronald Fagin Reachability Is Harder for Directed than for Undirected Finite Graphs. Search on Bibsonomy J. Symb. Log. The full citation details ... 1990 DBLP  BibTeX  RDF
1Ronald Fagin Finite-Model Theory - a Personal Perspective. Search on Bibsonomy ICDT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Joseph Y. Halpern A new approach to updating beliefs. Search on Bibsonomy UAI The full citation details ... 1990 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 155 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.