归功于
发表于 2025-3-23 12:38:45
Semantic Meaning and Pragmatic Inference in Non-cooperative Conversationpecial case of a more general pragmatic inference procedure at each iteration step. The resulting analysis of message credibility improves on previous game-theoretic analyses, is more general and places credibility in the linguistic context where it, arguably, belongs.
联想
发表于 2025-3-23 15:53:19
https://doi.org/10.1007/978-3-642-14729-6cognition; computation; computational linguistics; description logic; human-robot interaction; linguistic
Culmination
发表于 2025-3-23 20:29:48
http://reply.papertrans.cn/48/4710/470943/470943_13.png
AXIOM
发表于 2025-3-23 23:10:05
Interfaces: Explorations in Logic, Language and Computation978-3-642-14729-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
跑过
发表于 2025-3-24 05:04:29
What Makes a Knight?In Smullyan’s well known logic puzzles (see for instance ), the notion of a ., which is a creature that always speaks the truth, plays an important role. Rabern and Rabern (in ) made the following observation with respect to knights. They noted that when a knight is asked (1), he gets into serious trouble.
CBC471
发表于 2025-3-24 10:05:49
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting SystemsThis paper describes ., a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by . induce small bounds on the derivational complexity of the considered system. We explain the tool in detail, and give an overview of the employed proof methods.
Lice692
发表于 2025-3-24 14:12:07
http://reply.papertrans.cn/48/4710/470943/470943_17.png
群居动物
发表于 2025-3-24 16:41:15
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/470943.jpg
Barter
发表于 2025-3-24 22:14:23
Can DP Be a Scope Island?l integrity of DP via an Economy-based constraint on QR (cf. )..This squib is in four parts. I first lay out Sauerland’s three arguments for QR out of DP. I present (a slightly modified version of) his mechanism for constraining QR. I show that it both over- and under- generates. I conclude by ar
一起平行
发表于 2025-3-25 02:15:54
http://reply.papertrans.cn/48/4710/470943/470943_20.png