Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /

This book constitutes the thoroughly refereed post-proceedings of the 21st International Conference on Inductive Logic Programming, ILP 2011, held in Windsor Great Park, UK, in July/August 2011. The 24 revised full papers were carefully reviewed and selected from 66 submissions. Also included are fi...

Ամբողջական նկարագրություն

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Այլ հեղինակներ:	Tamaddoni-Nezhad, Alireza, Lisi, Francesca A., Muggleton, Stephen H.
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Հրապարակվել է:	Berlin, Heidelberg Imprint: Springer 2012.
Շարք:	Lecture Notes in Computer Science 7207
Խորագրեր:	Computer science. Logic design. Artificial intelligence.
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

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

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Հրապարակվել է: (2012)

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

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Հրապարակվել է: (2009)

Logic based program synthesis and transformation (vol. # 3573) / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, revised selected papers
Հրապարակվել է: (2005)

Approaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /
Հրապարակվել է: (2010)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Հրապարակվել է: (2012)

Inductive logic programming 19th international conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers /
Հրապարակվել է: (2010)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Հրապարակվել է: (2010)

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Հրապարակվել է: (2010)

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Հրապարակվել է: (2010)

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Հրապարակվել է: (2008)

Logic for computer science and artificial intelligence /
: Caferra, Ricardo
Հրապարակվել է: (2011)

Programming logics : essays in memory of harald ganzinger /
Հրապարակվել է: (2013)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Հրապարակվել է: (2007)

Logic-based artificial intelligence /
Հրապարակվել է: (2000)

Graph structures for knowledge representation and reasoning : Second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /
Հրապարակվել է: (2012)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Հրապարակվել է: (2010)

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /
Հրապարակվել է: (2008)

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

Rigid flexibility : the logic of intelligence /
: Wang, Pei
Հրապարակվել է: (2006)

Non-axiomatic logic a model of intelligent reasoning
: Wang, Pei
Հրապարակվել է: (2013)

Non-axiomatic logic a model of intelligent reasoning
: Wang, Pei
Հրապարակվել է: (2013)

Types for proofs and programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Հրապարակվել է: (2007)

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)

Proof theory for fuzzy logics
: Metcalfe, George
Հրապարակվել է: (2009)

A 25-year perspective on logic programming achievements of the Italian association for logic programming, GULP /
Հրապարակվել է: (2010)

Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5-11, 2011. proceedings /
Հրապարակվել է: (2011)

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

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Հրապարակվել է: (2014)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Հրապարակվել է: (2012)

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 : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Հրապարակվել է: (2013)

Type-2 fuzzy logic in intelligent control applications /
: Castillo, Oscar
Հրապարակվել է: (2012)