Anthropoid 发表于 2025-3-28 16:32:07

http://reply.papertrans.cn/67/6679/667814/667814_41.png

哺乳动物 发表于 2025-3-28 20:47:46

All I know about Tweety,I know” to the logic, where “this” can be understood as the knowledge base of the agent in question. In this paper we introduce a new construct, which allows us to express that “this is all I know about a certain subject matter.“ This relativized all-I-know concept turns out to be sufficient to mode

匍匐前进 发表于 2025-3-29 00:46:48

http://reply.papertrans.cn/67/6679/667814/667814_43.png

Abrade 发表于 2025-3-29 06:46:41

Retrieval in case-based reasoning using preferred subtheories,basis therefor provides the default logic with priorities. We present transformations which construct defaults from the memory of cases such that the retrieval of knowledge in case-based reasoning corresponds roughly to the preferred subtheory obtained by the defaults.

泥土谦卑 发表于 2025-3-29 09:48:43

Interactive synthesis of process flowcharts,ess of some routine work such as a procedure of creating executable programs. Our synthesis algorithm gets information on a process flowchart through interactions with the user; the algorithm successively predicts a statement and the user examine whether the prediction is exactly what the user expec

xanthelasma 发表于 2025-3-29 12:30:55

Probabilistic inference of approximations, but with bounded density. We have obtained hierarchies of classes of functions identifiable with different probabilities up to sets with fixed density. The obtained hierarchies turn out to be different from those which we have in the case of exact identification.

付出 发表于 2025-3-29 16:27:19

akes it such that the sphere of ownness is always already al.Building upon Husserl’s challenge to oppositions such as those between form and content and between constituting and constituted, .The Concept of Passivity in Husserl’s Phenomenology. construes activity and passivity not as reciprocally ex

慢跑鞋 发表于 2025-3-29 20:43:25

http://reply.papertrans.cn/67/6679/667814/667814_48.png

Promotion 发表于 2025-3-30 02:17:10

http://reply.papertrans.cn/67/6679/667814/667814_49.png

Host142 发表于 2025-3-30 07:43:26

http://reply.papertrans.cn/67/6679/667814/667814_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Nonmonotonic and Inductive Logic; Second International Gerhard Brewka,Klaus P. Jantke,Peter H. Schmitt Conference proceedings 1993 Springer