Logic programming and nonmonotonic reasoning : :: SCD d'Orléans

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28 31, 1997 : proceedings

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28 31, 1997 : proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Dix, Jürgen, 1961-
Awdur Corfforaethol:	International Conference on Logic Programming and NonMonotonic Reasoning (Awdur)
Awduron Eraill:	Furbach, Ulrich, 1948- (Cyfarwyddwr cyhoeddi), Nerode, Anil, 1932- (Cyfarwyddwr cyhoeddi)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science. Lecture notes in artificial intelligence 1265
Pynciau:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Raisonnement non monotone Raisonnement Programmation logique Actes de congrès
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic programming and nonmonotonic reasoning, 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 1997, proceedings, Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.), 1997, New York, Springer, 1 vol. (X-452 p.), Lecture notes in computer science, 3-540-63255-7 • Logic Programming and Nonmonotonic Reasoning, Texte imprimé, 9783662211472

Eitemau Tebyg

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

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

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

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

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

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

Nonmonotonic reasoning
gan: Antoniou, Grigoris, 1961-
Cyhoeddwyd: (1997)

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

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

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

Change, choice and inference : a study of belief revision and nonmonotonic reasoning
gan: Rott, Hans, 1959-
Cyhoeddwyd: (2001)

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

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

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

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3 7, 1996 : proceedings
gan: Gabbay, Dov M., 1945-

Reasoning about uncertainty
gan: Halpern, Joseph Y., 1953-
Cyhoeddwyd: (2003)

Logic made easy : how to know when language deceives you
gan: Bennett, Deborah J., 1950-
Cyhoeddwyd: (2004)

Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9 12, 1997 : proceedings
gan: Gabbay, Dov M., 1945-

Le raisonnement et la logique des choses : les conférences de Cambridge, 1898
gan: Peirce, Charles Sanders, 1839-1914
Cyhoeddwyd: (1995)

Foundations of knowledge representation and reasoning
gan: Lakemeyer, Gerhard, 1957-

Les réfutations sophistiques
gan: Aristote, 0384-0322 av. J.-C
Cyhoeddwyd: (2019)

Faussement vrai et vraiment faux : la logique au quotidien
gan: Cuénod, Solange
Cyhoeddwyd: (1998)

Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings
gan: Althoff, Klaus-Dieter, 1957-

Automated reasoning with analytic tableaux and related methods : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
gan: Galmiche, Didier, 1958-

Symbolic and quantitative approaches to reasoning with uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : proceedings

Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 August 2, 2001 : proceedings

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3 5, 1995 : proceedings
gan: Froidevaux, Christine, 19..-

De la logique à l'argumentation
gan: Grize, Jean Blaise, 1922-2013, logicien
Cyhoeddwyd: (2015)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

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

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
gan: Voronkov, Andrei, 1959-

Tractable reasoning in artificial intelligence
gan: Cadoli, Marco

Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19 21, 2001 : proceedings

Presentation of logic and reasoning in Ayurveda. Building epistemologies of the South
gan: Namboothiri, Brahmadathan, et al.
Cyhoeddwyd: (2024)

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
gan: Voronkov, Andrei, 1959-

Advances in case-based reasoning : 7th European Conference, ECCBR 2004, Madrid, Spain, August 30-September 2, 2004 : proceedings
gan: Funk, Peter, 19..-...., informaticien

Logique
gan: Kant, Immanuel, 1724-1804
Cyhoeddwyd: (1989)

Argumentation.
Cyhoeddwyd: (2002)

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

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
gan: Parigot, Michel, 1956-...., mathématicien

© 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