Non-monotonic extensions of logic programming : :: SCD d'Orléans

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 6, 1996 : selected papers

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 6, 1996 : selected papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully r...

Полное описание

Сохранить в:

Библиографические подробности
Главный автор:	Dix, Jürgen, 1961-
Другие авторы:	Pereira, Luís Moniz, 1947-...., auteur en informatique (Публикующий директор), Przymusinski, Teodor C., 1947- (Публикующий директор)
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Серии:	Lecture notes in computer science. Lecture notes in artificial intelligence 1216
Предметы:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Raisonnement non monotone Programmation logique Actes de congrès
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
Примечание:	Actes d'un séminaire tenu à Bad Honnef du 5 au 6 septembre 1996, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Non-monotonic extensions of logic programming, Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, selected papers, Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, eds, 1997, Berlin, Springer, 1 vol. (XII-224 p.), Lecture notes in computer science, 3-540-62843-6 • Non-Monotonic Extensions of Logic Programming, Texte imprimé, 9783662164006

Схожие документы

Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers
по: Dix, Jürgen, 1961-

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

Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13 15, 1988 : proceedings
по: Reinfrank, Michael, 1958-

Nonmonotonic logics : basic concepts, results, and techniques
по: Schlechta, Karl, 1948-

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

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany December 2 6, 1991 : proceedings
по: Brewka, Gerhard, 1955-

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents
по: Kern-Isberner, Gabriele, 1956-

Change, choice and inference : a study of belief revision and nonmonotonic reasoning
по: Rott, Hans, 1959-
Опубликовано: (2001)

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
по: Dyckhoff, Roy, 1948-

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

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings
по: Dix, Jürgen, 1961-

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
по: Muggleton, Stephen H.

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : 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 and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings
по: Schroeder-Heister, Peter Joseph, 1953-

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings
по: Eriksson, Lars-Henrik, 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-

Logic made easy : how to know when language deceives you
по: Bennett, Deborah J., 1950-
Опубликовано: (2004)

Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
по: Lamma, Evelina, 1960-

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Foundations of inductive logic programming
по: Nienhuys-Cheng, Shan-Hwei, 1943-, и др.

Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic September 17-20, 1997 : proceedings
по: Lavrač, Nada, 1953-

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

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

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

Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9 11, 2001 : proceedings

The Journal of logic programming.
Опубликовано: (2000)

Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

Nonmonotonic reasoning
по: Antoniou, Grigoris, 1961-
Опубликовано: (1997)

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

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

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

From logic design to logic programming : theorem proving techniques and P-functions
по: Snyers, Dominique, и др.

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24 27, 1999 : proceedings

© 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