Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Greco, Gianluigi, Leone, Nicola, Terracina, Giorgio, Baral, Chitta
Formato:	livro electrónico
Idioma:	English
Colecção:	Lecture Notes in Computer Science, 3662
Assuntos:	Artificial intelligence Computer science
Acesso em linha:	Click here to view the full text content
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Publicado em: (2013)

Symbolic and quantitative qpproaches to reasoning with uncertainty : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings /

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Explanatory nonmonotonic reasoning
Por: Bochman, Alexander
Publicado em: (2005)

Explanatory nonmonotonic reasoning
Por: Bochman, Alexander
Publicado em: (2005)

Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Publicado em: (2007)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Publicado em: (2010)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Publicado em: (2012)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Publicado em: (2013)

Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Por: Baader, Franz
Publicado em: (2005)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Publicado em: (2010)

Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Por: Blache, Philippe
Publicado em: (2005)

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Publicado em: (2009)

Adaptive logics for defeasible Reasoning : applications in argumentation, normative reasoning and default reasoning /
Por: Straßer, Christian
Publicado em: (2014)

Reasoning Robots The Art and Science of Programming Robotic Agents /
Por: Thielscher, Michael
Publicado em: (2005)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Publicado em: (2010)

Symbolic and quantitative approaches to reasoning with uncertainty : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings /
Publicado em: (2007)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Publicado em: (2013)

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Publicado em: (2008)

Logic, language, and computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
Publicado em: (2007)

Reasoning web. reasoning on the web in the big data era : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings /
Publicado em: (2014)

Principles and practice of constraint programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings /
Publicado em: (2014)

AI*IA 2005: advances in artificial intelligence : 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings /

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /
Publicado em: (2008)

Constraint satisfaction techniques for agent-based reasoning
Por: Neagu, Nicoleta
Publicado em: (2005)

Natural and artificial reasoning : an exploration of modelling human hhinking /
Por: Addis, Tom
Publicado em: (2014)

Case-based reasoning research and development / 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings

Image analysis and processing - ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings
Por: Roli, Fabio
Publicado em: (2005)

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP
Por: Bartenstein, Oskar
Publicado em: (2005)

Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /
Publicado em: (2006)

Algorithmic learning theory : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings /

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /
Publicado em: (2012)

Modeling and using context / 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings

Advances in artificial life : 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings /

Principles and practice of constraint programming - CP 2005 : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /

Programming logics : essays in memory of harald ganzinger /
Publicado em: (2013)