Skip to contents Bench-Capon, Trevor J. M. [Author] Knowledge representation : an approach to artificial intelligence Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Academic Press, 1990 Published in: Automatic Programming Information Centre: APIC series ; 32 Reimer, Ulrich [Author] Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1991 Published in: Leitfäden der angewandten Informatik Lusti, Markus [Author] Wissensbasierte Systeme : Algorithmen, Datenstrukturen und Werkzeuge Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim; Wien; Zürich: BI-Wiss.-Verl., 1990 Published in: Reihe Informatik ; 77 Struß, Peter [Editor] Wissensrepräsentation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Luger, George F. [Author] Künstliche Intelligenz : Strategien zur Lösung komplexer Probleme - [4. Aufl., Nachdr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Pearson Studium, [20]03 Published in: i-Informatik Nebel, Bernhard [Author] Reasoning and revision in hybrid representation systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Lecture notes in computer science ; 422 Rothkegel, Annely [Author] Text knowledge and object knowledge Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Pinter Publ., 1993 Published in: Communication in artificial intelligence series Reichgelt, Han [Author] Knowledge representation : an AI perspective Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Norwood, NJ: Ablex Publ. Corp., 1991 Published in: Tutorial monographs in cognitive science Lakemeyer, Gerhard [Editor]; Nebel, Bernhard [Editor] ; Workshop on Theoretical Foundations of Knowledge Representation and Reasoning 1992 Wien Foundations of knowledge representation and reasoning Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 810 Turner, Raymond [Author] Truth and modality for knowledge representation - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass.: MIT Press, 1991 Published in: Artificial intelligence Baral, Chitta [Author] Knowledge representation, reasoning and declarative problem solving - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge University Press, 2003 Luger, George F. [Author] Artificial intelligence : structures and strategies for complex problem solving - [6. ed., Pearson international ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Pearson/Addison-Wesley, 2009 Görz, Günther [Editor] ; Deutsche Jahrestagung für Künstliche Intelligenz 20 1996 Dresden KI-96: advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17 - 19, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1137 Nebel, Bernhard [Editor] ; KI 18 1994 Saarbrücken Advances in artificial intelligence : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 861 Boley, Harold [Editor]; Richter, Michael M. [Other] ; PDK 1991 Kaiserslautern Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1 - 3, 1991 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 567 Torasso, Pietro [Editor] ; Associazione Italiana per l'Intelligenza Artificiale Advances in artificial intelligence : Torino, Italy, October 26 - 28, 1993 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Associazione Italiana per l'Intelligenza Artificiale: Congress of the Italian Association for Artificial Intelligence ; 3 - Lecture notes in computer science ; 728 Foo, Norman [Editor] ; PRICAI 4 1996 Cairns PRICAI '96: Topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26 - 30, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1114 Cercone, Nick [Editor] The knowledge frontier : essays in the representation of knowledge Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Berlin; Heidelberg; London; Paris; Tokyo: Springer, 1987 Published in: Symbolic computation ; Artificial intelligence Baral, Chitta [Author] Knowledge representation, reasoning and declarative problem solving - [First paperback pr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge University Press, 2010 Küsters, Ralf [Author] Non-standard inferences in description logics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2100
Bench-Capon, Trevor J. M. [Author] Knowledge representation : an approach to artificial intelligence Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Academic Press, 1990 Published in: Automatic Programming Information Centre: APIC series ; 32
Reimer, Ulrich [Author] Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Teubner, 1991 Published in: Leitfäden der angewandten Informatik
Lusti, Markus [Author] Wissensbasierte Systeme : Algorithmen, Datenstrukturen und Werkzeuge Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim; Wien; Zürich: BI-Wiss.-Verl., 1990 Published in: Reihe Informatik ; 77
Struß, Peter [Editor] Wissensrepräsentation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991
Luger, George F. [Author] Künstliche Intelligenz : Strategien zur Lösung komplexer Probleme - [4. Aufl., Nachdr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Pearson Studium, [20]03 Published in: i-Informatik
Nebel, Bernhard [Author] Reasoning and revision in hybrid representation systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Lecture notes in computer science ; 422
Rothkegel, Annely [Author] Text knowledge and object knowledge Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London [u.a.]: Pinter Publ., 1993 Published in: Communication in artificial intelligence series
Reichgelt, Han [Author] Knowledge representation : an AI perspective Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Norwood, NJ: Ablex Publ. Corp., 1991 Published in: Tutorial monographs in cognitive science
Lakemeyer, Gerhard [Editor]; Nebel, Bernhard [Editor] ; Workshop on Theoretical Foundations of Knowledge Representation and Reasoning 1992 Wien Foundations of knowledge representation and reasoning Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 810
Turner, Raymond [Author] Truth and modality for knowledge representation - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass.: MIT Press, 1991 Published in: Artificial intelligence
Baral, Chitta [Author] Knowledge representation, reasoning and declarative problem solving - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge University Press, 2003
Luger, George F. [Author] Artificial intelligence : structures and strategies for complex problem solving - [6. ed., Pearson international ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Pearson/Addison-Wesley, 2009
Görz, Günther [Editor] ; Deutsche Jahrestagung für Künstliche Intelligenz 20 1996 Dresden KI-96: advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17 - 19, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1137
Nebel, Bernhard [Editor] ; KI 18 1994 Saarbrücken Advances in artificial intelligence : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 861
Boley, Harold [Editor]; Richter, Michael M. [Other] ; PDK 1991 Kaiserslautern Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1 - 3, 1991 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 567
Torasso, Pietro [Editor] ; Associazione Italiana per l'Intelligenza Artificiale Advances in artificial intelligence : Torino, Italy, October 26 - 28, 1993 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Associazione Italiana per l'Intelligenza Artificiale: Congress of the Italian Association for Artificial Intelligence ; 3 - Lecture notes in computer science ; 728
Foo, Norman [Editor] ; PRICAI 4 1996 Cairns PRICAI '96: Topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26 - 30, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1114
Cercone, Nick [Editor] The knowledge frontier : essays in the representation of knowledge Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Berlin; Heidelberg; London; Paris; Tokyo: Springer, 1987 Published in: Symbolic computation ; Artificial intelligence
Baral, Chitta [Author] Knowledge representation, reasoning and declarative problem solving - [First paperback pr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge University Press, 2010
Küsters, Ralf [Author] Non-standard inferences in description logics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2100
> Media type Skip to next facet Articles (361) Wert ausschließen Books (169) Wert ausschließen Thesis (13) Wert ausschließen Conference Proceedings (5) Wert ausschließen Electronic Resources (1) Wert ausschließen Standards (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (13) Wert ausschließen Stack Collection (52) Wert ausschließen Ask for availability (6) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (54) Wert ausschließen Central Library (14) Wert ausschließen Branch Library of Educationen (1) Wert ausschließen Branch Library of Medicine (1) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright - Non-commercial Use Permitted (7) Wert ausschließen Attribution (CC BY) (3) Wert ausschließen In Copyright (1) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (1) Wert ausschließen Attribution - No Derivs (CC BY-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (121) Wert ausschließen Restricted Access (4) Wert ausschließen Without Specification (364) Wert ausschließen Show more show less
> Language Skip to next facet English (422) Wert ausschließen Not determined (110) Wert ausschließen German (10) Wert ausschließen French (7) Wert ausschließen Ndonga (3) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (378) Wert ausschließen Mathmatics (82) Wert ausschließen Technology (81) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (47) Wert ausschließen General sciences (36) Wert ausschließen Medicine (26) Wert ausschließen Psychology (22) Wert ausschließen Biology (21) Wert ausschließen Economics (18) Wert ausschließen Physics (13) Wert ausschließen General (9) Wert ausschließen Philosophy (9) Wert ausschließen Geography (2) Wert ausschließen Pedagogy (2) Wert ausschließen Sociology (2) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Art and art history (1) Wert ausschließen Theology and religious studies (1) Wert ausschließen Show more show less
> Creator Skip to next facet Association for Computing Machinery (19) Wert ausschließen ACM Special Interest Group on Artificial Intelligence (17) Wert ausschließen Croitoru, Madalina (9) Wert ausschließen Riaño, David (9) Wert ausschließen Rudolph, Sebastian (8) Wert ausschließen Marquis, Pierre (7) Wert ausschließen Peleg, Mor (7) Wert ausschließen Kern-Isberner, Gabriele (6) Wert ausschließen Miksch, Silvia (6) Wert ausschließen Lakemeyer, Gerhard (5) Wert ausschließen Lenz, Richard (5) Wert ausschließen Zarri, Gian Piero (5) Wert ausschließen Baader, Franz (4) Wert ausschließen Cochez, Michael (4) Wert ausschließen Levesque, Hector J. (4) Wert ausschließen Nebel, Bernhard (4) Wert ausschließen Reichert, Manfred (4) Wert ausschließen Siegwart, Roland (4) Wert ausschließen Teije, Annette (4) Wert ausschließen Bruynooghe, Maurice (3) Wert ausschließen Dau, Frithjof (3) Wert ausschließen Denecker, Marc (3) Wert ausschließen Donini, F. M. (3) Wert ausschließen Eiter, Thomas (3) Wert ausschließen Gaglio, S. (3) Wert ausschließen Masuch, Michael (3) Wert ausschließen Meyer, Thomas (3) Wert ausschließen Mugnier, Marie-Laure (3) Wert ausschließen Nutt, Werner (3) Wert ausschließen Stapleton, Gem (3) Wert ausschließen Thimm, Matthias (3) Wert ausschließen Vasudevan, Shrihari (3) Wert ausschließen Weikum, Gerhard (3) Wert ausschließen Woltran, Stefan (3) Wert ausschließen ALI, SYED S. (2) Wert ausschließen Arens, Michael (2) Wert ausschließen Artois (2) Wert ausschließen Associazione Italiana per l'Intelligenza Artificiale (2) Wert ausschließen Barahona, Pedro (2) Wert ausschließen Baral, Chitta (2) Wert ausschließen Baroglio, Cristina (2) Wert ausschließen Beierle, Christoph (2) Wert ausschließen Boley, Harold (2) Wert ausschließen Bonatti, Piero A. (2) Wert ausschließen Borgida, Alex (2) Wert ausschließen Brachman, Ronald J. (2) Wert ausschließen Buchheit, Martin (2) Wert ausschließen Chen, Xiaofang (2) Wert ausschließen Day, Ronald E. (2) Wert ausschließen De Raedt, Luc (2) Wert ausschließen Delgado, A.E. (2) Wert ausschließen Dix, Jürgen (2) Wert ausschließen Eklund, Peter W. (2) Wert ausschließen Ellmauthaler, Stefan (2) Wert ausschließen Finlayson, Mark A. (2) Wert ausschließen Franconi, Enrico (2) Wert ausschließen Freksa, Christian (2) Wert ausschließen Getoor, Lise (2) Wert ausschließen Habel, Christopher (2) Wert ausschließen Harmelen, Frank van (2) Wert ausschließen Henze, Nicola (2) Wert ausschließen Hernández, Daniel (2) Wert ausschließen Hsu, Fang-Jung (2) Wert ausschließen Hu, Ruo (2) Wert ausschließen Huang, P. W. (2) Wert ausschließen Huang, P.W. (2) Wert ausschließen Hutchison, David (2) Wert ausschließen Jean, Y.R. (2) Wert ausschließen Jeusfeld, Manfred A. (2) Wert ausschließen KI 18 1994 Saarbrücken (2) Wert ausschließen Kanade, Takeo (2) Wert ausschließen Kittler, Josef (2) Wert ausschließen Kleinberg, Jon (2) Wert ausschließen Laux, Armin (2) Wert ausschließen Lee, Suh-Yin (2) Wert ausschließen Lieto, Antonio (2) Wert ausschließen Lifschitz, Vladimir (2) Wert ausschließen Lin, P. L. (2) Wert ausschließen Liu, Lei (2) Wert ausschließen Luger, George F. (2) Wert ausschließen Marchiori, Massimo (2) Wert ausschließen Mattern, Friedemann (2) Wert ausschließen Matthews, Manton M. (2) Wert ausschließen Maudet, Nicolas (2) Wert ausschließen Małuszyński, Jan (2) Wert ausschließen Miller, Ben (2) Wert ausschließen Mineau, Guy W. (2) Wert ausschließen Mira, J. (2) Wert ausschließen Mitchell, John C. (2) Wert ausschließen Morik, Katharina (2) Wert ausschließen Muggleton, Stephen H. (2) Wert ausschließen Nagel, Hans-Hellmut (2) Wert ausschließen Naor, Moni (2) Wert ausschließen Nierstrasz, Oscar (2) Wert ausschließen Paliouras, Georgios (2) Wert ausschließen Pan, Yunhe (2) Wert ausschließen Pandu Rangan, C. (2) Wert ausschließen Paulheim, Heiko (2) Wert ausschließen Polleres, Axel (2) Wert ausschließen Porter, Bruce (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (160) Wert ausschließen Elsevier BV (CrossRef) (88) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (47) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (39) Wert ausschließen Wiley (CrossRef) (35) Wert ausschließen BASE - Bielefeld Academic Search Engine (32) Wert ausschließen Springer International Publishing (CrossRef) (27) Wert ausschließen Informa UK Limited (CrossRef) (20) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (15) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (11) Wert ausschließen IOS Press (CrossRef) (10) Wert ausschließen Lizenzfreie Online-Ressourcen (10) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (9) Wert ausschließen theses.fr (9) Wert ausschließen ETH Zürich Research Collection (7) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (7) Wert ausschließen Hindawi Limited (CrossRef) (6) Wert ausschließen Scientific publications of the Saarland University (UdS) (5) Wert ausschließen AI Access Foundation (CrossRef) (4) Wert ausschließen Frontiers Media SA (CrossRef) (4) Wert ausschließen MDPI AG (CrossRef) (4) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (3) Wert ausschließen Diss online (3) Wert ausschließen IGI Global (CrossRef) (3) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (3) Wert ausschließen Japanese Society for Artificial Intelligence (CrossRef) (3) Wert ausschließen MIT Press (CrossRef) (3) Wert ausschließen MIT Press - Journals (CrossRef) (3) Wert ausschließen Computers, Materials and Continua (Tech Science Press) (CrossRef) (2) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (2) Wert ausschließen IBERAMIA: Sociedad Iberoamericana de Inteligencia Artificial (CrossRef) (2) Wert ausschließen EBSCOhost eBook Collection (1) Wert ausschließen Georg-August-Universität Göttingen: eDiss (1) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (1) Wert ausschließen MECS Publisher (CrossRef) (1) Wert ausschließen National Aerospace University - Kharkiv Aviation Institute (CrossRef) (1) Wert ausschließen Nautos (ISO-Normen) (1) Wert ausschließen Nomos Verlag (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Persée (1) Wert ausschließen Qucosa (1) Wert ausschließen SPIE (CrossRef) (1) Wert ausschließen SPIIRAS (CrossRef) (1) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen The Science and Information Organization (CrossRef) (1) Wert ausschließen Tsinghua University Press (CrossRef) (1) Wert ausschließen Universität Osnabrück: osnaDocs (1) Wert ausschließen Zhejiang University Press (CrossRef) (1) Wert ausschließen Show more show less