Representation and inference for natural language: a first course in computational semantics
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Stanford, Calif.
CSLI Publ.
2005
|
| Series: | CSLI studies in computational linguistics
|
| Subjects: | |
| Online Access: | Table of contents Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | XXV, 350 S. |
| ISBN: | 1575864959 1575864967 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV020842548 | ||
| 003 | DE-604 | ||
| 005 | 20180717 | ||
| 007 | t | ||
| 008 | 051024s2005 xxu |||| 00||| eng d | ||
| 010 | |a 2004029974 | ||
| 020 | |a 1575864959 |c cloth cover : alk. paper |9 1-57586-495-9 | ||
| 020 | |a 1575864967 |c pbk. : alk. paper |9 1-57586-496-7 | ||
| 035 | |a (OCoLC)57392175 | ||
| 035 | |a (DE-599)BVBBV020842548 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-29T |a DE-91 |a DE-19 |a DE-188 | ||
| 050 | 0 | |a P325.5.D38 | |
| 082 | 0 | |a 401/.43/0285 |2 22 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a DAT 714f |2 stub | ||
| 100 | 1 | |a Blackburn, Patrick |d 1959- |e Verfasser |0 (DE-588)174091478 |4 aut | |
| 245 | 1 | 0 | |a Representation and inference for natural language |b a first course in computational semantics |c Patrick Blackburn & Johan Bos |
| 264 | 1 | |a Stanford, Calif. |b CSLI Publ. |c 2005 | |
| 300 | |a XXV, 350 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a CSLI studies in computational linguistics | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Computerlinguïstiek |2 gtt | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 4 | |a Sémantique - Informatique | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Semantics |x Data processing | |
| 650 | 0 | 7 | |a Computerlinguistik |0 (DE-588)4035843-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Natürliche Sprache |0 (DE-588)4041354-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Computerlinguistik |0 (DE-588)4035843-4 |D s |
| 689 | 0 | 1 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 0 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bos, Johan |d 1968- |e Verfasser |0 (DE-588)132540940 |4 aut | |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/ecip055/2004029974.html |3 Table of contents | |
| 856 | 4 | 2 | |m OEBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014164409&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014164409 | ||
Record in the Search Index
| _version_ | 1804134551138598912 |
|---|---|
| adam_text | * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * F I R S T - O R D E R L O G I C 1 * 1.1 F I R S T - O
R D E R LOGIC 1 * 1.2 T H R E E I N F E R E N C E T A S K S
19* 1 . 3 A F I R S T - O R D E R M O D E L C H E C K E R
29* 1 . 4 F I R S T - O R D E R L O G I C A N D N A T U R
A L L A N G U A G E 44* 2 L A M B D A C A I C U L U S 5 5 *
2.1 C O M P O S I T I O N A L I T Y 55* 2.2 T W O E X P E R I M
E N T S 59* 2.3 T H E L A M B D A C A L C U L U S 6 6 * 2
. 4 I M P L E M E N T I N G L A M B D A C A L C U L U S 73*
2.5 G R A M M A R E N G I N E E R I N G 86* 3 U N D E R S P
E C I F I E D R E P R E S E N T A T I O N S 1 0 5 * 3.1 S C O P
E A M B I G U I T I E S 105* 3.2 M O N T A G U E S A P P R O
A C H 109* 3.3 S T O R A G E M E T H O D S 112* 3 . 4 H O L
E S E M A N T I C S 127* V VI / REPRESENTATION AND INFERENCE FOR
NATURAL LANGUAGE 4 PROPOSITIONAL INFERENCE 155* 4.1 FROM MODELS TO
PROOFS 155* 4.2 PROPOSITIONAL TABLEAUS 1.58 4.3 LMPLEMENTING
PROPOSITIONAL TABLEAU 168* 4.4 PROPOSITIONAL RESOLUTION 174* 4.5
IMPLEMENTING PROPOSITIONAL RESOLUTION 185* 4.6 THEORETICAL REMARKS 191*
5 FIRST-ORDER INFERENCE 203* 5.1 A FIRST-ORDER TABLEAU SYSTEM 204* 5.2
UNIFICATION 209* 5.3 FREE-VARIABLE TABLEAUS 215* 5.4 IMPLEMENTING
FREE-VARIABLE TABLEAUS 219* 5.5 FIRST-ORDER RESOLUTION 225* 5.6
IMPLEMENTING FIRST-ORDER RESOLUTION 231* 5.7 OFF-THE-SHELF THEOREM
PROVERS 235* 5.8 MODEL BUILDING 242* 6 PUTTING IT ALL TOGETHER 259* 6.1
BABY CURT 259* 6.2 RUGRAT CURT 264* 6.3 CLEVER CURT 267* 6.4 SENSITIVE
CURT 272* 6.5 SCRUPULOUS CURT 277* 6.6 KNOWLEDGEABLE CURT 281* 6.7
HELPFUL CURT 293* A RUNNING THE SOFTWARE - FAQ 309* B PROPOSITIONAL
LOGIC 311* C AUTOMATED REASONING FOR FIRST-ORDER LOGIC 315* D NOTATION
319* REFERENCES 321* AUTHOR INDEX 335* PROLOG INDEX 339* SUBJECT INDEX
343*
|
| adam_txt |
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * F I R S T - O R D E R L O G I C 1 * 1.1 F I R S T - O
R D E R LOGIC 1 * 1.2 T H R E E I N F E R E N C E T A S K S
19* 1 . 3 A F I R S T - O R D E R M O D E L C H E C K E R
29* 1 . 4 F I R S T - O R D E R L O G I C A N D N A T U R
A L L A N G U A G E 44* 2 L A M B D A C A I C U L U S 5 5 *
2.1 C O M P O S I T I O N A L I T Y 55* 2.2 T W O E X P E R I M
E N T S 59* 2.3 T H E L A M B D A C A L C U L U S 6 6 * 2
. 4 I M P L E M E N T I N G L A M B D A C A L C U L U S 73*
2.5 G R A M M A R E N G I N E E R I N G 86* 3 U N D E R S P
E C I F I E D R E P R E S E N T A T I O N S 1 0 5 * 3.1 S C O P
E A M B I G U I T I E S 105* 3.2 M O N T A G U E ' S A P P R O
A C H 109* 3.3 S T O R A G E M E T H O D S 112* 3 . 4 H O L
E S E M A N T I C S 127* V VI / REPRESENTATION AND INFERENCE FOR
NATURAL LANGUAGE 4 PROPOSITIONAL INFERENCE 155* 4.1 FROM MODELS TO
PROOFS 155* 4.2 PROPOSITIONAL TABLEAUS 1.58 4.3 LMPLEMENTING
PROPOSITIONAL TABLEAU 168* 4.4 PROPOSITIONAL RESOLUTION 174* 4.5
IMPLEMENTING PROPOSITIONAL RESOLUTION 185* 4.6 THEORETICAL REMARKS 191*
5 FIRST-ORDER INFERENCE 203* 5.1 A FIRST-ORDER TABLEAU SYSTEM 204* 5.2
UNIFICATION 209* 5.3 FREE-VARIABLE TABLEAUS 215* 5.4 IMPLEMENTING
FREE-VARIABLE TABLEAUS 219* 5.5 FIRST-ORDER RESOLUTION 225* 5.6
IMPLEMENTING FIRST-ORDER RESOLUTION 231* 5.7 OFF-THE-SHELF THEOREM
PROVERS 235* 5.8 MODEL BUILDING 242* 6 PUTTING IT ALL TOGETHER 259* 6.1
BABY CURT 259* 6.2 RUGRAT CURT 264* 6.3 CLEVER CURT 267* 6.4 SENSITIVE
CURT 272* 6.5 SCRUPULOUS CURT 277* 6.6 KNOWLEDGEABLE CURT 281* 6.7
HELPFUL CURT 293* A RUNNING THE SOFTWARE - FAQ 309* B PROPOSITIONAL
LOGIC 311* C AUTOMATED REASONING FOR FIRST-ORDER LOGIC 315* D NOTATION
319* REFERENCES 321* AUTHOR INDEX 335* PROLOG INDEX 339* SUBJECT INDEX
343* |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Blackburn, Patrick 1959- Bos, Johan 1968- |
| author_GND | (DE-588)174091478 (DE-588)132540940 |
| author_facet | Blackburn, Patrick 1959- Bos, Johan 1968- |
| author_role | aut aut |
| author_sort | Blackburn, Patrick 1959- |
| author_variant | p b pb j b jb |
| building | Verbundindex |
| bvnumber | BV020842548 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P325 |
| callnumber-raw | P325.5.D38 |
| callnumber-search | P325.5.D38 |
| callnumber-sort | P 3325.5 D38 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | ST 140 |
| classification_tum | DAT 714f |
| ctrlnum | (OCoLC)57392175 (DE-599)BVBBV020842548 |
| dewey-full | 401/.43/0285 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401/.43/0285 |
| dewey-search | 401/.43/0285 |
| dewey-sort | 3401 243 3285 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Informatik |
| discipline_str_mv | Sprachwissenschaft Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02216nam a2200553zc 4500</leader><controlfield tag="001">BV020842548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180717 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051024s2005 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004029974</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575864959</subfield><subfield code="c">cloth cover : alk. paper</subfield><subfield code="9">1-57586-495-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575864967</subfield><subfield code="c">pbk. : alk. paper</subfield><subfield code="9">1-57586-496-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57392175</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020842548</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P325.5.D38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401/.43/0285</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 714f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blackburn, Patrick</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)174091478</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Representation and inference for natural language</subfield><subfield code="b">a first course in computational semantics</subfield><subfield code="c">Patrick Blackburn & Johan Bos</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">CSLI Publ.</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXV, 350 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">CSLI studies in computational linguistics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computerlinguïstiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sémantique - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bos, Johan</subfield><subfield code="d">1968-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132540940</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/ecip055/2004029974.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">OEBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014164409&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014164409</subfield></datafield></record></collection> |
| id | DE-604.BV020842548 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T13:17:10Z |
| indexdate | 2024-07-09T20:26:24Z |
| institution | BVB |
| isbn | 1575864959 1575864967 |
| language | English |
| lccn | 2004029974 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014164409 |
| oclc_num | 57392175 |
| open_access_boolean | |
| owner | DE-29T DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-188 |
| owner_facet | DE-29T DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-188 |
| physical | XXV, 350 S. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | CSLI Publ. |
| record_format | marc |
| series2 | CSLI studies in computational linguistics |
| spelling | Blackburn, Patrick 1959- Verfasser (DE-588)174091478 aut Representation and inference for natural language a first course in computational semantics Patrick Blackburn & Johan Bos Stanford, Calif. CSLI Publ. 2005 XXV, 350 S. txt rdacontent n rdamedia nc rdacarrier CSLI studies in computational linguistics Includes bibliographical references and index Computerlinguïstiek gtt Semantiek gtt Sémantique - Informatique Datenverarbeitung Semantik Semantics Data processing Computerlinguistik (DE-588)4035843-4 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Computerlinguistik (DE-588)4035843-4 s Natürliche Sprache (DE-588)4041354-8 s Semantik (DE-588)4054490-4 s DE-604 Bos, Johan 1968- Verfasser (DE-588)132540940 aut http://www.loc.gov/catdir/toc/ecip055/2004029974.html Table of contents OEBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014164409&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Blackburn, Patrick 1959- Bos, Johan 1968- Representation and inference for natural language a first course in computational semantics Computerlinguïstiek gtt Semantiek gtt Sémantique - Informatique Datenverarbeitung Semantik Semantics Data processing Computerlinguistik (DE-588)4035843-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4035843-4 (DE-588)4041354-8 (DE-588)4054490-4 |
| title | Representation and inference for natural language a first course in computational semantics |
| title_auth | Representation and inference for natural language a first course in computational semantics |
| title_exact_search | Representation and inference for natural language a first course in computational semantics |
| title_exact_search_txtP | Representation and inference for natural language a first course in computational semantics |
| title_full | Representation and inference for natural language a first course in computational semantics Patrick Blackburn & Johan Bos |
| title_fullStr | Representation and inference for natural language a first course in computational semantics Patrick Blackburn & Johan Bos |
| title_full_unstemmed | Representation and inference for natural language a first course in computational semantics Patrick Blackburn & Johan Bos |
| title_short | Representation and inference for natural language |
| title_sort | representation and inference for natural language a first course in computational semantics |
| title_sub | a first course in computational semantics |
| topic | Computerlinguïstiek gtt Semantiek gtt Sémantique - Informatique Datenverarbeitung Semantik Semantics Data processing Computerlinguistik (DE-588)4035843-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Semantik (DE-588)4054490-4 gnd |
| topic_facet | Computerlinguïstiek Semantiek Sémantique - Informatique Datenverarbeitung Semantik Semantics Data processing Computerlinguistik Natürliche Sprache |
| url | http://www.loc.gov/catdir/toc/ecip055/2004029974.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014164409&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT blackburnpatrick representationandinferencefornaturallanguageafirstcourseincomputationalsemantics AT bosjohan representationandinferencefornaturallanguageafirstcourseincomputationalsemantics |