Extensions of logic programming : :: SCD d'Orléans

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

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

This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Dyckhoff, Roy, 1948-
Institution som forfatter:	International workshop on extension of logic programming (Auteur)
Andre forfattere:	Herre, Heinrich (Directeur de la publication), Schroeder-Heister, Peter Joseph, 1953- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science. Lecture notes in artificial intelligence 1050
Fag:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Extensions of logic programming, 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996, proceedings, Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, eds, 1996, Berlin, Springer, 1 vol. (VIII-318 p.), Lecture notes in computer science, 3-540-60983-0 • Extensions of Logic Programming, Texte imprimé, 9783662179147

Lignende værker

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

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

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

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings
af: Eriksson, Lars-Henrik, 19..-

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

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

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

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

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

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

© 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