Logic for programming, artificial intelligence, and reasoning : :: SCD d'Orléans

Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings

Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
अन्य लेखक:	McMillan, Ken (प्रकाशन निदेशक), Middeldorp, Aart (प्रकाशन निदेशक), Voronkov, Andrei (प्रकाशन निदेशक)
स्वरूप:	Livre numérique
भाषा:	Anglais
प्रकाशित:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
श्रृंखला:	Theoretical Computer Science and General Issues 8312
ऑनलाइन पहुंच:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
टिप्पणी:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic for Programming, Artificial Intelligence, and Reasoning, Texte imprimé, 9783642452208 • Logic for Programming, Artificial Intelligence, and Reasoning, Texte imprimé, 9783642452222

समान संसाधन

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
द्वारा: Pfenning, Frank

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
द्वारा: Cabalar, Pedro

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
द्वारा: Parigot, Michel, 1956-...., mathématicien

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
द्वारा: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
द्वारा: Voronkov, Andrei, 1959-

Reasoning with logic programming
द्वारा: Alferes, José Júlio, 1966-, और अन्य

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28 31, 1997 : proceedings
द्वारा: Dix, Jürgen, 1961-

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 28, 1995 : proceedings
द्वारा: Marek, Victor W., 1943-

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Tractable reasoning in artificial intelligence
द्वारा: Cadoli, Marco

Foundations of logic and functional programming : Workshop, Trento, Italy, December 15 19, 1986 : proceedings

Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
द्वारा: Alferes, José Júlio, 1966-

Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings
द्वारा: Klement, Erich Peter

Logic programming : ; proceedings 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001

Artificial Intelligence in Logic Design
द्वारा: Yanushkevich, Svetlana N.

Logic-Based Artificial Intelligence

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
द्वारा: MacNish, Craig, 19..-

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 18, 1990 : Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11 16, 1991 : proceedings
द्वारा: Voronkov, Andrei, 1959-

Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995 : selected papers
द्वारा: Martin, Trevor P., 1957-

Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
द्वारा: Furukawa, Kōichi, 1938-

Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12 14, 1989
द्वारा: Furukawa, Kōichi, 1938-

Logics in artificial intelligence : [6th] European Workshop, JELIA '96, Évora, Portugal September 30-October 3, 1996 : proceedings
द्वारा: Alferes, José Júlio, 1966-

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings
द्वारा: Schroeder-Heister, Peter Joseph, 1953-

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Logics in artificial intelligence : European Workshop, JELIA 98, Dagstuhl, Germany, October 12 15, 1998 : proceedings

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings

Logic and Programming
द्वारा: Parent, Michel, 1945-...., ingénieur, और अन्य

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales