Change, choice and inference : :: SCD d'Orléans

Change, choice and inference : a study of belief revision and nonmonotonic reasoning

Change, choice and inference : a study of belief revision and nonmonotonic reasoning

Enregistré dans:

Détails bibliographiques
Auteur principal:	Rott, Hans, 1959-
Format:	Livre papier
Langue:	Anglais
Publié:	Oxford : Clarendon press 2001, cop. 2001.
Collection:	Oxford logic guides 42
Sujets:	Raisonnement non monotone Inférence Choix (psychologie) Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Documents similaires

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

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

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

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

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

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

Nonmonotonic reasoning
par: Antoniou, Grigoris, 1961-
Publié: (1997)

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

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

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

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
par: Arikawa, Setsuo, 1941-

Reasoning about uncertainty
par: Halpern, Joseph Y., 1953-
Publié: (2003)

Axiom of choice
par: Herrlich, Horst, 1937-2015

Qu'est-ce que l'inférence ? Une relecture du Tractatus logico-philosophicus
par: Marion, Mathieu
Publié: (2001)

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

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

De la logique à l'argumentation
par: Grize, Jean Blaise, 1922-2013, logicien
Publié: (2015)

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

Les décisions absurdes. Comment les éviter
par: Morel, Christian, 1948-...., cadre d'entreprise
Publié: (2012)

Les décisions absurdes. Sociologie des erreurs radicales et persistantes
par: Morel, Christian, 1948-...., cadre d'entreprise
Publié: (2004)

Les décisions absurdes. Comment les éviter
par: Morel, Christian, 1948-...., cadre d'entreprise
Publié: (2013)

Les décisions absurdes. Comment les éviter
par: Morel, Christian, 1948-...., cadre d'entreprise
Publié: (2021)

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

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

Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October, 1989 : proceedings
Publié: (1989)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
par: Aigner, Martin, 1942-2023, et autres
Publié: (2017)

Prawitz’s semantics and Walton’s argument schemes: a tentative reading and application of Kreisel’s informal rigour
par: Montesi, Francesco, et autres
Publié: (2024)

Raisonnements divins
par: Aigner, Martin, 1942-2023, et autres
Publié: (2002)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
par: Aigner, Martin, 1942-2023, et autres
Publié: (2006)

Les démonstrations : l'art de convaincre
par: Cohen, Gilles, 1951-2023, mathématicien
Publié: (2015)

Qu'est-ce que les mathématiques ?
par: Verdier, Norbert, 1967-
Publié: (2000)

Tractable reasoning in artificial intelligence
par: Cadoli, Marco

Les décisions absurdes. Sociologie des erreurs radicales et persistantes
par: Morel, Christian, 1948-...., cadre d'entreprise
Publié: (2002)

Les décisions absurdes. Sociologie des erreurs radicales et persistantes
par: Morel, Christian, 1948-...., cadre d'entreprise
Publié: (2004)

Les décisions absurdes. Sociologie des erreurs radicales et persistantes
par: Morel, Christian, 1948-...., cadre d'entreprise
Publié: (2021)

Initiation au raisonnement mathématique : logique et théorie des ensembles
par: Dupin, Jean-Claude, et autres
Publié: (1993)

Injective Choice Functions
par: Holz, Michael, mathématicien, et autres

Logique et raisonnement
par: Freund, Michael, 1944-...., philosophe
Publié: (2016)

Non-standard inferences in description logics
par: Küsters, Ralf, 1972-...., informaticien

© 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