Model generation for natural language interpretation and analysis / (Record no. 635684)

MARC details
000 -LEADER
fixed length control field 06072cam a22010214a 4500
001 - CONTROL NUMBER
control field ocm54766706
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703143035.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr |n|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040203s2004 gw a ob 001 0 eng c
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2004042936
040 ## - CATALOGING SOURCE
Original cataloging agency COO
Language of cataloging eng
Description conventions pn
Transcribing agency COO
Modifying agency HNK
-- BAKER
-- N$T
-- YDXCP
-- OCLCQ
-- YNG
-- IDEBK
-- DKDLA
-- OCLCQ
-- OCLCO
-- OCLCQ
-- NLGGC
-- GW5XE
-- OCLCF
-- OCLCA
-- OCLCQ
-- SFB
-- EBLCP
-- OCLCQ
-- SUR
-- PIFBR
-- SHS
-- OCLCQ
-- UAB
-- ESU
-- OCLCQ
-- VT2
-- COO
-- WY@
-- BUF
-- LUE
-- CEF
-- OCLCA
-- WYU
-- OCLCO
-- LEAUB
-- OL$
-- OCLCQ
-- AUD
-- OCLCQ
-- OCLCA
-- AJS
-- OCLCO
-- OCLCQ
-- EUX
-- INARC
-- OCLCO
-- OCLCL
-- SXB
-- OCLCA
-- OCLCQ
-- OCLCA
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA419657
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 970038410
Source DE-101
019 ## -
-- 58748024
-- 65854089
-- 243490983
-- 436620439
-- 664271943
-- 666945940
-- 768063035
-- 814329450
-- 934981333
-- 984886641
-- 992021236
-- 1005815268
-- 1066433361
-- 1081202787
-- 1105601884
-- 1132299548
-- 1162648171
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540246401
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540246404
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1280306955
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781280306952
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540210695
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540210696
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/b95744
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000044634691
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051333518
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 274406853
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15296233
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000078468603
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)54766706
Canceled/invalid control number (OCoLC)58748024
-- (OCoLC)65854089
-- (OCoLC)243490983
-- (OCoLC)436620439
-- (OCoLC)664271943
-- (OCoLC)666945940
-- (OCoLC)768063035
-- (OCoLC)814329450
-- (OCoLC)934981333
-- (OCoLC)984886641
-- (OCoLC)992021236
-- (OCoLC)1005815268
-- (OCoLC)1066433361
-- (OCoLC)1081202787
-- (OCoLC)1105601884
-- (OCoLC)1132299548
-- (OCoLC)1162648171
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number P98
Item number .K634 2004
072 #7 - SUBJECT CATEGORY CODE
Subject category code LAN
Subject category code subdivision 009010
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code U
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 410/.285
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 17.46
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 31.10
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.72
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.82
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number SS 4800
Number source rvk
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 710f
Number source stub
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Konrad, Karsten,
Dates associated with a name 1969-
-- https://id.oclc.org/worldcat/entity/E39PCjvFQ3wbCw3XpdQrFmMRXd
9 (RLIN) 17962
245 10 - TITLE STATEMENT
Title Model generation for natural language interpretation and analysis /
Statement of responsibility, etc. Karsten Konrad.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. ©2004.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xiii, 166 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 2953.
Series statement Lecture notes in artificial intelligence.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (pages 159-163) and index.
520 ## - SUMMARY, ETC.
Summary, etc. Mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing. Natural language processing has become a topic of outstanding relevance in information technology, mainly due to the explosive growth of the Web, where by far the largest part of information is encoded in natural language documents. This monograph focuses on the development of inference tools tailored to applications in natural language processing by demonstrating how the model generation paradigm can be used as a framework for the support of specific tasks in natural language interpretation and natural language based inference in a natural way. The book appears at a pivotal moment, when much attention is being paid to the task of adding a semantic layer to the Web, and representation and processing of natural language based semantic information pops up as a primary requirement for further technological progress.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1 Motivation -- 1 Motivation -- I Logics -- 2 Model Generation -- 3 Higher-Order Model Generation -- 4 Minimal Model Generation -- II Linguistics -- 5 The Analysis of Definites -- 6 Reciprocity -- 7 Abduction -- 8 Implementation -- 9 Conclusion -- A Some Example Problems -- References and Index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational linguistics.
9 (RLIN) 809
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Semantics
General subdivision Data processing.
9 (RLIN) 17963
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Linguistique informatique.
9 (RLIN) 17964
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Sémantique
General subdivision Informatique.
9 (RLIN) 17965
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element computational linguistics.
Source of heading or term aat
9 (RLIN) 809
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element LANGUAGE ARTS & DISCIPLINES
General subdivision Linguistics
-- Historical & Comparative.
Source of heading or term bisacsh
9 (RLIN) 17966
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational linguistics
Source of heading or term fast
9 (RLIN) 809
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Semantics
General subdivision Data processing
Source of heading or term fast
9 (RLIN) 17963
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Wissensrepräsentation
Source of heading or term gnd
9 (RLIN) 16356
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatisches Beweisverfahren
Source of heading or term gnd
9 (RLIN) 14924
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Natürlichsprachiges System
Source of heading or term gnd
9 (RLIN) 17968
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Sprachverarbeitung
Source of heading or term gnd
9 (RLIN) 17708
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Generierung
Miscellaneous information Sprache
Source of heading or term gnd
9 (RLIN) 17969
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Natuurlijke-taalverwerking.
Source of heading or term gtt
9 (RLIN) 17967
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Linguística computacional.
Source of heading or term larpcal
9 (RLIN) 17970
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Semântica de programação.
Source of heading or term larpcal
9 (RLIN) 17971
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Linguagem natural.
Source of heading or term larpcal
9 (RLIN) 16598
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Linguistique computationnelle.
Source of heading or term rasuqam
9 (RLIN) 17972
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Sémantique.
Source of heading or term rasuqam
9 (RLIN) 17973
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Analyse du langage naturel.
Source of heading or term rasuqam
9 (RLIN) 17974
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Génération de modèles.
Source of heading or term rasuqam
9 (RLIN) 17975
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Konrad, Karsten, 1969-
Title Model generation for natural language interpretation and analysis.
Place, publisher, and date of publication Berlin ; New York : Springer-Verlag, ©2004
International Standard Book Number 3540210695
Record control number (DLC) 2004042936
-- (OCoLC)54476102
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 2953.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science.
Name of part/section of a work Lecture notes in artificial intelligence.
9 (RLIN) 14916
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/b95744">https://link.springer.com/10.1007/b95744</a>
938 ## -
-- Baker & Taylor
-- BKTY
-- 47.00
-- 47.00
-- 3540210695
-- 0004438836
-- active
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3088869
938 ## -
-- EBSCOhost
-- EBSC
-- 128416
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- 30695
938 ## -
-- YBP Library Services
-- YANK
-- 2362042
938 ## -
-- Internet Archive
-- INAR
-- modelgenerationf0000konr
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha