صورة الغلاف

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...

وصف كامل

محفوظ في:

التفاصيل البيبلوغرافية
مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Brézillon, Patrick. (المحرر, http://id.loc.gov/vocabulary/relators/edt), Blackburn, Patrick. (المحرر, http://id.loc.gov/vocabulary/relators/edt), Dapoigny, Richard. (المحرر, http://id.loc.gov/vocabulary/relators/edt)
التنسيق:	الكتروني كتاب الكتروني
اللغة:	English
منشور في:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
الطبعة:	1st ed. 2013.
سلاسل:	Lecture Notes in Artificial Intelligence ; 8175
الموضوعات:	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.
الوصول للمادة أونلاين:	https://doi.org/10.1007/978-3-642-40972-1
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة

Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings /
منشور في: (2007)

Modeling and Using Context 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, Proceedings /
منشور في: (2011)

Modeling and Using Context 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings /
منشور في: (2005)

Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers /
منشور في: (2006)

Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings /
منشور في: (2006)

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /
منشور في: (2013)

Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings /
منشور في: (2012)

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /
منشور في: (2005)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /
منشور في: (2007)

Language and Automata Theory and Applications 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 /
منشور في: (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 /
منشور في: (2006)

Agent Technology and e-Health
منشور في: (2008)

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
منشور في: (2014)

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings /
منشور في: (2012)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
منشور في: (2013)

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers /
منشور في: (2014)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings /
منشور في: (2013)

Multidisciplinary Aspects of Time and Time Perception COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers /
منشور في: (2011)

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
منشور في: (2014)

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
منشور في: (2006)

Symbolic and Quantiative Approaches to Resoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings /
منشور في: (2013)

Evolutionary Game Design
بواسطة: Browne, Cameron., وآخرون
منشور في: (2011)

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings /
منشور في: (2008)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
منشور في: (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 /
منشور في: (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 /
منشور في: (2007)

AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /
منشور في: (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 /
منشور في: (2006)

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba
بواسطة: Subrahmanian, V.S., وآخرون
منشور في: (2013)

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /
منشور في: (2013)

Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence /
بواسطة: Klüver, Jürgen., وآخرون
منشور في: (2011)

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
منشور في: (2013)

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
منشور في: (2013)

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
منشور في: (2006)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /
منشور في: (2007)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /
منشور في: (2007)

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
منشور في: (2014)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings /
منشور في: (2013)

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings /
منشور في: (2008)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /
منشور في: (2007)