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

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 : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : proceedings

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty :Aalborg, Danemark
Muut tekijät:	Nielsen, Thomas Dyhre (Päätoimittaja), Zhang, Nevin Lianwen (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 2711
Aiheet:	Informatique Incertitude (théorie de l'information) Intelligence artificielle Logique symbolique et mathématique Raisonnement 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:	• Symbolic and quantitative approaches to reasoning with uncertainty, 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003, proceedings, Thomas Dyhre Nielsen, Nevin Lianwen Zhang (eds.), Berlin, Springer, 2003, 1 vol. (XII-608 p.), Lecture notes in computer science, 3-540-40494-5 • Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Texte imprimé, 9783662186879

Samankaltaisia teoksia

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

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

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

Reasoning about uncertainty
Tekijä: Halpern, Joseph Y., 1953-
Julkaistu: (2003)

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

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

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

Applications of uncertainty formalisms
Tekijä: Hunter, Anthony, 1962-

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

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

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

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

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

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

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

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

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

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

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

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

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : 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 : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings
Tekijä: 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

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

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

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

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

Tractable reasoning in artificial intelligence
Tekijä: Cadoli, Marco

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

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

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

Nonmonotonic reasoning
Tekijä: Antoniou, Grigoris, 1961-
Julkaistu: (1997)

Case-based reasoning research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings
Tekijä: Leake, David B, 1957-

Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990 : proceedings

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

© 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