HOME > 상세정보

상세정보

Logic, language, and computation

Logic, language, and computation (2회 대출)

자료유형
단행본
개인저자
Seligman, Jerry , 1964- Westerstahl, Dag , 1946- Cavedon, Lawrence , 1964-
서명 / 저자사항
Logic, language, and computation / edited by Jerry Seligman Dag Westerstahl.
발행사항
Stanford, Calif. :   CSLI Publications,   c1996-c2000.  
형태사항
3 v. : ill. ; 24 cm.
총서사항
CSLI lecture notes ; no. 58, 96, 111
ISBN
1881526909 (v. 1) 1881526895 (v. 1 : pbk.) 157586181X (v. 2) 1575861801 (v. 2 : pbk.) 1575862670 (v. 3) 1575862689 (v. 3 : pbk.)
일반주기
Vol. 2 edited by Lawrence S. Moss, Jonathan Ginzburg, Maarten de Rijke.  
Vol. 3 edited by Lawrence Cavedon and others.  
서지주기
Includes bibliographical references and indexes.
일반주제명
Language and logic. Logic, Symbolic and mathematical. Computational linguistics.
000 01342camuu2200373 a 4500
001 000000801179
005 20030106111638
008 951127m19962000caua b 001 0 eng
010 ▼a 95050832
020 ▼a 1881526909 (v. 1)
020 ▼a 1881526895 (v. 1 : pbk.)
020 ▼a 157586181X (v. 2)
020 ▼a 1575861801 (v. 2 : pbk.)
020 ▼a 1575862670 (v. 3)
020 ▼a 1575862689 (v. 3 : pbk.)
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
049 1 ▼l 111233043 ▼v 3
050 0 0 ▼a P39 ▼b .L593 1996
082 0 0 ▼a 410/.285 ▼2 21
090 ▼a 410.285 ▼b L832
245 0 0 ▼a Logic, language, and computation / ▼c edited by Jerry Seligman Dag Westerstahl.
260 ▼a Stanford, Calif. : ▼b CSLI Publications, ▼c c1996-c2000.
300 ▼a 3 v. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a CSLI lecture notes ; ▼v no. 58, 96, 111
500 ▼a Vol. 2 edited by Lawrence S. Moss, Jonathan Ginzburg, Maarten de Rijke.
500 ▼a Vol. 3 edited by Lawrence Cavedon and others.
504 ▼a Includes bibliographical references and indexes.
650 0 ▼a Language and logic.
650 0 ▼a Logic, Symbolic and mathematical.
650 0 ▼a Computational linguistics.
700 1 ▼a Seligman, Jerry , ▼d 1964-
700 1 ▼a Westerstahl, Dag , ▼d 1946-
700 1 ▼a Cavedon, Lawrence , ▼d 1964-

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 410.285 L832 3 등록번호 111233043 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차


CONTENTS

Contributors = ⅶ

Preface = xi

1 State Spaces, Local Logics, and Non-Monotonicity / JON BARWISE = 1

2 Presupposition Accommodation : A Plea for Common Sense / DAVID BEAVER = 21

3 A Dynamic Syntax-Semantics Interface / TSUTOMU FUJINAMI = 45

4 Dynamic Epistemic Logic / JELLE GERBRANDY = 67

5 Bare Plurals, Situations and Discourse Context / SHEILA GLASBEY = 85

6 Interleaved Contractions / WIEBE VAN DER HOEK ; MAARTEN DE RIJKE = 106

7 Proving Through Commutative Diagrams / YOSHIKI KINOSHITA ; KOICHI TAKAHASHI = 128

8 Putting Channels on the Map : a Channel-Theoretic Semantics of Maps? / OLIVER LEMON ; IAN PRATT = 143

9 Disjunctive Information / EDWIN D. MARES = 165

10 Information, Relevance, and Social Decisionmaking : Some Principles and Results of Decision-Theoretic Semantics / ARTHUR MERIN = 179

11 Hyperproof : Abstraction, Visual Preference and Multimodality / JON OBERLANDER ; KEITH STENNING ; RICHARD COX = 222

12 Structured Argument Generation in a Logic-Based KB-System / DENISE ABOIM SANDE E OLIVEIRA ; CLARISSE SIECKENIUS DE SOUZA ; EDAARD HERMANN HAEUSLER = 237

13 Beliefs, Belief Revision, and Splitting Languages / ROHIT PARIKH = 266

14 Prolegomena to A Theory of Disability, Inability and Handicap / JOHN PERRY ; ELIZABETH MACKEN ; DAVID ISRAEL = 279

15 Constraint-Preserving Representations / ATSUSHI SHIMOJIMA = 296

16 Information, Belief and Causal Role / PAUL SKOKOWSKI = 318

17 Topology via Constructive Logic / STEVEN VICKERS = 336 

18 Remarks on the Epistemic R ole of Discourse Referents / THOMAS EDE ZIMMERMANN = 346

19 Constrained Functions and Semantic Information / R. ZUBER = 369



관련분야 신착자료