Foundations of knowledge representation and reasoning :: SCD d'Orléans

Foundations of knowledge representation and reasoning

Foundations of knowledge representation and reasoning

This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning. In addition, there are two surveys, one by the volume editors intended as a guide to this book and another by Shoham and Co...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Lakemeyer, Gerhard, 1957-
Altres autors:	Nebel, Bernhard, 1956- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science. Lecture notes in artificial intelligence 810
Matèries:	Informatique Intelligence artificielle Logique symbolique et mathématique Représentation des connaissances Raisonnement
Accés en línia:	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:	• Foundations of knowledge representation and reasoning, Gerhard Lakemeyer, Bernhard Nebel (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (VIII-355 p.), Lecture notes in computer science, 0-387-58107-3 • Foundations of Knowledge Representation and Reasoning, Texte imprimé, 9783662192511

Ítems similars

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

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

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

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

Le raisonnement en intelligence artificielle : modèles, techniques et architectures pour les systèmes à bases de connaissances
per: Haton, Jean-Paul, 1943-...., auteur en sciences physiques, et al.
Publicat: (1991)

Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

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

Tractable reasoning in artificial intelligence
per: Cadoli, Marco

Part-whole reasoning in an object-centered framework
per: Lambrix, Patrick, 19..-

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

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

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

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

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

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

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

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : 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

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

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

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

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

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

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

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

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

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

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

Advances in case-based reasoning : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4 7, 2002 Proceedings

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

Symbolic and quantitative approaches to reasoning and uncertaintyEuropean conference, ECSQARU'99, London, UK, July 5-9, 1999 : proceedings

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

Conceptual structures : integration and interfaces : 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15 19, 2002 : proceedings

The logic system of concept graphs with negation : and its relationship to predicate logic
per: Dau, Frithjof

Foundations of equational logic programming
per: Hölldobler, Steffen, 1957-

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

© 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