Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 12 Treffer
- Wissensrepräsentation 5 Treffer
- Datenbanksystem 4 Treffer
- Künstliche Intelligenz 4 Treffer
- Nichtmonotone Logik 3 Treffer
-
18 weitere Werte:
- Automatisches Beweisverfahren 2 Treffer
- Induktive Logik 2 Treffer
- Modallogik 2 Treffer
- Unsicherheit 2 Treffer
- Argumentation 1 Treffer
- Argumentationstheorie 1 Treffer
- Common Sense 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
- Temporale Logik 1 Treffer
- Unsicheres Schließen 1 Treffer
- Wissensrevision 1 Treffer
Sprache
Form
Person
- Dix, Jürgen 5 Treffer
- Brewka, Gerhard 2 Treffer
- Pereira, Luís Moniz (1947-) 2 Treffer
- Alferes, José Júlio 1 Treffer
- Baral, Chitta 1 Treffer
-
14 weitere Werte:
- Brazdil, Pavel B. 1 Treffer
- Eiter, Thomas 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
- Tarnowski, Michael 1 Treffer
- Łukaszewicz, Witold 1 Treffer
22 Treffer
-
Cambridge [u.a.]: Cambridge Univ. Press, 1991Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1988Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo: Springer, 2001Monographie, 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:
-
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:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1989Monographie, 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, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1990Monographie, Gedruckte RessourceZugriff: