Search alternatives:
"epistemic logic" » "epidemic logic"

101
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic...

102
Published 2025
Springer Nature Singapore
Table of Contents: ... in Epistemic Logic. -- A Relaxed Symmetric Non-negative Matrix Factorization Approach for Community Discovery...

103
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... for Sets of Propositional Clauses -- On Iterated Revision in the AGM Framework -- Epistemic Logics...

104
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Fair Branching-Time Temporal Epistemic Logic -- Multistage Fuzzy Decision Making in Bilateral...

105
by Gochet, Paul
Published 1980
Springer Netherlands
Table of Contents: ... and Epistemic Logic -- 6. Carnap’s Dualist Semantics -- 7. Quine’s Unitary Extensionalism -- 8. Criticisms...

106
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... epistemic logics -- A commonsense theory of nonmonotonic reasoning -- Negative paramodulation...

107
Published 2012
Springer Netherlands
... epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators...

108
Published 2019
Springer International Publishing
..., modal and epistemic logics, and rewriting and unification...

109
Published 1992
Springer Berlin Heidelberg
... of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov...

110
Published 2013
Springer Berlin Heidelberg
... or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures...

111
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
..., including modal, temporal, and epistemic logics. By using a graphical presentation, it explains neural...

112
by Jenkins, Ralph
Published 2022
Springer International Publishing