Search alternatives:
"epistemic logic" » "epidemic logic"
Cover Image
Read Now

61
Published 2000
Springer Netherlands
Table of Contents: “... Theorie der Erfahrung? -- Lask’s Theory of Judgment -- Interpretations of Modality: Epistemic Logic...”
Cover Image
Read Now

62
Published 2002
Springer Netherlands
Table of Contents: “... of Multi-Agent Systems in Temporal Multi-Epistemic Logic -- IIIB: Formal Analysis: Logics for Agents...”
Cover Image
Read Now

63
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Systems -- Epistemic Logic for the Applied Pi Calculus -- On Process-Algebraic Proof Methods for Fault...”
Cover Image
Read Now

64
Published 2011
Springer Netherlands
Table of Contents: “... for Decidable Epistemic Logics from Security Protocols; R. Ramanujam and S.P. Suresh...”
Cover Image
Read Now

65
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach...”
Cover Image
Read Now

66
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Graphical Models -- How much does an agent believe: an extension of modal epistemic logic -- Safety Logics...”
Cover Image
Read Now

67
Published 2002
Springer Berlin Heidelberg
Table of Contents: “..., and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications -- Semantic Web Enabled Web...”
Cover Image
Read Now

68
Published 2020
Springer International Publishing
Table of Contents: “... Numerical Extension -- Craig Interpolation of Epistemic Logics with Distributed Knowledge -- On the dynamics...”
Cover Image
Read Now

69
Published 2022
Springer International Publishing
Table of Contents: “... -- Multiagent Foundations for Distributed Systems: A Vision -- An Epistemic Logic for Modular Development...”
Cover Image
Read Now

70
Published 2019
Springer International Publishing
Table of Contents: “... Epistemic Logic -- Approximate model counting, sparse XOR constraints and minimum distance -- Verification...”
Cover Image
Read Now

71
Published 2009
Springer Netherlands
“... of belief revision, non-monotonic logic and dynamic epistemic logic. Towards Mathematical Philosophy deals...”
Cover Image
Read Now

72
Published 2009
Springer Netherlands
“... of language and mind, and epistemic logic, namely how belief simpliciter does or ought to behave...”
Cover Image
Read Now

73
Published 2019
Springer International Publishing
Table of Contents: “... -- Treewidth and Counting Projected Answer Sets -- Splitting Epistemic Logic Programs -- Founded World Views...”
Cover Image
Read Now

74
Published 2004
Springer Netherlands
Table of Contents: “... Computationalconstraints In Epistemic Logic -- Contributions from Non-Classical Logics -- The Need for Adaptive Logics...”
Cover Image
Read Now

75
Published 2014
Springer Netherlands
Table of Contents: “... New Approach to Epistemic Logic; Giovanna Corsi and Gabriele Tassi -- Chapter 3. Explaining Capacities...”
Cover Image
Read Now

76
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Functions -- A Framework for Evidential-Reasoning Systems -- Epistemic Logics, Probability, and the Calculus...”
Cover Image
Read Now

77
Published 1993
Springer Berlin Heidelberg
“... abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional...”
Cover Image
Read Now

78
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Reduction Technique for Temporal-epistemic Logic -- Tools -- TAPAAL: Editor, Simulator and Verifier of Timed...”
Cover Image
Read Now

79
Published 2011
Springer Netherlands
Table of Contents: “... with Many-valued Logic; Ferdinando Cicalese and Daniele Mundici -- 9. Two Applications of Epistemic Logic...”
Cover Image
Read Now

80
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Systems in Temporal Multi-epistemic Logic -- Emergent Mental Attitudes in Layered Agents -- Architectures...”