Nonmonotonic reasoning :: SCD d'Orléans

Nonmonotonic reasoning

Nonmonotonic reasoning

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Antoniou, Grigoris, 1961-
Diğer Yazarlar:	Williams, Mary-Anne (Kolaboratör)
Materyal Türü:	Livre papier
Dil:	Anglais
Baskı/Yayın Bilgisi:	Cambridge, Mass. ; London : MIT Press 1997.
Seri Bilgileri:	Artificial intelligence
Konular:	Raisonnement non monotone Intelligence artificielle
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

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

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

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

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

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

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

Learning and reasoning with complex representations : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996 : selected papers
Yazar:: Antoniou, Grigoris, 1961-

Change, choice and inference : a study of belief revision and nonmonotonic reasoning
Yazar:: Rott, Hans, 1959-
Baskı/Yayın Bilgisi: (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
Yazar:: Marek, Victor W., 1943-

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

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
Yazar:: Dix, Jürgen, 1961-

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

Case-based reasoning technology : from foundations to applications
Yazar:: Lenz, Mario

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

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

Reasoning with logic programming
Yazar:: Alferes, José Júlio, 1966-, ve diğerleri

Prawitz’s semantics and Walton’s argument schemes: a tentative reading and application of Kreisel’s informal rigour
Yazar:: Montesi, Francesco, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Qualitative spatial reasoning with topological information
Yazar:: Renz, Jochen, 19..-

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

Tractable reasoning in artificial intelligence
Yazar:: Cadoli, Marco

Advances in case-based reasoning : 5th European workshop, EWCBR 2000 Trento, Italy, September 6-9, 2000 : proceedings
Yazar:: Blanzieri, Enrico, 19..-

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

Case-based reasoning research and development : First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings
Yazar:: Veloso, Manuela M., 1957-

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

Advanced topics in artificial intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 : selected papers
Yazar:: Antoniou, Grigoris, 1961-

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

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

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 '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
Yazar:: Froidevaux, Christine, 19..-

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

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

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

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

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

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

Advances in case-based reasoning : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4 7, 2002 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