Nonmonotonic and inductive logic : :: SCD d'Orléans

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings

This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from t...

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Dix, Jürgen, 1961-
Yhteisötekijä:	International Workshop on Nonmonotonic and Inductive Inference (Tekijä)
Muut tekijät:	Jantke, Klaus Peter, 1951- (Päätoimittaja), Schmitt, Peter H., 1948- (Päätoimittaja)
Aineistotyyppi:	Livre numérique
Kieli:	Anglais
Julkaistu:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Sarja:	Lecture notes in computer science. Lecture notes in artificial intelligence 543
Aiheet:	Informatique Intelligence artificielle Logique symbolique et mathématique Modalité (logique) Programmation logique Actes de congrès
Linkit:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Huomautus:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Nonmonotonic and inductive logic, 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings, J. Dix, K. P. Jantke, P. H. Schmitt (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (x, 243 p.), Lecture notes in computer science, 3-540-54564-6 • Nonmonotonic and Inductive Logic, Texte imprimé, 9783662196960

Samankaltaisia teoksia

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

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

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

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

Nonmonotonic logics : basic concepts, results, and techniques
Tekijä: Schlechta, Karl, 1948-

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

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

Foundations of inductive logic programming
Tekijä: Nienhuys-Cheng, Shan-Hwei, 1943-, et al.

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

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

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

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

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

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

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

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

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

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
Tekijä: Eijck, Jan van, informaticien

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

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

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

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

Inductive logic programming : 10th International Conference, ILP 2000 London, UK, July 24 27, 2000 : proceedings

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

Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
Tekijä: Page, David, 1944-

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

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

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

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

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

Termination proofs for logic programs
Tekijä: Plümer, Lutz, 1951-

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

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

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

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

Logique. Méthodes pour l'intelligence artificielle
Tekijä: Gochet, Paul, 1932-2011, et al.
Julkaistu: (2000)

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

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

Specifying message passing and time-critical systems with temporal logic
Tekijä: Koymans, Ron, 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