Nonmonotonic logics : :: SCD d'Orléans

Nonmonotonic logics : basic concepts, results, and techniques

Nonmonotonic logics : basic concepts, results, and techniques

Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an e...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Schlechta, Karl, 1948-
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 1187
Fag:	Informatique Intelligence artificielle Logique symbolique et mathématique Raisonnement non monotone Raisonnement Logique
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:	• Nonmonotonic Logics, Texte imprimé, 9783540624820 • Nonmonotonic Logics, Texte imprimé, 9783662207635

Lignende værker

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

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

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

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : 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-

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

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
af: Marek, Victor W., 1943-

Nonmonotonic reasoning
af: Antoniou, Grigoris, 1961-
Udgivet: (1997)

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

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

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

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

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

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

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

Le raisonnement en intelligence artificielle : modèles, techniques et architectures pour les systèmes à bases de connaissances
af: Haton, Jean-Paul, 1943-...., auteur en sciences physiques, et autres
Udgivet: (1991)

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings
af: Nebel, Bernhard, 1956-

Tractable reasoning in artificial intelligence
af: Cadoli, Marco

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

Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany October 10-15, 1994 : proceedings
af: Arikawa, Setsuo, 1941-

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

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

Advances in case-based reasoning : 4th European Workshop, EWCBR-98, Dublin, Ireland, September 23 25, 1998 : proceedings

Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings
af: 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
af: Galmiche, Didier, 1958-

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
af: Gabbay, Dov M., 1945-

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

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

Symbolic and quantitative approaches to reasoning and uncertaintyEuropean conference, ECSQARU'99, London, UK, July 5-9, 1999 : proceedings

Analogical and inductive inference : [2nd] International Workshop All '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989 : proceedings

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8 10, 1993 : proceedings

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

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

The automation of reasoning with incomplete information : from semantic foundations to efficient computation
af: Schaub, Torsten

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Advances in case-based reasoning : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4 7, 2002 Proceedings

Case-based reasoning research and development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23 26, 2003 : proceedings

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : 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