|
|
Sold Out
Book Categories |
| 1 | First-order logic | 1 |
| First-order logic | 1 | |
| Three inference tasks | 19 | |
| A first-order model checker | 29 | |
| First-order logic and natural language | 44 | |
| 2 | Lambda calculus | 55 |
| Compositionality | 55 | |
| Two experiments | 59 | |
| The lambda calculus | 66 | |
| Implementing lambda calculus | 73 | |
| Grammar engineering | 86 | |
| 3 | Underspecified representations | 105 |
| Scope ambiguities | 105 | |
| Montague's approach | 109 | |
| Storage methods | 112 | |
| Hole semantics | 127 | |
| 4 | Propositional inference | 155 |
| From models to proofs | 155 | |
| Propositional tableaus | 158 | |
| Implementing propositional tableau | 168 | |
| Propositional resolution | 174 | |
| Implementng propositional resolution | 185 | |
| Theoretical remarks | 191 | |
| 5 | First-order inference | 203 |
| A first-order tableau system | 204 | |
| Unification | 209 | |
| Free-variable tableaus | 215 | |
| Implementng free-variable tableaus | 219 | |
| First-order resolution | 225 | |
| Implementng first-order resolution | 231 | |
| Off-the-shelf theorem provers | 235 | |
| Model building | 242 | |
| 6 | Putting it all together | 259 |
| Baby Curt | 259 | |
| Rugrat Curt | 264 | |
| Clever Curt | 267 | |
| Sensitive Curt | 272 | |
| Scrupulous Curt | 277 | |
| Knowledgeale Curt | 281 | |
| Helpful Curt | 293 | |
| A | Running the software - FAQ | 309 |
| B | Propositional logic | 311 |
| C | Automated reasoning for first-order logic | 315 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Courtney Glover
reviewed Representation and Inference for Natural Language: A First Course in Computational Semantics on October 15, 2018
Representation and Inference for Natural Language
I found this book to interesting in places but overall much of the material went over my head. I think I was looking for a laymans's guide to this subject but this is aimed at people with an existing knowledge of linguistics.
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 List
X
This item is in your Collection
Representation and Inference for Natural Language: A First Course in Computational Semantics
X
This Item is in Your Inventory
Representation and Inference for Natural Language: A First Course in Computational Semantics
X
You must be logged in to review the productsX
X
X
Add Representation and Inference for Natural Language: A First Course in Computational Semantics, How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and th, Representation and Inference for Natural Language: A First Course in Computational Semantics to the inventory that you are selling on WonderClubX
X
Add Representation and Inference for Natural Language: A First Course in Computational Semantics, How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and th, Representation and Inference for Natural Language: A First Course in Computational Semantics to your collection on WonderClub |
