An introduction to description logic :: SCD d'Orléans

An introduction to description logic

An introduction to description logic

Guardat en:

Dades bibliogràfiques
Autors principals:	Baader, Franz, 19..-, Horrocks, Ian, 1958- (Autor), Lutz, Carsten, 1971- (Autor), Sattler, Uli, 1966- (Autor)
Format:	Livre papier
Idioma:	Anglais
Publicat:	Cambridge [etc.] : Cambridge University Press 2017.
Matèries:	Représentation des connaissances Logique informatique
Nota:	Autre contribution : Uli Sattler (auteur)
Autres localisations:	Voir dans le Sudoc

Ítems similars

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

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

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

The description logic handbook : theory, implementation, and applications
Publicat: (2007)

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

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

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

Automata, logics, and infinite games
per: Grädel, Erich, 1958-

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

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)

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
per: Nebel, Bernhard, 1956-

Logic journal of the IGPL.
Publicat: (1997)

Computation theory and logic
per: Börger, Egon, 1946-

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
per: Lenski, Wolfgang, 1952-

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

Three Views of Logic : Mathematics, Philosophy, and Computer Science
per: Loveland, Donald W., et al.
Publicat: (2014)

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

From logic design to logic programming : theorem proving techniques and P-functions
per: Snyers, Dominique, et al.

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

Journal of logic and computation.
Publicat: (1990)

Program development in computational logic : a decade of research advances in logic-based program development
per: Bruynooghe, Maurice

Computability and logic
per: Boolos, George, 1940-1996, et al.
Publicat: (1974)

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

Logic : a brief course
per: Mundici, Daniele, 1946-

Génie cognitif
per: Vogel, Claude, anthropologue
Publicat: (1988)

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
per: 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

Contemporary knowledge engineering and cognition : first joint workshop, Kaiserslautern, Germany, February 21-22, 1991 : proceedings
per: Schmalhofer, Franz, 1952-

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

Logics for concurrency : structure versus automata
per: Moller, Faron, 1962-...., informaticien

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

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

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

© 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