Model generation for natural language interpretation and analysis :: SCD d'Orléans

Model generation for natural language interpretation and analysis

Model generation for natural language interpretation and analysis

Mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing. Natural language processing has become a topic of outstanding relevance in information tec...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Konrad, Karsten, 1969-
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science. Lecture notes in artificial intelligence 2953
Hasła przedmiotowe:	Informatique Linguistique > Informatique Sémantique Intelligence artificielle Logique symbolique et mathématique
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Model generation for natural language interpretation and analysis, Karsten Konrad, Berlin, Springer, 2004, 1 vol. (XIII-166 p.), Lecture notes in computer science, 3-540-21069-5 • Model Generation for Natural Language Interpretation and Analysis, Texte imprimé, 9783662190302

Podobne zapisy

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

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

Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 2001 : proceedings

Computational processing of the Portuguese language : 6th International Workshop, PROPOR 2003 Faro, Portugal, June 26 27, 2003 : proceedings

Learning language in logic
od: Cussens, James, 1965-

Logical aspects of computational linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997 : selected papers

Logical aspects of computational linguistics : third international conference, LACL '98, Grenoble, France, December 14-16, 1998 : selected papers

Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, April 1996 : selected papers

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

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

Principles and practice of Semantic Web reasoning : Second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004 : proceedings
od: Ohlbach, Hans Jürgen

Electronic dictionaries and automata in computational linguistics : LITP Spring School on theoretical computer science, Saint-Pierre D'Oléron, France, May 25-29, 1987 : 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

Machine Translation : From Research to Real Users : 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002, Tiburon, CA, USA, October 8 12, 2002 : proceedings

Machine translation : from real users to research : 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004 : proceedings

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Computation for metaphors, analogy, and agents
od: Nehaniv, Chrystopher L., 1963-

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

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

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

Computational aspects of an order-sorted logic with term declarations
od: Schmidt-Schauß, Manfred

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings

Fundamentals of artificial intelligence : an advanced course
od: Bibel, Wolfgang, 1938-

Current topics in artificial intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

New trends in formal languages : control, cooperation, and combinatorics
od: Păun, Gheorghe, 1950-

Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Vivid logic : knowledge-based reasoning with two kinds of negation
od: Wagner, Gerd, 1957-...., informaticien

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

© 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