腐烂 发表于 2025-3-25 04:29:41

http://reply.papertrans.cn/39/3802/380193/380193_21.png

易碎 发表于 2025-3-25 11:06:27

http://reply.papertrans.cn/39/3802/380193/380193_22.png

他姓手中拿着 发表于 2025-3-25 12:25:14

The Ecological Paradigm: Persons in SettingsIn this paper a method of representing speech acts is outlined which is suitable for implementation in a natural language consulting system. Speech acts are classified according to the discourse situation in which they arise and the change in the discourse situation they incur. The approach is formulated in a Situation Semantics framework.

DRILL 发表于 2025-3-25 16:04:06

http://reply.papertrans.cn/39/3802/380193/380193_24.png

MIRTH 发表于 2025-3-25 22:05:06

On the Representation of Speech Acts in Situation SemanticsIn this paper a method of representing speech acts is outlined which is suitable for implementation in a natural language consulting system. Speech acts are classified according to the discourse situation in which they arise and the change in the discourse situation they incur. The approach is formulated in a Situation Semantics framework.

Feckless 发表于 2025-3-26 03:32:58

http://reply.papertrans.cn/39/3802/380193/380193_26.png

改变 发表于 2025-3-26 05:06:56

Member Accessibility and Overloading,well-known semantic trees. We will show how to enumerate E-interpretations with a device called semantic E-tree and show how such a tree can be used as a basis for a refutation of a given unsatisfiable clause set. As a side effect of our proof technique we obtain new high-level inference rules for t

胆汁 发表于 2025-3-26 11:23:07

http://reply.papertrans.cn/39/3802/380193/380193_28.png

mitral-valve 发表于 2025-3-26 16:22:41

http://reply.papertrans.cn/39/3802/380193/380193_29.png

pericardium 发表于 2025-3-26 18:52:19

Introduction and Problem Formulation,monotonic reasoning is given that synthesizes several semantical and syntactical approaches that are aimed at a foundation of this area. Some typical results are presented within this framework and problems related to logic programming are discussed.
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: GWAI-91 15. Fachtagung für Künstliche Intelligenz; Bonn, 16.-20. Septem Thomas Christaller Conference proceedings 1991 Springer-Verlag Berl