Symbolic and quantitative approaches to reasoning and uncertainty : :: SCD d'Orléans

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 '93, Granada, Spain, November 8 10, 1993 : proceedings

In recent years it has become apparent that an important part of the theory of artificial intelligence is concerned with reasoning on the basis of uncertain, incomplete, or inconsistent information. A variety of formalisms have been developed, including nonmonotonic logic, fuzzy sets, possibility th...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty :Grenade
Altri autori:	Kruse, Rudolf, 1952- (Direttore editoriale), Clarke, Michael, 19..-...., professeur d'études classiques (Direttore editoriale), Moral, Serafín, 19..- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 747
Soggetti:	Informatique Incertitude (théorie de l'information) Intelligence artificielle Logique symbolique et mathématique Raisonnement Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Symbolic and quantitative approaches to reasoning and uncertainty, European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993, proceedings, Michael Clarke, Rudolf Kruse, Serafín Moral (eds.), Berlin, Springer-Verlag, 1993, 1 vol. (X-390 p.), Lecture notes in computer science, 3-540-57395-X • Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Texte imprimé, 9783662178010

Documenti analoghi

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

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

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

Symbolic and quantitative approaches to uncertainty : European Conference ECSQAU, Marseille, France, October 15-17, 1991 : proceedings

Reasoning about uncertainty
di: Halpern, Joseph Y., 1953-
Pubblicazione: (2003)

Knowledge representation and reasoning under uncertainty : logic at work
di: Masuch, Michael, 1949-

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

Reasoning with uncertainty in robotics : international workshop, RUR '95, Amsterdam, The Netherlands December 4 6, 1995 : proceedings
di: Dorst, Leo, 1958-

Applications of uncertainty formalisms
di: Hunter, Anthony, 1962-

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
di: Gaag, Linda C.

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

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

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

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

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

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

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

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

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
di: Reinfrank, Michael, 1958-

Representing plans under uncertainty : a logic of time, chance, and action
di: Haddawy, Peter

Tractable reasoning in artificial intelligence
di: Cadoli, Marco

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

Uncertainty in knowledge-based systems : International conference on information processing and management of uncertainty in knowledge-based systems, Paris, France, June 30-July 4, 1986 : selected and extended contributions

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

Advances in case-based reasoning : 4th European Workshop, EWCBR-98, Dublin, Ireland, September 23 25, 1998 : 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

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

A methodology for uncertainty in knowledge-based systems
di: Weichselberger, Kurt, et al.

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

Nonmonotonic reasoning
di: Antoniou, Grigoris, 1961-
Pubblicazione: (1997)

Advances in intelligent computing - IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4 8, 1994 : Selected papers

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

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

Uncertainty Forecasting in Engineering
di: Möller, Bernd, 1941, et al.

Measurement Uncertainty : An Approach via the Mathematical Theory of Evidence
di: Salicone, Simona

© 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