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

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

Bewaard in:

Bibliografische gegevens
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Janhunen, Tomi, Niemel©Þ, Ilkka
Formaat:	E-boek
Taal:	English
Gepubliceerd in:	Berlin, Heidelberg Springer 2010.
Reeks:	Lecture Notes in Computer Science, 6341
Onderwerpen:	Computer science Software engineering Logic design Algebra > Data processing Information Systems Artificial intelligence
Online toegang:	Click here to view the full text content
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

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

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

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

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

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

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

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

Logic-based artificial intelligence /
Gepubliceerd in: (2000)

Logic for computer science and artificial intelligence /
door: Caferra, Ricardo
Gepubliceerd in: (2011)

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

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

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

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

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

Logic for computer science and artificial intelligence
door: Caferra, Ricardo
Gepubliceerd in: (2011)

Logic for computer science and artificial intelligence
door: Caferra, Ricardo
Gepubliceerd in: (2011)

Artificial intelligence and symbolic computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
Gepubliceerd in: (2014)

Logic, language and meaning 17th amsterdam colloquium, amsterdam, the netherlands, December 16-18, 2009, revised selected papers /
Gepubliceerd in: (2010)

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

Proof theory for fuzzy logics
door: Metcalfe, George
Gepubliceerd in: (2009)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Gepubliceerd in: (2010)

Logic, artificial intelligence and robotics : LAPTEC 2001 /
Gepubliceerd in: (2001)

Logic, artificial intelligence, and robotics : LAPTEC 2001 /
Gepubliceerd in: (2001)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Gepubliceerd in: (2010)

Intelligent computer mathematics : 11th International conference, AISC 2012, 19th symposium, calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings /
Gepubliceerd in: (2012)

Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
Gepubliceerd in: (2013)

Artificial intelligence : methodology, systems, and applications : 12th international conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006 proceedings /
Gepubliceerd in: (2006)

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
door: Schneider, Klaus, 1967-
Gepubliceerd in: (2007)

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
Gepubliceerd in: (2006)

Artificial intelligence and soft computing 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I /
Gepubliceerd in: (2010)

Advances in artificial intelligence 9th Mexican international conference on artificial intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, proceedings, part I /
Gepubliceerd in: (2010)

Model checking and artificial intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
Gepubliceerd in: (2007)

Statistical relational artificial intelligence : logic, probability, and computation /
Gepubliceerd in: (2016)

Artificial intelligence and computational intelligence international conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II /
Gepubliceerd in: (2010)

Artificial intelligence and computational intelligence international conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /
Gepubliceerd in: (2010)

Argumentation in artificial intelligence
Gepubliceerd in: (2009)

Argumentation in artificial intelligence
Gepubliceerd in: (2009)

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

PRICAI 2010: trends in artificial intelligence 11th pacific rim international conference on artificial intelligence, Daegu, Korea, August 30-September 2, 2010. Proceedings /
Gepubliceerd in: (2010)

Artificial intelligence /
door: Winston, Patrick Henry