Facet browsing currently unavailable
Page 4 of 142296 results
Sort by: relevance publication year
An extended framework for specifying and reasoning about proof systems JOURNAL ARTICLE published April 2016 in Journal of Logic and Computation |
Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change JOURNAL ARTICLE published 1994 in Journal of Logic and Computation |
Approximate reasoning about logic circuits with single-fan-out unreliable gates JOURNAL ARTICLE published 1 October 2014 in Journal of Logic and Computation |
Probabilities on finite models JOURNAL ARTICLE published March 1976 in Journal of Symbolic Logic |
Reasoning about Termination of Pure Prolog Programs JOURNAL ARTICLE published September 1993 in Information and Computation |
Syntactic computation of Fagin-Halpern conditioning in possibility theory PROCEEDINGS ARTICLE published in EPiC Series in Computing |
Erratum to ‘A logic for reasoning about ambiguity’ [Artificial Intelligence 209 (2014) 1–10] JOURNAL ARTICLE published July 2014 in Artificial Intelligence |
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities JOURNAL ARTICLE published March 2020 in Journal of Logic, Language and Information Research funded by Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung (200021_165549) | Ministarstvo Prosvete, Nauke i Tehnološkog Razvoja (ON174026,III44006) | Ministarstvo Prosvete, Nauke i Tehnološkog Razvoja (ON174008) |
Specification patterns for reasoning about recursion through the store JOURNAL ARTICLE published October 2013 in Information and Computation Research funded by EPSRC (EP/G003173/1) |
Reasoning about graded strategy quantifiers JOURNAL ARTICLE published April 2018 in Information and Computation |
Ronald Fagin and Moshe Y. Vardi. Knowledge and implicit knowledge in a distributed environment: preliminary report. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 187–206. JOURNAL ARTICLE published June 1988 in Journal of Symbolic Logic |
Ronald Fagin and Moshe Y. Vardi. Knowledge and implicit knowledge in a distributed environment: preliminary report. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 187–206. JOURNAL ARTICLE published June 1988 in The Journal of Symbolic Logic |
Common Knowledge Revisited BOOK CHAPTER published 2003 in Knowledge Contributors |
Reasoning about strategic voting in modal logic quickly becomes undecidable JOURNAL ARTICLE published 4 June 2021 in Journal of Logic and Computation |
Probabilities on finite models JOURNAL ARTICLE published March 1976 in The Journal of Symbolic Logic |
Differential Logic for Reasoning About Hybrid Systems BOOK CHAPTER published in Hybrid Systems: Computation and Control |
Jaakko Hintikka. Reasoning about knowledge in philosophy: the paradigm of epistemic logic. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 63–80. JOURNAL ARTICLE published June 1988 in The Journal of Symbolic Logic |
Reasoning about Probabilities in Neural Networks BOOK CHAPTER published in Neural-Symbolic Cognitive Reasoning |
Jaakko Hintikka. Reasoning about knowledge in philosophy: the paradigm of epistemic logic. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 63–80. JOURNAL ARTICLE published June 1988 in Journal of Symbolic Logic |
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives JOURNAL ARTICLE published April 2018 in Information and Computation Research funded by European Community 7-th Framework Programme (FP7/2007-2013) |