Zum Inhalt springen

  1. Brachman, Ronald J. [VerfasserIn]; Levesque, Hector J. [VerfasserIn] ; Pagnucco, Maurice [Sonstige Person, Familie und Körperschaft]

    Knowledge representation and reasoning

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam; Heidelberg [u.a.]: Morgan Kaufmann, 2004

  3. Flügge, Sebastian [VerfasserIn]; Zimmer, Sandra [VerfasserIn]; Petersohn, Uwe [VerfasserIn] ; Technische Universität Dresden Fakultät für Informatik

    Wissensrepräsentation und diagnostische Inferenz mittels Bayesscher Netze im medizinischen Diskursbereich

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, Faculty of Computer Science, Institute of Artificial Intelligence, April 2019

    Erschienen in: Technische Universität Dresden: Technische Berichte ; 2019,02

  5. Harmelen, Frank van [HerausgeberIn]; Lifschitz, Vladimir [Sonstige Person, Familie und Körperschaft]; Porter, Bruce [Sonstige Person, Familie und Körperschaft]

    Handbook of knowledge representation - [1. ed.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam; Heidelberg [u.a.]: Elsevier, 2008

    Erschienen in: Foundations of artificial intelligence

  8. Doyle, Jon [HerausgeberIn]; Sandewall, Erik [HerausgeberIn]; Torasso, Pietro [HerausgeberIn] ; KR 4 1994 Bonn

    Principles of knowledge representation and reasoning : proceedings of the Fourth International Conference (KR '94), [Bonn, Germany, May 24 - 27, 1994]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    San Francisco, California: Morgan Kaufmann, 1994

    Erschienen in: Morgan Kaufmann series in representation and reasoning

  9. Nagao, Makoto [VerfasserIn] ; Weyrauch, Richard [ÜbersetzerIn]; Weyrauch, Richard [Sonstige Person, Familie und Körperschaft]

    Knowledge and inference

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston [u.a.]: Academic Press [u.a.], 1990

  11. Erdem, Esra [HerausgeberIn]; Lin, Fangzhen [Sonstige Person, Familie und Körperschaft]; Schaub, Torsten [Sonstige Person, Familie und Körperschaft] ; LPNMR 10 2009 Potsdam

    Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5753

  12. Baral, Chitta [HerausgeberIn]; Brewka, Gerhard [Sonstige Person, Familie und Körperschaft]; Schlipf, John [Sonstige Person, Familie und Körperschaft] ; LPNMR 9 2007 Tempe, Ariz

    Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4483

  13. Fages, François [HerausgeberIn]; Soliman, Sylvain [Sonstige Person, Familie und Körperschaft] ; PPSWR 3 2005 Dagstuhl

    Principles and practice of semantic web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11 - 16, 2005 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3703

  14. Alferes, José Júlio [HerausgeberIn]; Bailey, James [Sonstige Person, Familie und Körperschaft]; May, Wolfgang [Sonstige Person, Familie und Körperschaft]; Schwertel, Uta [Sonstige Person, Familie und Körperschaft] ; PPSWR 4 2006 Budva

    Principles and practice of Semantic Web reasoning : 4th international workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4187

  15. Tokunaga, Takenobu [HerausgeberIn]; Ortega, Antonio [Sonstige Person, Familie und Körperschaft] ; International Conference on Large Scale Knowledge Resources 3 2008 Tokio

    Large-scale knowledge resources : construction and application ; third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4938

  16. Cervesato, Iliano [HerausgeberIn]; Veith, Helmut [Sonstige Person, Familie und Körperschaft]; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft] ; LPAR 15 2008 Doha

    Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5330

  17. Olken, Frank [HerausgeberIn]; Palmirani, Monica [Sonstige Person, Familie und Körperschaft]; Sottara, Davide [Sonstige Person, Familie und Körperschaft] ; RuleML 2011 Barcelona; Fort Lauderdale, Fla

    Rule-based modeling and computing on the semantic web : 5th international symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 7018

  19. Rudolph, Sebastian [Sonstige Person, Familie und Körperschaft]; Gutiérrez, Claudio [Sonstige Person, Familie und Körperschaft] ; RR 5 2011 Galway

    Web resoning and rule systems : 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6902