Sold Out
Book Categories |
The Tbilisi Symposium on Logic, Language and Computation | ||
Contributors | ||
Introduction | ||
Pt. I | Natural Language Semantics | 1 |
1 | An Account of Negated Sentences in the DRT Framework | 3 |
2 | Austinian Propositions, Davidsonian Events and Perception Complements | 19 |
3 | A Situation-Theoretic Interpretation of Bare Plurals | 35 |
Pt. II | Dynamic Semantics and Channel Theory | 55 |
4 | The Public and the Private: Two Domains of Analysis for Semantic Theory | 57 |
5 | Modal Subordination, Focus and Complement Anaphora | 71 |
6 | First-Order Theory Change Systems and their Dynamic Semantics | 85 |
7 | A Generalizable Semantics for a Default Inheritance Reasoner | 101 |
Pt. III | Theoretical Linguistics | 121 |
8 | An HPSG Approach to Definite Concord and Elliptical Nominals | 123 |
9 | On Recent Formal Analyses of Topic | 147 |
Pt. IV | Computational Linguistics | 161 |
10 | Estimating Hidden Markov Model Topologies | 163 |
11 | An Evaluation of Statistical Scores for Word Association | 177 |
12 | Computing Incoherence of Sentences from a Logical Representation of their Semantics | 189 |
13 | Lexical Disambiguation with Fine-Grained Tagsets | 203 |
Pt. V | Formal Language Theory | 211 |
14 | Implementational Aspects of a Categorial Grammar Based on Partial Proof Trees | 213 |
15 | How to Get Rid of Projection Rules in Context-free Tree Grammars | 235 |
Pt. VI | Logic | 249 |
16 | Some Results in Monadic Heyting Algebras | 251 |
17 | Decidability and Finite Model Property of Substructural Logics | 263 |
18 | A Logic Based Framework for Action Theories | 275 |
19 | A Modular Presentation of Modal Logics in a Logical Framework | 293 |
20 | On a Logically But Not Functionally Complete Calculus in Three-Valued Logic | 309 |
Pt. VII | Theoretical Computer Science | 315 |
21 | Sharing-Graphs, Sharing-Morphisms, and (Optimal) [lambda]-Graph Reductions | 317 |
22 | Logical Full Abstraction and PCF | 333 |
23 | Properties of Infinite Reduction Paths in Untyped [lambda]-Calculus | 353 |
Name Index | 369 | |
Subject Index | 373 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionTbilisi Symposium on Logic, Language and Computation: Selected Papers
X
This Item is in Your InventoryTbilisi Symposium on Logic, Language and Computation: Selected Papers
X
You must be logged in to review the productsX
X
X
Add Tbilisi Symposium on Logic, Language and Computation: Selected Papers, This volume brings together papers from linguists, logicians, and computer scientists from thirteen countries (Armenia, Denmark, France, Georgia, Germany, Israel, Italy, Japan, Poland, Spain, Sweden, UK, and USA). This collection aims to serve as a cataly, Tbilisi Symposium on Logic, Language and Computation: Selected Papers to the inventory that you are selling on WonderClubX
X
Add Tbilisi Symposium on Logic, Language and Computation: Selected Papers, This volume brings together papers from linguists, logicians, and computer scientists from thirteen countries (Armenia, Denmark, France, Georgia, Germany, Israel, Italy, Japan, Poland, Spain, Sweden, UK, and USA). This collection aims to serve as a cataly, Tbilisi Symposium on Logic, Language and Computation: Selected Papers to your collection on WonderClub |