Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 140265 results
Sort by: relevance publication year

A logic for reasoning about probabilities

JOURNAL ARTICLE published July 1990 in Information and Computation

Authors: Ronald Fagin | Joseph Y. Halpern | Nimrod Megiddo

A logic for reasoning about probabilities

PROCEEDINGS ARTICLE published in [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science

Authors: R. Fagin | J.Y. Halpern | N. Megiddo

Reasoning About Knowledge

BOOK published 2004

Authors: Ronald Fagin | Joseph Y. Halpern | Yoram Moses | Moshe Vardi

A Logic for Reasoning about Upper Probabilities

JOURNAL ARTICLE published 1 September 2002 in Journal of Artificial Intelligence Research

Authors: J. Y. Halpern | R. Pucella

Reasoning about common knowledge with infinitely many agents

JOURNAL ARTICLE published May 2004 in Information and Computation

Authors: Joseph Y. Halpern | Richard A. Shore

Reasoning about procedures as parameters in the language L4

JOURNAL ARTICLE published December 1989 in Information and Computation

Authors: Steven M. German | Edmund M. Clarke | Joseph Y. Halpern

Reasoning about knowledge and probability

JOURNAL ARTICLE published March 1994 in Journal of the ACM

Authors: Ronald Fagin | Joseph Y. Halpern

Corrigendum: “Reasoning about knowledge and probability”

JOURNAL ARTICLE published January 1998 in Journal of the ACM

Authors: Ronald Fagin | Joseph Y. Halpern

A Logic for Default Reasoning About Probabilities

BOOK CHAPTER published 1994 in Uncertainty Proceedings 1994

Authors: Manfred Jaeger

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp.

JOURNAL ARTICLE published December 1997 in Journal of Symbolic Logic

Authors: Rohit Parikh

Reasoning About Knowledge: A Survey*

BOOK CHAPTER published 25 April 1996 in Handbook of Logic in Artificial Intelligence and Logic Programming

Authors: Joseph Y Halpern

An algebra and a logic for NC1

JOURNAL ARTICLE published July 1990 in Information and Computation

Authors: Kevin J. Compton | Claude Laflamme

Review of Reasoning About Knowledge by Ronald Fagin, Joseph Halpern, Yoram Moses and Moshe Vardi

JOURNAL ARTICLE published December 1997 in ACM SIGACT News

Authors: Alexander Dekhtyar

A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations

JOURNAL ARTICLE published August 2017 in Information and Computation

Authors: Luca Viganò | Marco Volpe | Margherita Zorzi

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints

JOURNAL ARTICLE published June 2015 in Information and Computation

Research funded by EPSRC (EP/J011894/2)

Authors: Simon Busard | Charles Pecheur | Hongyang Qu | Franco Raimondi

What is an inference rule?

PROCEEDINGS ARTICLE published in Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'

Authors: R. Fagin | J.Y. Halpern | M.Y. Vardi

Intensional FOL for reasoning about probabilities and probabilistic logic programming

JOURNAL ARTICLE published 2018 in International Journal of Intelligent Information and Database Systems

Authors: Zoran Majkić | Bhanu Prasad

Reasoning about concurrent interaction

JOURNAL ARTICLE published 1 October 1999 in Journal of Logic and Computation

Authors: L Karlsson

Intensional FOL for reasoning about probabilities and probabilistic logic programming

JOURNAL ARTICLE published 2018 in International Journal of Intelligent Information and Database Systems

Authors: Zoran Majkić | Bhanu Prasad

Preface

BOOK CHAPTER published 1994 in Theoretical Aspects of Reasoning About Knowledge

Authors: Ronald Fagin