绝缘 发表于 2025-3-23 13:33:03

Book 2005ok commemorates the 60th birthday of Jörg H. Siekmann...The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." T

Yourself 发表于 2025-3-23 16:32:13

http://reply.papertrans.cn/63/6288/628794/628794_12.png

小官 发表于 2025-3-23 18:03:24

http://reply.papertrans.cn/63/6288/628794/628794_13.png

亲属 发表于 2025-3-24 00:37:33

Time for Thinking Big in AIg further ahead than perhaps five or ten years. And even fewer still are pondering about the consequences the coming technological changes will have for society and prepare for actions to be planned for coping with these changes.

Sleep-Paralysis 发表于 2025-3-24 05:26:09

http://reply.papertrans.cn/63/6288/628794/628794_15.png

真实的人 发表于 2025-3-24 09:07:26

http://reply.papertrans.cn/63/6288/628794/628794_16.png

dagger 发表于 2025-3-24 13:01:53

Formal Description of Natural Languages: An HPSG Grammar of PolishIn this paper we present a Head-driven Phrase Structure Grammar (HPSG) grammar of Polish – the result of one of the few attempts (e.g., , [Świ92]) to build formal and computationally tractable grammars of Polish. The choice of the formalism used was motivated by several promising features of the formalism which we will present shortly.

lethargy 发表于 2025-3-24 16:41:53

http://reply.papertrans.cn/63/6288/628794/628794_18.png

ELUDE 发表于 2025-3-24 21:03:42

http://reply.papertrans.cn/63/6288/628794/628794_19.png

tinnitus 发表于 2025-3-25 02:07:53

http://reply.papertrans.cn/63/6288/628794/628794_20.png
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Mechanizing Mathematical Reasoning; Essays in Honor of J Dieter Hutter,Werner Stephan Book 2005 Springer-Verlag Berlin Heidelberg 2005 AI l