Beeld op de omslag

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings /

This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in October/November 2013. The 23 full papers and 9 short papers presented were carefully reviewed and selected from numerous submission...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Brézillon, Patrick. (Redacteur, http://id.loc.gov/vocabulary/relators/edt), Blackburn, Patrick. (Redacteur, http://id.loc.gov/vocabulary/relators/edt), Dapoigny, Richard. (Redacteur, http://id.loc.gov/vocabulary/relators/edt)
Formaat:	Elektronisch E-boek
Taal:	English
Gepubliceerd in:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Editie:	1st ed. 2013.
Reeks:	Lecture Notes in Artificial Intelligence ; 8175
Onderwerpen:	Artificial intelligence. Mathematical logic. Application software. Computers and civilization. Artificial Intelligence. Mathematical Logic and Formal Languages. Information Systems Applications (incl. Internet). Computer Appl. in Social and Behavioral Sciences. Computer Appl. in Arts and Humanities. Computers and Society.
Online toegang:	https://doi.org/10.1007/978-3-642-40972-1
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings /
Gepubliceerd in: (2007)

Modeling and Using Context 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, Proceedings /
Gepubliceerd in: (2011)

Modeling and Using Context 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings /
Gepubliceerd in: (2005)

Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers /
Gepubliceerd in: (2006)

Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings /
Gepubliceerd in: (2006)

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /
Gepubliceerd in: (2013)

Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings /
Gepubliceerd in: (2012)

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /
Gepubliceerd in: (2005)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /
Gepubliceerd in: (2007)

Language and Automata Theory and Applications 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 /
Gepubliceerd in: (2011)

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 /
Gepubliceerd in: (2006)

Agent Technology and e-Health
Gepubliceerd in: (2008)

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
Gepubliceerd in: (2014)

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings /
Gepubliceerd in: (2012)

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

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers /
Gepubliceerd in: (2014)

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

Multidisciplinary Aspects of Time and Time Perception COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers /
Gepubliceerd in: (2011)

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
Gepubliceerd in: (2014)

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

Symbolic and Quantiative Approaches to Resoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings /
Gepubliceerd in: (2013)

Evolutionary Game Design
door: Browne, Cameron., et al.
Gepubliceerd in: (2011)

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings /
Gepubliceerd in: (2008)

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

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings /
Gepubliceerd in: (2007)

Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007, Selected Papers /
Gepubliceerd in: (2007)

AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /
Gepubliceerd in: (2005)

Current Topics in Artificial Intelligence 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers /
Gepubliceerd in: (2006)

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba
door: Subrahmanian, V.S., et al.
Gepubliceerd in: (2013)

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /
Gepubliceerd in: (2013)

Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence /
door: Klüver, Jürgen., et al.
Gepubliceerd in: (2011)

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Gepubliceerd in: (2013)

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
Gepubliceerd in: (2013)

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Gepubliceerd in: (2006)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /
Gepubliceerd in: (2007)

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

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Gepubliceerd in: (2014)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings /
Gepubliceerd in: (2013)

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings /
Gepubliceerd in: (2008)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /
Gepubliceerd in: (2007)