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
|
|
14 |
Knowledge representation
|
|
Brachman, Ronald J. (Mitarb.); Levesque, Hector J. (Mitarb.); Rich, Charles (Mitarb.); Vilain, Marc B. (Mitarb.); Konolige, Kurt (Mitarb.); Forbus, Kenneth D. (Mitarb.); Kuipers, Benjamin (Mitarb.); Berliner, Hans J. (Mitarb.); Ackley, David H. (Mitarb.); Uhrik, Carl T. (Mitarb.); Rowe, Neil C. (Mitarb.)
|
|
In: AAAI-82 (American Association for Artificial Intelligence - 1982). - Los Altos, Cal. : William Kaufmann, Inc. (1982), 189-224
|
|
Keyword:
Expertensystem (Künstliche Intelligenz); Inferenz (Künstliche Intelligenz); Kausalitätsbegriff; Künstliche Intelligenz; Prädikatenlogik; Sprachlogik; Vorgangsverben; Wissensdarstellung (Künstliche Intelligenz); Zeitlogik
|
|
BLLDB
|
|
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
|
|
|
|