DE eng

Search in the Catalogues and Directories

Hits 1 – 16 of 16

1
Nonmonotonic reasoning : an overview
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt. - Stanford, Calif. : CSLI Publ., 1997
BLLDB
UB Frankfurt Linguistik
Show details
2
Abductive theories in artificial intelligence
In: Principles of knowledge representation (Stanford, CA, 1996), p. 129-152
MPI für Psycholinguistik
Show details
3
Philosophy and cognitive science : categories, consciousness, and reasoning ; proceedings of the Second International Colloquium on Cognitive Science
García Suárez, Alfonso (Mitarb.); Lehrer, Keith (Mitarb.); Larrazabal, Jesus M. (Hrsg.). - Dordrecht [u.a.] : Kluwer, 1996
BLLDB
UB Frankfurt Linguistik
Show details
4
A computational theory of belief introspection
In: Reflexivity (Amsterdam [etc.], 1992), p. 343-362
MPI für Psycholinguistik
Show details
5
Quantification in Autoepistemic Logic
In: DTIC (1991)
BASE
Show details
6
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report
In: DTIC (1991)
BASE
Show details
7
A Practical Nonmonotonic Theory for Reasoning About Speech Acts
In: DTIC (1988)
BASE
Show details
8
Readings in nonmonotonic reasoning
Minker, Jack (Mitarb.); Ginsberg, Matthew L. (Hrsg.); Israel, David I. (Mitarb.). - Los Altos, Cal. : Morgan Kaufmann, 1987
BLLDB
UB Frankfurt Linguistik
Show details
9
On the relation between default and autoepistemic logic
Konolige, Kurt. - Stanford, Calif. : Center for the Study of Language and Information, 1987
BLLDB
UB Frankfurt Linguistik
Show details
10
A deduction model of belief
Konolige, Kurt. - London : Pitman [u.a.], 1986
BLLDB
UB Frankfurt Linguistik
Show details
11
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, march 19 - 22, 1986, Monterey, Calif.
Immermann, N. (Mitarb.); Shapiro, S. (Mitarb.); Martins, J. (Mitarb.). - Los Altos, Calif. : Kaufmann, 1986
BLLDB
UB Frankfurt Linguistik
Show details
12
Formal theories of the commonsense world
Carbonell, Jaime G. (Mitarb.); Schmidt, Charles F. (Mitarb.); Minton, Steven (Mitarb.). - Norwood, N.J. : Ablex Publ., 1985
BLLDB
UB Frankfurt Linguistik
Show details
13
Belief and Incompleteness
In: DTIC (1984)
BASE
Show details
14
Knowledge representation
Brachman, Ronald J. (Mitarb.); Levesque, Hector J. (Mitarb.); Rich, Charles (Mitarb.)...
In: AAAI-82 (American Association for Artificial Intelligence - 1982). - Los Altos, Cal. : William Kaufmann, Inc. (1982), 189-224
BLLDB
Show details
15
The Database as Model: A Metatheoretic Approach
In: DTIC (1981)
BASE
Show details
16
Mechanical Intelligence: Research and Applications
In: DTIC AND NTIS (1979)
BASE
Show details

Catalogues
7
0
0
0
0
0
0
Bibliographies
8
0
0
0
0
0
0
0
2
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern