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

81
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Fixed Points -- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation...”
Cover Image
Read Now

82
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic -- A Clausal...”
Cover Image
Read Now

83
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID-Logic -- Default Reasoning...”
Cover Image
Read Now

84
Published 2021
Springer International Publishing
Table of Contents: “... for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies -- An Epistemic Logic...”
Cover Image
Read Now

85
Published 2022
Springer International Publishing
Table of Contents: “... Set Programming over Timed Traces -- Epistemic Logic Programs: a study of some properties -- Deep...”
Cover Image
Read Now

86
by Jacquette, Dale
Published 2006
Elsevier/North Holland
“... and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic...”
Cover Image
Read Now

87
Published 2020
Springer International Publishing
Table of Contents: “... Situational Patterns -- Guaranteeing Type Consistency in Collective Adaptive Systems -- Epistemic Logic...”
Cover Image
Read Now

88
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... in polymorphic types -- Gentzen-style and Novikov-style cut-elimination -- Graded modalities in epistemic logic...”
Cover Image
Read Now

89
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Network-Centric Age -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its...”
Cover Image
Read Now

90
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... an Epistemic Logic of Concepts -- Development of Intelligent Systems and Multi-Agents Systems with Amine...”
Cover Image
Read Now

91
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... dilemma of epistemic logic -- On the role of splitting and merging past cases for generation of a new...”
Cover Image
Read Now

92
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Identity -- Prolegomena to General-Imaging-Based Probabilistic Dynamic Epistemic Logic -- Logical Dynamics...”
Cover Image
Read Now

93
Published 2024
Springer Nature Switzerland
Table of Contents: “...-- Invited abstracts. -- Special Session: Computing Knowledge: Computational Aspects of Epistemic...”
Cover Image
Read Now

94
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Extension of Situation Calculus to Epistemic Logic -- Rule Based Abduction -- An Efficient Proof Method...”
Cover Image
Read Now

95
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Modelling Learners of a Control Task with Inductive Logic Programming: A Case Study -- Simple Epistemic...”
Cover Image
Read Now

96
by Fitting, M., Mendelsohn, Richard L.
Published 1998
Springer Netherlands
Table of Contents: “... -- 1.11 Epistemic Logic -- 1.12 Historical Highlights -- Two/Tableau Proof Systems -- 2.1 What Is a Proof...”
Cover Image
Read Now

97
Published 2022
Springer Nature Switzerland
Table of Contents: “... Partial Maximum Satisfiability Problem : Challenge to Sigma2P-Complete Problem -- Epistemic Logic via...”
Cover Image
Read Now

98
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Purchase Negotiations -- Towards a Model Driven Process for Multi-Agent System -- Towards an Epistemic...”
Cover Image
Read Now

99
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Hypermedia Discourse: Contesting Networks of Ideas and Arguments -- Dynamic Epistemic Logic and Knowledge...”
Cover Image
Read Now

100
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Bounded Delay andConcurrency for Earliest Query Answering -- Learning by Erasing in Dynamic Epistemic...”