Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 142045 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

https://doi.org/10.1016/0890-5401(90)90060-u Actions

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

https://doi.org/10.1109/lics.1988.5138 Actions

Reasoning About Knowledge

BOOK published 2004

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

https://doi.org/10.7551/mitpress/5803.001.0001 Actions

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

https://doi.org/10.1613/jair.985 Actions

Reasoning about common knowledge with infinitely many agents

JOURNAL ARTICLE published May 2004 in Information and Computation

Authors: Joseph Y. Halpern | Richard A. Shore

https://doi.org/10.1016/j.ic.2004.01.003 Actions

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

https://doi.org/10.1016/0890-5401(89)90040-0 Actions

Corrigendum: “Reasoning about knowledge and probability”

JOURNAL ARTICLE published January 1998 in Journal of the ACM

Authors: Ronald Fagin | Joseph Y. Halpern

https://doi.org/10.1145/273865.274429 Actions

Reasoning about knowledge and probability

JOURNAL ARTICLE published March 1994 in Journal of the ACM

Authors: Ronald Fagin | Joseph Y. Halpern

https://doi.org/10.1145/174652.174658 Actions

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

https://doi.org/10.2307/2275656 Actions

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

https://doi.org/10.1093/oso/9780198534532.003.0001 Actions

A Logic for Default Reasoning About Probabilities

BOOK CHAPTER published 1994 in Uncertainty Proceedings 1994

Authors: Manfred Jaeger

https://doi.org/10.1016/b978-1-55860-332-5.50049-3 Actions

An algebra and a logic for NC1

JOURNAL ARTICLE published July 1990 in Information and Computation

Authors: Kevin J. Compton | Claude Laflamme

https://doi.org/10.1016/0890-5401(90)90063-n Actions

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

https://doi.org/10.1145/270563.571467 Actions

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

https://doi.org/10.1016/j.ic.2017.01.007 Actions

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

https://doi.org/10.1016/j.ic.2015.03.014 Actions

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

https://doi.org/10.1109/jcit.1990.128310 Actions

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

https://doi.org/10.1504/ijiids.2018.091627 Actions

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

https://doi.org/10.1504/ijiids.2018.10012745 Actions

Reasoning about concurrent interaction

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

Authors: L Karlsson

https://doi.org/10.1093/logcom/9.5.623 Actions

On Monadic NP vs Monadic co-NP

JOURNAL ARTICLE published July 1995 in Information and Computation

Authors: R. Fagin | L.J. Stockmeyer | M.Y. Vardi

https://doi.org/10.1006/inco.1995.1100 Actions
Feedback: support@crossref.org