Learning language in logic :: SCD d'Orléans

Learning language in logic

Learning language in logic

This volume has its origins in the ?rst Learning Language in Logic (LLL) wo- shop which took place on 30 June 1999 in Bled, Slovenia immediately after the Ninth International Workshop on Inductive Logic Programming (ILP 99) and the Sixteenth International Conference on Machine Learning (ICML 99). LL...

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Cussens, James, 1965-
Drugi avtorji:	Džeroski, Sašo, 1968- (Directeur de la publication)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science. Lecture notes in artificial intelligence 1925
Teme:	Informatique Intelligence artificielle Traitement automatique du langage naturel Logique symbolique et mathématique Logique informatique
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Learning language in logic, James Cussens, Sašo Džeroski, (eds.), 2000, New York, Springer, 1 vol. (299 p.), Lecture notes in computer science, 3-540-41145-3 • Learning Language in Logic, Texte imprimé, 9783662170731

Podobne knjige/članki

Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9 11, 1989 : proceedings
od: Studer, Rudi, 1951-

Natural language generation : Third international conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004 : proceedings
od: Belz, Anja

Grading knowledge : extracting degree information from texts
od: Staab, Steffen, 19..-

Incremental speech translation
od: Amtrup, Jan Willers, 1964-

Advances in natural language processing : Third International Conference, PorTAL 2002, Faro, Portugal, June 23 26, 2002 : proceedings

Advances in natural language processing : 4th international conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004 : proceedings

Natural language processing - NLP 2000 : Second International Conference, Patras, Greece, June 2-4, 2000 : proceedings

Natural language processing and information systems : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002, Stockholm, Sweden, June 27 28, 2002 : revised papers

Robust adaptation to non-native accents in automatic speech recognition
od: Goronzy, Silke, 19..-

Computational linguistics and intelligent text processing : 4th international conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003 : proceedings

Computational linguistics and intelligent text processing : second international conference, CICLing 2001, Mexico City, Mexico, February 18 24, 2001 : proceedings

Computational linguistics and intelligent text processing : Third International Conference, CICLing 2002 Mexico City, Mexico, February 17 23, 2002 : proceedings

Logic, language, and computation : festschrift in honor of Satoru Takasu
od: Jones, Neil D., 1941-

Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28 30,2000 : revised papers

Text understanding in LILOG : integrating computational linguistics and artificial intelligence : final report on the IBM Germany LILOG-Project
od: Herzog, Otthein

Computational linguistics and intelligent text processing : 5th international conference, CICLing 2004, Seoul, Korea, February 15-21, 2004 : proceedings
od: Gelbukh, Alexander, 1962-

Automatic ambiguity resolution in natural language processing : an empirical approach
od: Franz, Alexander, 1966-

Foundations of inductive logic programming
od: Nienhuys-Cheng, Shan-Hwei, 1943-, et autres

Isabelle/HOL : a proof assistant for higher-order logic
od: Nipkow, Tobias, 1958-..., informaticien, et autres

Foundations of equational logic programming
od: Hölldobler, Steffen, 1957-

Text-and speech-triggered information access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30 2000 : revised lectures

A resolution principle for a logic with restricted quantifiers
od: Bürckert, Hans-Jürgen

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
od: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
od: Kakas, Antonis C.

Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings

Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003 : proceedings

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

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

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

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

Reasoning with logic programming
od: Alferes, José Júlio, 1966-, et autres

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, october 11-13, 2004 : proceedings

Machine learning and its applications : advanced lectures
od: Paliouras, Georgios, 1970-

Learning classifier systems : from foundations to applications
od: Lanzi, Pier Luca, 1967-

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30 August 3, 2001 : proceedings

Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS 99, Blacksburg, VA, USA, July 12 15, 1999 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
od: Bruynooghe, Maurice

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
od: Pfenning, Frank

© 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