Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Logische Programmierung 11 Treffer
- Wissensrepräsentation 7 Treffer
- Künstliche Intelligenz 6 Treffer
- Datenbanksystem 4 Treffer
- Induktive Logik 3 Treffer
-
25 weitere Werte:
- Nichtmonotone Logik 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Modallogik 2 Treffer
- Unsicherheit 2 Treffer
- Argumentation 1 Treffer
- Argumentationstheorie 1 Treffer
- Common Sense 1 Treffer
- Common sense reasoning 1 Treffer
- Default-Logik 1 Treffer
- Fuzzy-Menge 1 Treffer
- Inferenz (Künstliche Intelligenz) 1 Treffer
- Künstliche Intelligenz / Mathematische Logik 1 Treffer
- Logik 1 Treffer
- Maschinelles Lernen 1 Treffer
- Mathematische Logik 1 Treffer
- Nonstandard-Logik 1 Treffer
- Partielle Information 1 Treffer
- Programmierung 1 Treffer
- Rahmenproblem 1 Treffer
- Temporale Logik 1 Treffer
- Unsicheres Schließen 1 Treffer
- Unvollkommene Information 1 Treffer
- Urteil (Logik) 1 Treffer
- Wissensrevision 1 Treffer
- Wissenstechnik 1 Treffer
Sprache
Form
Person
- Dix, Jürgen 3 Treffer
- Antoniou, Grigorios 2 Treffer
- Brewka, Gerhard 2 Treffer
- Pereira, Luís Moniz (1947-) 2 Treffer
- Alferes, José Júlio 1 Treffer
-
19 weitere Werte:
- Allen, James 1 Treffer
- Baral, Chitta 1 Treffer
- Brazdil, Pavel B. 1 Treffer
- Doyle, Jon 1 Treffer
- Eiter, Thomas 1 Treffer
- Geffner, Hector 1 Treffer
- Gelfond, Michael 1 Treffer
- Genesereth, Michael R. (1948-) 1 Treffer
- Hoek, W. van der 1 Treffer
- Hunter, Anthony 1 Treffer
- Kern-Isberner, Gabriele (1956-) 1 Treffer
- Lifschitz, Vladimir (1947-) 1 Treffer
- Marek, Victor W. (1943-) 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Nilsson, Nils J. (1933-2019) 1 Treffer
- Ramsay, Allan 1 Treffer
- Shanahan, Murray 1 Treffer
- Tarnowski, Michael 1 Treffer
- Łukaszewicz, Witold 1 Treffer
27 Treffer
-
Cambridge, Mass. [u.a.]: MIT Press, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1990Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass [u.a.]: MIT Press, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Symbolic and quantitative approaches to reasoning and uncertainty: European conference ; proceedingsBerlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1992Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1997Monographie, Gedruckte RessourceZugriff:
-
San Francisco, Calif.: Morgan Kaufmann, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - San Mateo, Calif.: Morgan Kaufmann Publ, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston, [Mass.] [u.a.]: Kluwer Acad. Publ, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: