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

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

Bewaard in:

Bibliografische gegevens
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Pfahringer, Bernhard, Kramer, Stefan
Formaat:	E-boek
Taal:	English
Reeks:	Lecture Notes in Computer Science, 3625
Onderwerpen:	Computer science Computer software 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

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

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

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

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

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

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

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

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

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)

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)

Genetic programming : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings /
Gepubliceerd in: (2012)

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

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

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Gepubliceerd in: (2014)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Gepubliceerd in: (2012)

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)

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)

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

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

Learning theory (vol. # 3559) / 18th Annual Conference on learning theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, proceedings

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

Inductive logic programming 19th international conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers /
Gepubliceerd in: (2010)

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

Computational logic in multi-agent systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Gepubliceerd in: (2012)

Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
Gepubliceerd in: (2014)

Frontiers of combining systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings /

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Gepubliceerd in: (2010)

Conceptual structures: common semantics for sharing knowledge : 13th International Conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings /

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)

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

Advances in informatics : 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Gepubliceerd in: (2010)

Swarm intelligence : 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings /
Gepubliceerd in: (2014)

Approaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /
Gepubliceerd in: (2010)

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
door: Bartenstein, Oskar
Gepubliceerd in: (2005)

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

Programming multi-agent systems : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers /
Gepubliceerd in: (2013)

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

Multiagent system technologies : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings