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

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	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)