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)

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

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

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

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)

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

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

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

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

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

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
por: Duparc, Jacques.
Publicado: (2007)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
por: Ésik, Zoltán.
Publicado: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
por: Ong, Luke.
Publicado: (2005)

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

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)

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

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)

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

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)

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)

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

Epistemic logic for AI and computer science /
por: Meyer, John-Jules Ch.
Publicado: (1995)

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)

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

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

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

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
por: Dahl, Véronica.
Publicado: (2007)

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /
por: Gabbrielli, Maurizio.
Publicado: (2005)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
por: Etalle, Sandro.
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 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 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers /
por: Dix, Jürgen.
Publicado: (2005)

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)

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)

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

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
por: Schneider, Klaus.
Publicado: (2007)