Knowledge representation and reasoning under uncertainty : :: SCD d'Orléans

Knowledge representation and reasoning under uncertainty : logic at work

Knowledge representation and reasoning under uncertainty : logic at work

This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which a...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Masuch, Michael, 1949-
Weitere Verfasser:	Pólos, László, 1955- (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in computer science. Lecture notes in artificial intelligence 808
Schlagworte:	Informatique Incertitude (théorie de l'information) Intelligence artificielle Logique symbolique et mathématique Représentation des connaissances Théorie de la connaissance Raisonnement Représentation (philosophie) Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	Actes d'une conférence tenue à Amsterdam du 17 au 19 décembre 1992, d'après la préface Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Knowledge representation and reasoning under uncertainty, logic at work, Michael Masuch, László Pólos, (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (237 p.), Lecture notes in computer science, 3-540-58095-6 • Knowledge Representation and Reasoning Under Uncertainty, Texte imprimé, 9783662197653

Ähnliche Einträge

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

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

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

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

Reasoning about uncertainty
von: Halpern, Joseph Y., 1953-
Veröffentlicht: (2003)

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

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

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

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

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

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

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

Reasoning about knowledge
von: Fagin, Ronald, et al.
Veröffentlicht: (2003)

Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003 : proceedings

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

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

Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings

Tractable reasoning in artificial intelligence
von: Cadoli, Marco

IPMU '92 - advanced methods in artificial intelligence : 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6 10, 1992 : proceedings

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

Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993 : proceedings
von: Mineau, Guy W.

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

Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings

The description logic handbook : theory, implementation, and applications
Veröffentlicht: (2007)

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

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

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

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

Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30 August 3, 2001 : proceedings

Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS 99, Blacksburg, VA, USA, July 12 15, 1999 : proceedings

KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings
von: Wachsmuth, Ipke, 1950-

Logique
von: Kant, Immanuel, 1724-1804
Veröffentlicht: (1989)

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

An introduction to description logic
von: Baader, Franz, 19..-, et al.
Veröffentlicht: (2017)

Symbolic and quantitative approaches to uncertainty : European Conference ECSQAU, Marseille, France, October 15-17, 1991 : 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