Journal of logic, language and information :: SCD d'Orléans

Journal of logic, language and information

Journal of logic, language and information

The Journal of Logic, Language and Information explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences. Among the principal s...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awduron Corfforaethol:	European association for logic, language and information (Cyfarwyddwr cyhoeddi), European Foundation for Logic, Language and Information (Cyfarwyddwr cyhoeddi)
Fformat:	Revue numérique
Iaith:	Anglais
Cyhoeddwyd:	Dordrecht : Kluwer 2002-. Dordrecht : Springer
Pynciau:	Intelligence artificielle Sémantique (philosophie) Langage et logique Périodique
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme ISTEX (corpus Springer) Accès Université d'Orléans Accès INSA CVL
Nodyn:	Articles mis en ligne par SpringerLink Revue en ligne sur la base de données JSTOR Archives Springer périodiques (Licence nationale) Archives Springer périodiques (Licence nationale) The Keepers Registry
Autres localisations:	Voir dans le Sudoc
État de collection:	Revue électronique, (1992) - (2013)180339901, (1992) - (2013)
Edition sous un autre format:	• Journal of logic, language and information (Print), 0925-8531

Eitemau Tebyg

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

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

Logics and languages
gan: Cresswell, Maxwell John, 1939-
Cyhoeddwyd: (1973)

From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory
gan: Kamp, Hans, 1940-, et al.
Cyhoeddwyd: (1993)

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

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

Programming languages implementation and logic programming : [first] International Workshop PLILP '88 Orléans, France, May 16 18, 1988 : proceedings

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

Model generation for natural language interpretation and analysis
gan: Konrad, Karsten, 1969-

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

Reasoning with logic programming
gan: Alferes, José Júlio, 1966-, et al.

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

Mind & language.
Cyhoeddwyd: (1997)

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

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

The logic of information structures
gan: Wansing, Heinrich, 1963-

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : 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

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
gan: Pearce, David William, 1941-...., professeur d'économie

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

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

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

Logic programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1 3, 1985

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

Linguistique et logique naturelle
gan: Lakoff, George, 1941-
Cyhoeddwyd: (1976)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
gan: Fisher, Michael

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

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

Natural language semantics.
Cyhoeddwyd: (2002)

Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings

Programming languages : implementations, logics, and programs : 9th international symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings

Formal semantics : the essential readings
gan: Portner, Paul H., 1966-
Cyhoeddwyd: (2002)

Practical aspects of declarative languages : First International Workshop, PADL 99, San Antonio, Texas, USA, January 18 19, 1999 : proceedings

Journal of philosophical logic.
Cyhoeddwyd: (2002)

Le mauvais outil : langue, sujet et discours
gan: Henry, Paul, 1938-
Cyhoeddwyd: (1977)

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
gan: Voronkov, Andrei, 1959-

© 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