Cargando…

Handbook of Spatial Logics

A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theo...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Aiello, Marco (Editor ), Pratt-Hartmann, Ian (Editor ), Benthem, Johan van (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Dordrecht : Springer Netherlands : Imprint: Springer, 2007.
Edición:	1st ed. 2007.
Temas:	Science-Philosophy. Mathematical logic. Geometry. Machine theory. Topology. Artificial intelligence. Philosophy of Science. Mathematical Logic and Foundations. Formal Languages and Automata Theory. Artificial Intelligence.
Acceso en línea:	Texto Completo

Ejemplares similares

A New Perspective on Nonmonotonic Logics
por: Gabbay, Dov M., et al.
Publicado: (2016)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
por: Ognjanović, Zoran, et al.
Publicado: (2016)

Conditionals and Modularity in General Logics
por: Gabbay, Dov M., et al.
Publicado: (2011)

Logical Tools for Handling Change in Agent-Based Systems
por: Gabbay, Dov M., et al.
Publicado: (2010)

Natural Deduction, Hybrid Systems and Modal Logics
por: Indrzejczak, Andrzej
Publicado: (2010)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /
Publicado: (2008)

Belief Revision in Non-Classical Logics
por: Ribeiro, Márcio Moretto
Publicado: (2013)

Reactive Kripke Semantics
por: Gabbay, Dov M.
Publicado: (2013)

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
por: Kaiser, Lukasz
Publicado: (2011)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
Publicado: (2005)

Algorithms in Invariant Theory
por: Sturmfels, Bernd
Publicado: (2008)

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

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

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

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Publicado: (2012)

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers /
Publicado: (2014)

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Publicado: (2005)

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings /
Publicado: (2011)

Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
Publicado: (2009)

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publicado: (2014)

Logic and Its Applications Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings /
Publicado: (2011)

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings /
Publicado: (2009)

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Publicado: (2011)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings /
Publicado: (2013)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Publicado: (2015)

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Publicado: (2015)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
Publicado: (2016)

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /
Publicado: (2007)

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
Publicado: (2005)

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
Publicado: (2006)

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
Publicado: (2005)

Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Publicado: (2009)

Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings /
Publicado: (2008)

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
Publicado: (2006)

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings /
Publicado: (2009)

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Publicado: (2009)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
Publicado: (2013)

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers /
Publicado: (2011)

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
por: Platzer, André
Publicado: (2010)

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

Cannot write session to /tmp/vufind_sessions/sess_u0eu2t9tn7v81qeqk565hctepv