Reasoning and revision in hybrid representation systems :: SCD d'Orléans

Reasoning and revision in hybrid representation systems

Reasoning and revision in hybrid representation systems

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Nebel, Bernhard, 1956-
Formaat:	Thèse numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in computer science. Lecture notes in artificial intelligence 422
Onderwerpen:	Informatique Intelligence artificielle
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Reasoning and revision in hybrid representation systems, Bernard Nebel, 1990, Berlin, Springer Verlag, 1 vol. (X-270 p.), Lecture notes in computer science, 0-387-52443-6 • Reasoning and Revision in Hybrid Representation Systems, Texte imprimé, 9783662183847

Gelijkaardige items

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

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

A perspective of constraint-based reasoning : an introductory tutorial
door: Güsgen, Hans Werner, 1959-, et al.

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
door: Antoniou, Grigoris, 1961-

Hybrid neural systems
door: Wermter, Stefan, 1961-

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

Progress in case-based reasoning : first United Kingdom workshop, Salford, UK, January 12, 1995 : proceedings
door: Watson, Ian Duncan, 1960-

Advances in case-based reasoning : Third European Workshop EWCBR-96 Lausanne, Switzerland, November 14-16, 1996 : proceedings
door: Smith, Ian F. C.

Theory reasoning in connection calculi
door: Baumgartner, Peter, 1953-

Advances in case-based reasoning : Second European Workshop, EWCBR-94 Chantilly, France, November 7-10, 1994 : selected papers
door: Haton, Jean-Paul, 1943-...., auteur en sciences physiques

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

Tractable reasoning in artificial intelligence
door: Cadoli, Marco

Agent-based hybrid intelligent systems : an agent-based framework for complex problem solving
door: Zhang, Zili, et al.

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

Topics in case-based reasoning : First European Workshop, EWCBR-93, Kaiserslautern, Germany, November 1 5, 1993 : selected papers
door: Wess, Stefan

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

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

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

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

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

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

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings

Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
door: Basin, David

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

Geometric reasoning for perception and action : workshop, Grenoble, France, September 16 17, 1991 : selected papers
door: Laugier, Christian, 1947-...., informaticien

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

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

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
door: Parigot, Michel, 1956-...., mathématicien

Nonmonotonic reasoning
door: Antoniou, Grigoris, 1961-
Gepubliceerd in: (1997)

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
door: Funk, Peter, 19..-...., informaticien

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

Journal of automated reasoning.
Gepubliceerd in: (2002)

Case-based reasoning research and development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23 26, 2003 : 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
door: Gabbay, Dov M., 1945-

Principles and practice of Semantic Web reasoning : Second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004 : proceedings
door: Ohlbach, Hans Jürgen

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

Theories and methods of spatio-temporal reasoning in geographic space : International Conference GIS - From Space to Territory : theories and methods of spatio-temporal reasoning, Pisa, Italy, September 21 23, 1992 : proceedings
door: Frank, Andrew U., 1948-

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

© 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