封面圖片

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

Saved in:

書目詳細資料
企業作者:	SpringerLink (Online service)
其他作者:	Brézillon, Patrick. (Editor, http://id.loc.gov/vocabulary/relators/edt), Blackburn, Patrick. (Editor, http://id.loc.gov/vocabulary/relators/edt), Dapoigny, Richard. (Editor, 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., et al.
出版: (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., et al.
出版: (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., et al.
出版: (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)