Logic, language and computation
Author(s)
Bibliographic Information
Logic, language and computation
(CSLI lecture notes, no. 58,
Center for the Study of Language and Information, c1996-c2000
- v. 1
- v. 1 : pbk
- v. 2
- v. 2 : pbk
- v. 3
- v. 3 : pbk
Available at / 65 libraries
-
Ochanomizu University Library英文
v. 1116/L82/1096010053500,
v. 2 : pbk116/L82/2099010081786, v. 3 : pbk116/L82/3001010027116 -
Kobe Shoin Women's University Library / Kobe Shoin Women's College Library
v. 3 : pbk801/64711178593
-
Kobe University General Library / Library for Intercultural Studies
v. 2 : pbk.007-1-S061009901753
-
v. 1 : pbkRO:Lo8010167131,
v. 3 : pbkRO:Logic8010284498, v. 2 : pbkRO:Lo8010235466 -
Faculty of Letters Library, University of Tokyo英文
v. 1 : pbk3号館2:Seligman et al:14816157160,
v. 2 : pbk3号館2:Moss:14816410437, v. 3 : pbk3号館2:Cavedon et al eds.:14816518718 -
Tokyo University of Agriculture and Technology Koganei Library
v. 1 : pbk.80160215684,
v. 3 : pbk80160312867 -
Library, Doshisha Women's College of Liberal Arts田
v. 1A007.1||S345||1WA;9682016989,
v. 2A007.1||S345||2WA;0082012834, v. 3A007.1||S345||3WA;0182020109 -
Doshisha University Library (Imadegawa)
v. 2A007.1;S345;2WA;0082012834,
v. 3A007.1;S345;32B;0121002086 -
v. 1C22.3||L||15972340,
v. 3C22.3||L||36200013, v. 2 : pbk.C22.3||L||25993560 OPAC
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
v. 1410.285/SE482070372796
-
No Libraries matched.
- Remove all filters.
Note
"Proceedings of the conference on Information-Oriented Approaches to Logic, Language and Computation held at St. Mary's College, Moraga, California, June 12-15, 1994"--Pref. of v. 1
"This volume contains papers presented at the Second Conference on Information-Theoretic Approaches to Logic, Language, and Computation. ... The ITALLC conference was held at Regent's College in London in July 1996."--Pref. of v. 2
Vol. 2: edited by Lawrence S. Moss, Jonathan Ginzburg, Maarten de Rijke
Vol. 3: "3rd International Conference on Information-Theoretic Approaches to Logic, Language, and Computation (ITALLC), which was held in Hsi-tou, Taiwan, 16-19 June, 1998"--Pref. of v. 3
Vol. 3: edited by Lawrence Cavedon, Patrick Blackburn, Nick Braisby, Atsushi Shimojima
Includes bibliographical references and index
"CSLI publications"
Description and Table of Contents
- Volume
-
v. 2 : pbk ISBN 9781575861807
Description
Table of Contents
- 1. State spaces, local logics, and non-monotonicity
- 2. Presupposition commodation: a plea for common sense
- 3. A dynamic syntax/semantics interface
- 4. Dynamic epistemic logic
- 5. Bare plurals, situations and discourse context
- 6. Interleaved contractions
- 7. Putting channels on the map: a channel-theoretic semantics of maps?
- 8. Disjunctive information
- 9. Information, relevance and social decisionmaking: some principles and results of decision-theoretic semantics
- 10. Hyperproof: abstraction, visual preference and multimodality
- 11. Structured argument generation in a logic-based KB-system
- 12. Beliefs, belief revision, and splitting languages
- 13. Prolegomena to a theory of disability, inability and handicap
- 14. Constraint-preserving representations
- 15. Information, belief and causal role
- 16. Takahashi: proving through commutative diagrams
- 17. Topology via constructive logic
- 18. Remarks on the epistemic role of discourse referents
- 19. Constrained functions and semantic information.
- Volume
-
v. 2 ISBN 9781575861814
Description
Table of Contents
- 1. State spaces, local logics, and non-monotonicity
- 2. Presupposition commodation: a plea for common sense
- 3. A dynamic syntax/semantics interface
- 4. Dynamic epistemic logic
- 5. Bare plurals, situations and discourse context
- 6. Interleaved contractions
- 7. Putting channels on the map: a channel-theoretic semantics of maps?
- 8. Disjunctive information
- 9. Information, relevance and social decisionmaking: some principles and results of decision-theoretic semantics
- 10. Hyperproof: abstraction, visual preference and multimodality
- 11. Structured argument generation in a logic-based KB-system
- 12. Beliefs, belief revision, and splitting languages
- 13. Prolegomena to a theory of disability, inability and handicap
- 14. Constraint-preserving representations
- 15. Information, belief and causal role
- 16. Takahashi: proving through commutative diagrams
- 17. Topology via constructive logic
- 18. Remarks on the epistemic role of discourse referents
- 19. Constrained functions and semantic information.
- Volume
-
v. 3 ISBN 9781575862675
Description
- Volume
-
v. 3 : pbk ISBN 9781575862682
Description
- Volume
-
v. 1 : pbk ISBN 9781881526896
Description
Table of Contents
- 1. Generalised set theory P. Aczel
- 2. Information-oriented computation with BABY-SIT: E. Tin and V. Akman
- 3. Reasoning with diagram sequences M. Anderson
- 4. Information flow and the Lambek calculus J. Barwise, D. Gabbay and C. Hartonas
- 5. Logical aspects of combined structures P. Blackburn and M. de Rijke
- 6. On rich ontologies for tense and aspect P. Blackburn et al.
- 7. Naturalising constraints N. Braisby and R. P. Cooper
- 8. Reflexivity and belief de se K. L. Brown
- 9. A channel-theoretic model for conditional logics L. Cavedon
- 10. A compositional situation semantics for attitude reports R. Cooper and J. Ginzburg
- 11. The attitudes in discourse representation theory and situation semantics R. Cooper
- 12. Intensional verbs without type-raising or lexical ambiguity M. Dalrymple et al
- 13. Representation and information in dynamic semantics P. Dekker
- 14. A persistent notion of truth in dynamic semantics T. Fernando
- 15. Dynamics and the semantics of dialogue J. Ginzburg
- 16. Towards a channel-theoretic account of the progressive S. Glasbey
- 17. This might be it J. Groenendijk et al
- 18. Euler and the role of visualization in logic E. Hammer and S. Shin
- 19. Individuation and reasoning K. Ishikawa
- 20. Where monsters dwell D. Israel and J. Perry
- 21. A distributed system model for actions of situated agents Y. Katagiri
- 22. Information, representation and the possibility of error R. C. Koons
- 23. Bridging situations and NPI licensing I. Lee
- 24. A diagrammatic inference system for geometry I. Luengo
- 25. Belief as a form of subjective information D. Mack
- 26. Diagram contents and representational granularity K. Manders
- 27. Constraints on coalgebras K. Mukai
- 28. Proof styles in multimodal reasoning J. Oberlander et al
- 29. Austinian pluralities D. Oehrle
- 30. Interfacing situations J. Perry and E. Macken
- 31. Information flow and relevant logics G. Restall
- 32. Attunement to constraints in nonmonotonic reasoning W. C. Rounds and G. Zhang
- 33. A simultaneous abstraction calculus and theories of semantics P. Ruhrberg
- 34. Minimal truth predicates and situation theory S. Schulz
- 35. Reasoning with diagrams and geometrical constraints A. Shimojima
- 36. A legal reasoning system based on situation theory S. Tojo and S. Won
- 37. An E-type logic J. van der Does
- 38. From utterances to situations: parsing with constructions in small domains W. Zadrozny.
- Volume
-
v. 1 ISBN 9781881526902
Description
Table of Contents
- 1. Generalised set theory P. Aczel
- 2. Information-oriented computation with BABY-SIT: E. Tin and V. Akman
- 3. Reasoning with diagram sequences M. Anderson
- 4. Information flow and the Lambek calculus J. Barwise, D. Gabbay and C. Hartonas
- 5. Logical aspects of combined structures P. Blackburn and M. de Rijke
- 6. On rich ontologies for tense and aspect P. Blackburn et al.
- 7. Naturalising constraints N. Braisby and R. P. Cooper
- 8. Reflexivity and belief de se K. L. Brown
- 9. A channel-theoretic model for conditional logics L. Cavedon
- 10. A compositional situation semantics for attitude reports R. Cooper and J. Ginzburg
- 11. The attitudes in discourse representation theory and situation semantics R. Cooper
- 12. Intensional verbs without type-raising or lexical ambiguity M. Dalrymple et al
- 13. Representation and information in dynamic semantics P. Dekker
- 14. A persistent notion of truth in dynamic semantics T. Fernando
- 15. Dynamics and the semantics of dialogue J. Ginzburg
- 16. Towards a channel-theoretic account of the progressive S. Glasbey
- 17. This might be it J. Groenendijk et al
- 18. Euler and the role of visualization in logic E. Hammer and S. Shin
- 19. Individuation and reasoning K. Ishikawa
- 20. Where monsters dwell D. Israel and J. Perry
- 21. A distributed system model for actions of situated agents Y. Katagiri
- 22. Information, representation and the possibility of error R. C. Koons
- 23. Bridging situations and NPI licensing I. Lee
- 24. A diagrammatic inference system for geometry I. Luengo
- 25. Belief as a form of subjective information D. Mack
- 26. Diagram contents and representational granularity K. Manders
- 27. Constraints on coalgebras K. Mukai
- 28. Proof styles in multimodal reasoning J. Oberlander et al
- 29. Austinian pluralities D. Oehrle
- 30. Interfacing situations J. Perry and E. Macken
- 31. Information flow and relevant logics G. Restall
- 32. Attunement to constraints in nonmonotonic reasoning W. C. Rounds and G. Zhang
- 33. A simultaneous abstraction calculus and theories of semantics P. Ruhrberg
- 34. Minimal truth predicates and situation theory S. Schulz
- 35. Reasoning with diagrams and geometrical constraints A. Shimojima
- 36. A legal reasoning system based on situation theory S. Tojo and S. Won
- 37. An E-type logic J. van der Does
- 38. From utterances to situations: parsing with constructions in small domains W. Zadrozny.
by "Nielsen BookData"