Imagen de Portada

Dynamic Epistemic Logic

Guardado en:

Autor Principal:	Ditmarsch, Hans.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Hoek, Wiebe., Kooi, Barteld.
Formato:	Electrónico
Idioma:	English
Publicado:	Dordrecht : Springer, 2007.
Series:	Studies In Epistemology, Logic, Methodology, And Philosophy Of Science ; 337
Materias:	Philosophy (General) Genetic epistemology. Logic. Computer science. Artificial intelligence. Philosophy. Artificial Intelligence (incl. Robotics) Epistemology. Mathematical Logic and Formal Languages.
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Dynamic Epistemic Logic
por: Ditmarsch, Hans.
Publicado: (2007)

Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation /
por: Hitchcock, David.
Publicado: (2006)

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION /
por: ALISEDA, ATOCHA.
Publicado: (2006)

Induction, Algorithmic Learning Theory, and Philosophy
por: Friend, Michèle.
Publicado: (2007)

Handbook of Spatial Logics
por: Aiello, Marco.
Publicado: (2007)

The Dynamics of Thought
por: Gärdenfors, Peter.
Publicado: (2005)

The Construction of New Mathematical Knowledge in Classroom Interaction An Epistemological Perspective /
por: Steinbring, Heinz.
Publicado: (2005)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
por: Benthem, Johan.
Publicado: (2006)

Language, Meaning, Interpretation
por: Fløistad, Guttorm.
Publicado: (2005)

Handbook of Philosophical Logic
por: Gabbay, D.M.
Publicado: (2007)

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings /
por: Goble, Lou.
Publicado: (2006)

Camino al pensamiento complejo
por: Luis Carlos Torres Soler
Publicado: (2022)

Studies in Legal Logic
por: Hage, Jaap.
Publicado: (2005)

Contextualisms in Epistemology
por: Brendel, Elke.
Publicado: (2005)

Agent Technology from a Formal Perspective
por: Rouff, Christopher A.
Publicado: (2006)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings /
por: Mellouli, Khaled.
Publicado: (2007)

Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings /
por: Prade, Henri.
Publicado: (2007)

Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers /
por: Kern-Isberner, Gabriele.
Publicado: (2005)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings /
por: Godo, Lluís.
Publicado: (2005)

Analogy in Indian and Western Philosophical Thought
por: Zilberman, David B.
Publicado: (2006)

Handbook of Spatial Logics
por: Aiello, Marco.
Publicado: (2007)

Induction, Algorithmic Learning Theory, and Philosophy
por: Friend, Michèle.
Publicado: (2007)

From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski /
por: Rojszczak, Artur.
Publicado: (2005)

RETHINKING EXPLANATION
por: PERSSON, JOHANNES.
Publicado: (2007)

Rationality and Reality Conversations with Alan Musgrave /
por: Cheyne, Colin.
Publicado: (2006)

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings /
por: Zucker, Jean-Daniel.
Publicado: (2005)

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings /
por: Sakakibara, Yasubumi.
Publicado: (2006)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /
por: Miguel, Ian.
Publicado: (2007)

Knowledge and reality Essays in Honor of Alvin Plantinga /
por: Crisp, Thomas M.
Publicado: (2006)

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
por: Cate, Balder D.
Publicado: (2007)

Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings /
por: Fisher, Michael.
Publicado: (2006)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /
por: Baral, Chitta.
Publicado: (2005)

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
por: Baral, Chitta.
Publicado: (2007)

Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings /
por: Blache, Philippe.
Publicado: (2005)

Knowing Art Essays in Aesthetics and Epistemology /
por: Kieran, Matthew.
Publicado: (2006)

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday /
por: Aguzzoli, Stefano.
Publicado: (2007)

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
por: Leite, João.
Publicado: (2005)

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
por: Toni, Francesca.
Publicado: (2006)

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers /
por: Inoue, Katsumi.
Publicado: (2007)

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers /
por: Dix, Jürgen.
Publicado: (2005)