Cargando…

MICAI 2008: Advances in Artificial Intelligence 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings /

This book constitutes the refereed proceedings of the 6th Mexican International Conference on Artificial Intelligence, MICAI 2008, held in Atizapán de Zaragoza, Mexico, in October 2008. The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 3...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Gelbukh, Alexander (Editor ), Morales, Eduardo F. (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:	1st ed. 2008.
Colección:	Lecture Notes in Artificial Intelligence, 5317
Temas:	Artificial intelligence. Computer programming. Compilers (Computer programs). Computer science. Machine theory. Computer vision. Artificial Intelligence. Programming Techniques. Compilers and Interpreters. Theory of Computation. Formal Languages and Automata Theory. Computer Vision.
Acceso en línea:	Texto Completo

Ejemplares similares

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
Publicado: (2008)

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /
Publicado: (2008)

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /
Publicado: (2008)

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /
Publicado: (2008)

MICAI 2005: Advances in Artificial Intelligence 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings /
Publicado: (2005)

MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings /
Publicado: (2007)

MICAI 2006: Advances in Artificial Intelligence 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings /
Publicado: (2006)

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /
Publicado: (2009)

Artificial Intelligence. An International Perspective An International Perspective /
por: Bramer, Max
Publicado: (2009)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /
Publicado: (2010)

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /
Publicado: (2008)

Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings /
Publicado: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers /
Publicado: (2010)

Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /
Publicado: (2005)

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings /
Publicado: (2009)

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
Publicado: (2009)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Fourth International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008, Proceedings /
Publicado: (2008)

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /
Publicado: (2008)

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /
Publicado: (2008)

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
Publicado: (2016)

Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009, Proceedings /
Publicado: (2009)

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings /
Publicado: (2012)

Automated Deduction - CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
Publicado: (2009)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Publicado: (2010)

Artificial Intelligence and Soft Computing - ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings /
Publicado: (2008)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings /
Publicado: (2009)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems /
por: Puppis, Gabriele
Publicado: (2010)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Publicado: (2007)

Learning Classifier Systems 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers /
Publicado: (2008)

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers /
Publicado: (2007)

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /
Publicado: (2005)

Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings /
Publicado: (2009)

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /
Publicado: (2011)

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /
Publicado: (2011)

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /
Publicado: (2012)

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /
Publicado: (2013)

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Publicado: (2015)

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /
Publicado: (2011)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /
Publicado: (2008)

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings /
Publicado: (2012)