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

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

Saved in:

書目詳細資料
企業作者:	SpringerLink (Online service)
其他作者:	Voronkov, Andrei, Sutcliffe, Geoff
格式:	電子書
語言:	English
叢編:	Lecture Notes in Computer Science, 3835
主題:	Computer science Logic design Software engineering Artificial intelligence
在線閱讀:	Click here to view the full text content
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

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

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

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

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

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

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

Logic for programming, artificial intelligence, and reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
出版: (2015)

Logic for programming, artificial intelligence, and reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
出版: (2015)

Logic-based artificial intelligence /
出版: (2000)

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

Logic for computer science and artificial intelligence /
由: Caferra, Ricardo
出版: (2011)

Logic for computer science and artificial intelligence
由: Caferra, Ricardo
出版: (2011)

Logic for computer science and artificial intelligence
由: Caferra, Ricardo
出版: (2011)

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
出版: (2006)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
出版: (2006)

Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
出版: (2000)

Logics in artificial intelligence : 10th European conference, Jelia 2006, Liverpool, Uk, September 13-15, 2006 proceedings /
出版: (2006)

Logic, artificial intelligence and robotics : LAPTEC 2001 /
出版: (2001)

Logic, artificial intelligence, and robotics : LAPTEC 2001 /
出版: (2001)

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

Adaptive logics for defeasible Reasoning : applications in argumentation, normative reasoning and default reasoning /
由: Straßer, Christian
出版: (2014)

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

Logics in artificial intelligence 12th european conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /
出版: (2010)

Advances in Artificial Intelligence (vol. # 3501) 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005, Proceedings
出版: (2005)

Logics in artificial intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
出版: (2012)

Logics in artificial intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings /
出版: (2014)

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

Reasoning web (vol. # 3564) : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures /

Statistical relational artificial intelligence : logic, probability, and computation /
出版: (2016)

Artificial intelligence programming for mobile robot /
由: Muhammad Rahmat Md Padzil
出版: (2005)

Argumentation in artificial intelligence
出版: (2009)

Argumentation in artificial intelligence
出版: (2009)

Non-axiomatic logic a model of intelligent reasoning
由: Wang, Pei
出版: (2013)

Non-axiomatic logic a model of intelligent reasoning
由: Wang, Pei
出版: (2013)

Logic based program synthesis and transformation (vol. # 3573) / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, revised selected papers
出版: (2005)

Artificial general intelligence /
由: Goertzel, Ben
出版: (2007)

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

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

Artificial intelligence and logic programming
由: Mathur, Nishit
出版: (2011)