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
|
|
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.); Halpern, Joseph Y. (Hrsg.); Morgenstern, L. (Mitarb.); Moses, Y. (Mitarb.); Konolige, Kurt (Mitarb.); Landman, F. (Mitarb.); Megiddo, N. (Mitarb.); McCarthy, J. (Mitarb.); Smullyan, R. (Mitarb.); Mitchell, J. (Mitarb.); Asher, N. (Mitarb.); Plotkin, G. (Mitarb.); Fischer, M. (Mitarb.); Levesque, H. (Mitarb.); Vardi, M. (Mitarb.); Tan, T. (Mitarb.); Gaifman, H. (Mitarb.); Geissler, C. (Mitarb.); Des Rivières, J. (Mitarb.); Kaelbling, L. (Mitarb.); Fagin, Ronald (Mitarb.); Kamp, J. (Mitarb.); O'Donnell, M. (Mitarb.); Stirling, C. (Mitarb.); Smith, B. (Mitarb.); Wigderson, A. (Mitarb.); Micali, S. (Mitarb.); Moore, R. (Mitarb.); Thomason, R. (Mitarb.); Rosenschein, S. (Mitarb.); Hintikka, Jaakko (Mitarb.); Dwork, Cynthia (Mitarb.); Aumann, R. (Mitarb.); Ladner, R. (Mitarb.); Reif, J. (Mitarb.); Werlang, S. (Mitarb.); Lakemeyer, G. (Mitarb.). - Los Altos, Calif. : Kaufmann, 1986. - VII, 407 S. : graph. Darst.
|
|
Literaturangaben
|
|
ISBN:
0-934613-04-4
|
|
Keyword:
Diskurswelt; Englisch; Epistemische Logik; Erkenntnistheorie; Handlungstheorie; Identitätsaussage; Inferenz (Künstliche Intelligenz); Intentionalität (Künstliche Intelligenz); Kongresse/Workshops; Kontradiktion (semant.); Kripke, Saul A.; Künstliche Intelligenz; Modale Logik; Moore, Robert; Semantische Repräsentation; Sprachlogik; Sprachphilosophie; Wahrheitstheorie; Wissenschaftstheorie; Wissensdarstellung (Künstliche Intelligenz); Wissensrepräsentation
|
|
BLLDB
|
|
UB Frankfurt Linguistik
|
|
Hide 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
|
|
|
|