BARK 发表于 2025-4-1 02:58:48

http://reply.papertrans.cn/39/3802/380189/380189_61.png

放气 发表于 2025-4-1 10:02:28

The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitivelied problems such as making computer systems more usable. A formal specification of human information processing would assist computer scientists in their efforts to tailor systems to the needs of the human user (Newell, 1985; Polson, 1986).

otic-capsule 发表于 2025-4-1 13:29:54

http://reply.papertrans.cn/39/3802/380189/380189_63.png

我邪恶 发表于 2025-4-1 16:13:59

http://reply.papertrans.cn/39/3802/380189/380189_64.png

兴奋过度 发表于 2025-4-1 19:25:03

Decision Making in Unclear Situationsto make decisions in such an environment, too. Here we discuss some of the usual methods of decision making in two-person games and give an analysis of the problems induced by unclear situations. Two classes of such situations are distinguished and a model for improved decision making based on the p

雪白 发表于 2025-4-2 01:22:30

State Space Algorithms for Searching Game Treesfor example, performs most often superior to SSS*. Introducing directional search characteristics to SSS* and DUAL* gives insight in the utility of global node information. As a result, the totally directional . search is shown to be just a restricted case of SSS* and D UAL*.

男学院 发表于 2025-4-2 05:45:36

Explicit and Implicit Beliefsfs B#L, which allows local inconsistencies, but forbids global ones. We prove its soundness and completeness. The semantics for the B#L logic is given by a Kripke model. We show how to introduce quantifiers to this logic and discuss its computational properties..The paper is organized as follows

悲观 发表于 2025-4-2 08:26:33

http://reply.papertrans.cn/39/3802/380189/380189_68.png

欢乐中国 发表于 2025-4-2 12:09:39

http://reply.papertrans.cn/39/3802/380189/380189_69.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung; Ottenstein/Niederöst Claus-Rainer Rollinger,Werner Horn Conference proceedin