Titlebook: GWAI-81; German Workshop on A J?rg H. Siekmann Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Künstliche Intelligenz.ar

Brain-Waves

Locale

The 2010s: A Decade of Riot and Protest,The personal computer of the future will offer its user an .nformation .anipulation .ystem (.). An . will allow the user to do almost all of his work (design specifications, plans, programs, documentations, reports, memos, reference notes as well as communication with others) on-line (FISCHER and LAUBSCH 1980).

偶然

Characteristics of Casino Finance,This report presents a quick overview of the Markgraf Karl Refutation Procedure, an automated theorem prover (TP) currently under development at the University of Karlsruhe, and then concentrates in detail on those parts of the system, which presently determine the choice of the deduction steps to be performed by the system.

evasive

Expert Systems: State of the Art and Future ProspectsKnowledge-based systems, and expert systems in particular, have recently. gained significant economic and scientific importance because of

adduction

AI Languages and AI Machines: An OverviewAn overview of programming languages and machine architectures for artificial intelligence is given. Five key very-high-level features of AI languages are described in their relation to underlying high-level features. The realization of these language features by corresponding modules of AI machines is discussed.

onlooker

A Parallel Connection Graph Proof ProcedureA parallel connection graph proof procedure is described which is going to be implemented in CSSA, a new language for asynchronous multiprocessor systems.

幻影

Integrated, Knowledge-based Information Manipulation SystemsThe personal computer of the future will offer its user an .nformation .anipulation .ystem (.). An . will allow the user to do almost all of his work (design specifications, plans, programs, documentations, reports, memos, reference notes as well as communication with others) on-line (FISCHER and LAUBSCH 1980).

苦惱

Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection GThis report presents a quick overview of the Markgraf Karl Refutation Procedure, an automated theorem prover (TP) currently under development at the University of Karlsruhe, and then concentrates in detail on those parts of the system, which presently determine the choice of the deduction steps to be performed by the system.

直覺沒有

978-3-540-10859-7Springer-Verlag Berlin Heidelberg 1981

SNEER

GWAI-81978-3-662-02328-0Series ISSN 0343-3005