Titlebook: Interfaces: Explorations in Logic, Language and Computation; ESSLLI 2008 and ESSL Thomas Icard,Reinhard Muskens Conference proceedings 2010

归功于

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.

联想

https://doi.org/10.1007/978-3-642-14729-6cognition; computation; computational linguistics; description logic; human-robot interaction; linguistic

Culmination

AXIOM

Interfaces: Explorations in Logic, Language and Computation978-3-642-14729-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

跑过

What Makes a Knight?In Smullyan’s well known logic puzzles (see for instance [3]), the notion of a ., which is a creature that always speaks the truth, plays an important role. Rabern and Rabern (in [2]) made the following observation with respect to knights. They noted that when a knight is asked (1), he gets into serious trouble.

CBC471

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

群居动物

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/470943.jpg

Barter

Can DP Be a Scope Island?l integrity of DP via an Economy-based constraint on QR (cf. [4])..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

一起平行