Non-standard inferences in description logics :: SCD d'Orléans

Non-standard inferences in description logics

Non-standard inferences in description logics

Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems th...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Küsters, Ralf, 1972-...., informaticien
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 2100
Schlagworte:	Informatique Intelligence artificielle Logique symbolique et mathématique Représentation des connaissances Prédicat (logique)
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:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Non-standard inferences in description logics, Ralf Küsters, 2001, New York, Springer, 1 vol. (X-250 p.), Lecture notes in computer science, 3-540-42397-4 • Non-Standard Inferences in Description Logics, Texte imprimé, 9783662205846

Ähnliche Einträge

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

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

Logique. Méthodes pour l'informatique fondamentale
von: Gochet, Paul, 1932-2011, logicien, et al.
Veröffentlicht: (1990)

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

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
von: Vernant, Denis, 1948-
Veröffentlicht: (2001)

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

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
von: Eijck, Jan van, informaticien

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Vivid logic : knowledge-based reasoning with two kinds of negation
von: Wagner, Gerd, 1957-...., informaticien

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 18, 1990 : Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11 16, 1991 : proceedings
von: Voronkov, Andrei, 1959-

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
von: MacNish, Craig, 19..-

Termination proofs for logic programs
von: Plümer, Lutz, 1951-

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

Learning language in logic
von: Cussens, James, 1965-

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

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

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-

Deontic logic in computer science : 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

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

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

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

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)

Foundations of inductive logic programming
von: Nienhuys-Cheng, Shan-Hwei, 1943-, et al.

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
von: Pearce, David William, 1941-...., professeur d'économie

Fuzzy logic in artificial intelligence : IJCAI 97 workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers
von: Ralescu, Anca

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

Computational aspects of an order-sorted logic with term declarations
von: Schmidt-Schauß, Manfred

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Eine Termlogik mit Auswahloperator
von: Hermes, Hans, 1912-2003

© 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