Knowledge processing in the LILOG project from the first to the second prototype
Identifieur interne : 001031 ( Istex/Corpus ); précédent : 001030; suivant : 001032Knowledge processing in the LILOG project from the first to the second prototype
Auteurs : Toni Bollinger ; Karl-Hans Bl Sius ; Uli HedtstückSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 1990.
Abstract
Abstract: This paper gives an overview of the knowledge processing in the LILOG project. We describe the knowledge processing component as it has been realized within the first prototype and give some experimental results. The experiences gained with the first prototype motivated us to improve the knowledge processing for the second prototype. These modifications are presented in the second part of this paper.
Url:
DOI: 10.1007/3-540-53082-7_15
Links to Exploration step
ISTEX:6ECBB1CEA62CE15A704D6F969066BAD64892E672Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Knowledge processing in the LILOG project from the first to the second prototype</title><author><name sortKey="Bollinger, Toni" sort="Bollinger, Toni" uniqKey="Bollinger T" first="Toni" last="Bollinger">Toni Bollinger</name><affiliation><mods:affiliation>Wissenschaftliches Zentrum Institut für Wissensbasierte Systeme, IBM Deutschland GmbH, Schloßstr. 70, D - 7000, Stuttgart, Fed. Rep. of Germany</mods:affiliation></affiliation></author><author><name sortKey="Bl Sius, Karl Hans" sort="Bl Sius, Karl Hans" uniqKey="Bl Sius K" first="Karl-Hans" last="Bl Sius">Karl-Hans Bl Sius</name><affiliation><mods:affiliation>Abteilung Trier, FH Rheinland-Pfalz, Fachbereich 3 Schneidershof, D - 5500, Trier, Fed. Rep. of Germany</mods:affiliation></affiliation></author><author><name sortKey="Hedtstuck, Uli" sort="Hedtstuck, Uli" uniqKey="Hedtstuck U" first="Uli" last="Hedtstück">Uli Hedtstück</name><affiliation><mods:affiliation>FB Wirtschaftsinformatik, FH Konstanz, Brauneggerstr. 55, Postfach 7729, D - 7750, Konstanz, Fed. Rep. of Germany</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:6ECBB1CEA62CE15A704D6F969066BAD64892E672</idno><date when="1990" year="1990">1990</date><idno type="doi">10.1007/3-540-53082-7_15</idno><idno type="url">https://api.istex.fr/document/6ECBB1CEA62CE15A704D6F969066BAD64892E672/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001031</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001031</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Knowledge processing in the LILOG project from the first to the second prototype</title><author><name sortKey="Bollinger, Toni" sort="Bollinger, Toni" uniqKey="Bollinger T" first="Toni" last="Bollinger">Toni Bollinger</name><affiliation><mods:affiliation>Wissenschaftliches Zentrum Institut für Wissensbasierte Systeme, IBM Deutschland GmbH, Schloßstr. 70, D - 7000, Stuttgart, Fed. Rep. of Germany</mods:affiliation></affiliation></author><author><name sortKey="Bl Sius, Karl Hans" sort="Bl Sius, Karl Hans" uniqKey="Bl Sius K" first="Karl-Hans" last="Bl Sius">Karl-Hans Bl Sius</name><affiliation><mods:affiliation>Abteilung Trier, FH Rheinland-Pfalz, Fachbereich 3 Schneidershof, D - 5500, Trier, Fed. Rep. of Germany</mods:affiliation></affiliation></author><author><name sortKey="Hedtstuck, Uli" sort="Hedtstuck, Uli" uniqKey="Hedtstuck U" first="Uli" last="Hedtstück">Uli Hedtstück</name><affiliation><mods:affiliation>FB Wirtschaftsinformatik, FH Konstanz, Brauneggerstr. 55, Postfach 7729, D - 7750, Konstanz, Fed. Rep. of Germany</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><title level="s" type="sub">Lecture Notes in Artificial Intelligence</title><imprint><date>1990</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">6ECBB1CEA62CE15A704D6F969066BAD64892E672</idno><idno type="DOI">10.1007/3-540-53082-7_15</idno><idno type="ChapterID">2</idno><idno type="ChapterID">Chap2</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: This paper gives an overview of the knowledge processing in the LILOG project. We describe the knowledge processing component as it has been realized within the first prototype and give some experimental results. The experiences gained with the first prototype motivated us to improve the knowledge processing for the second prototype. These modifications are presented in the second part of this paper.</div></front></TEI><istex><corpusName>springer</corpusName><author><json:item><name>Toni Bollinger</name><affiliations><json:string>Wissenschaftliches Zentrum Institut für Wissensbasierte Systeme, IBM Deutschland GmbH, Schloßstr. 70, D - 7000, Stuttgart, Fed. Rep. of Germany</json:string></affiliations></json:item><json:item><name>Karl-Hans Bläsius</name><affiliations><json:string>Abteilung Trier, FH Rheinland-Pfalz, Fachbereich 3 Schneidershof, D - 5500, Trier, Fed. Rep. of Germany</json:string></affiliations></json:item><json:item><name>Uli Hedtstück</name><affiliations><json:string>FB Wirtschaftsinformatik, FH Konstanz, Brauneggerstr. 55, Postfach 7729, D - 7750, Konstanz, Fed. Rep. of Germany</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><originalGenre><json:string>ReviewPaper</json:string></originalGenre><abstract>Abstract: This paper gives an overview of the knowledge processing in the LILOG project. We describe the knowledge processing component as it has been realized within the first prototype and give some experimental results. The experiences gained with the first prototype motivated us to improve the knowledge processing for the second prototype. These modifications are presented in the second part of this paper.</abstract><qualityIndicators><score>5.756</score><pdfVersion>1.3</pdfVersion><pdfPageSize>468 x 684 pts</pdfPageSize><refBibsNative>false</refBibsNative><keywordCount>0</keywordCount><abstractCharCount>413</abstractCharCount><pdfWordCount>7381</pdfWordCount><pdfCharCount>42849</pdfCharCount><pdfPageCount>24</pdfPageCount><abstractWordCount>63</abstractWordCount></qualityIndicators><title>Knowledge processing in the LILOG project from the first to the second prototype</title><chapterId><json:string>2</json:string><json:string>Chap2</json:string></chapterId><refBibs><json:item><author><json:item><name>C Beierle</name></json:item><json:item><name>J Dfrre</name></json:item><json:item><name>U Pletat</name></json:item><json:item><name>P,H Schmitt</name></json:item><json:item><name>R Studer</name></json:item></author><host><volume>41</volume><author></author><title>LlLOG-Report</title><publicationDate>1988</publicationDate></host><title>The Knowledge Representation Language LLILOG</title><publicationDate>1988</publicationDate></json:item><json:item><author><json:item><name>C Beierle</name></json:item><json:item><name>U Hedtst~ck</name></json:item><json:item><name>U Pletat</name></json:item><json:item><name>J Siekmann</name></json:item><json:item><name> Iwbs Report</name></json:item><json:item><name>Stuttgart Ibm Germany</name></json:item><json:item><name>T Bouinger</name></json:item><json:item><name>U Hedtst~ck</name></json:item><json:item><name>C.-R Rollinger</name></json:item><json:item><name>R,J Brachman</name></json:item><json:item><name>J,G Schmolze</name></json:item></author><host><volume>49</volume><pages><last>216</last><first>171</first></pages><issue>92</issue><author></author><title>LtLOG-Report Cognitive Science</title><publicationDate>1985</publicationDate></host><title>An Order Sorted Predicate Logic With Closely Coupeled Taxonomic InformationReasoning in Text Understanding, Knowledge Processing in the LILOG-PrototypeAn Overview of the KL-ONE Knowledge Representation System ~</title><publicationDate>1985</publicationDate></json:item><json:item><author><json:item><name>A,G Cohn</name></json:item></author><host><volume>3</volume><pages><last>200</last><first>113</first></pages><author></author><title>Journal of Automated Reasoning</title><publicationDate>1987</publicationDate></host><title>A More Expressive Formulation of Many Sorted Logic</title><publicationDate>1987</publicationDate></json:item><json:item><author><json:item><name>V,J Digricoli</name></json:item></author><host><author></author><title>Proc. 4th Workshop on Automated Deduction</title><publicationDate>1979</publicationDate></host><title>Resolution by Unification and Equality</title><publicationDate>1979</publicationDate></json:item><json:item><author><json:item><name>H Kamp</name></json:item></author><host><volume>19</volume><author></author><title>LILOG-Report</title><publicationDate>1981</publicationDate></host><title>A Theory of Truth and Semantic RepresentationFormal Methods in the Study of Natural Language</title><publicationDate>1981</publicationDate></json:item><json:item><author><json:item><name>B M~iller</name></json:item><json:item><name> Diplomarbeit</name></json:item><json:item><name> Institut For Informatik</name></json:item><json:item><name> Universit [ It Stuttgart</name></json:item><json:item><name>U Pletat</name></json:item><json:item><name>K Luck</name></json:item></author><host><author></author><title>Lecture Notes in Computer Science</title><publicationDate>1989</publicationDate></host><title>Ein Resolutionsskalkiil ffir ordnungssortierte Pr/idikatenlogik mit SortenliteralenKnowledge Representation in LILOGSorts and Typs in Artificat Intelligence</title><publicationDate>1989</publicationDate></json:item><json:item><author><json:item><name>G Robinson</name></json:item><json:item><name>L Wos</name></json:item></author><host><volume>4</volume><pages><last>150</last><first>135</first></pages><author></author><title>Machine Intelligence</title><publicationDate>1969</publicationDate></host><title>Paramodulation and TP in First Order Theories with Equality</title><publicationDate>1969</publicationDate></json:item><json:item><host><author><json:item><name>M Schmidt-Schauss</name></json:item></author><title>Computational Aspects of an Order-Sorted Logic with Term Declaration</title><publicationDate>1988</publicationDate></host></json:item><json:item><author><json:item><name>J Siekmann</name></json:item></author><host><volume>7</volume><author></author><title>Journal of Symbolic Computation</title><publicationDate>1989</publicationDate></host><publicationDate>1989</publicationDate></json:item><json:item><author><json:item><name>M,E Stickel</name></json:item></author><host><volume>1</volume><pages><last>355</last><first>333</first></pages><issue>4</issue><author></author><title>Journal of Automated Reasoning</title><publicationDate>1985</publicationDate></host><publicationDate>1985</publicationDate></json:item><json:item><author><json:item><name>I Wachsmuth</name></json:item></author><host><volume>12</volume><author></author><title>On Structering Domain Specific Knowledge ~, LILOG-Report</title><publicationDate>1987</publicationDate></host><publicationDate>1987</publicationDate></json:item><json:item><author><json:item><name>C Walther</name></json:item></author><host><author></author><title>Research Notes in Artificial Intelligence</title><publicationDate>1987</publicationDate></host><title>A Many-Sorted Calculus Based on Resolution and Paramodulation ~</title><publicationDate>1987</publicationDate></json:item></refBibs><genre><json:string>conference</json:string></genre><serie><editor><json:item><name>G. Goos</name></json:item><json:item><name>J. Hartmanis</name></json:item><json:item><name>J. Siekmann</name></json:item></editor><issn><json:string>0302-9743</json:string></issn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Lecture Notes in Computer Science</title><copyrightDate>1990</copyrightDate></serie><host><editor><json:item><name>Rudi Studer</name></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Artificial Intelligence (incl. Robotics)</value></json:item><json:item><value>Mathematical Logic and Foundations</value></json:item></subject><isbn><json:string>978-3-540-53082-4</json:string></isbn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Natural Language and Logic</title><bookId><json:string>3540530827</json:string></bookId><volume>459</volume><pages><last>49</last><first>26</first></pages><issn><json:string>0302-9743</json:string></issn><genre><json:string>book-series</json:string></genre><eisbn><json:string>978-3-540-46653-6</json:string></eisbn><copyrightDate>1990</copyrightDate><doi><json:string>10.1007/3-540-53082-7</json:string></doi></host><publicationDate>2005</publicationDate><copyrightDate>1990</copyrightDate><doi><json:string>10.1007/3-540-53082-7_15</json:string></doi><id>6ECBB1CEA62CE15A704D6F969066BAD64892E672</id><score>0.31289014</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/document/6ECBB1CEA62CE15A704D6F969066BAD64892E672/fulltext/pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/document/6ECBB1CEA62CE15A704D6F969066BAD64892E672/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/6ECBB1CEA62CE15A704D6F969066BAD64892E672/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Knowledge processing in the LILOG project from the first to the second prototype</title><respStmt><resp>Références bibliographiques récupérées via GROBID</resp><name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name></respStmt><respStmt><resp>Références bibliographiques récupérées via GROBID</resp><name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name></respStmt></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><availability><p>Springer-Verlag, 1990</p></availability><date>1990</date></publicationStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Knowledge processing in the LILOG project from the first to the second prototype</title><author xml:id="author-1"><persName><forename type="first">Toni</forename><surname>Bollinger</surname></persName><affiliation>Wissenschaftliches Zentrum Institut für Wissensbasierte Systeme, IBM Deutschland GmbH, Schloßstr. 70, D - 7000, Stuttgart, Fed. Rep. of Germany</affiliation></author><author xml:id="author-2"><persName><forename type="first">Karl-Hans</forename><surname>Bläsius</surname></persName><affiliation>Abteilung Trier, FH Rheinland-Pfalz, Fachbereich 3 Schneidershof, D - 5500, Trier, Fed. Rep. of Germany</affiliation></author><author xml:id="author-3"><persName><forename type="first">Uli</forename><surname>Hedtstück</surname></persName><affiliation>FB Wirtschaftsinformatik, FH Konstanz, Brauneggerstr. 55, Postfach 7729, D - 7750, Konstanz, Fed. Rep. of Germany</affiliation></author></analytic><monogr><title level="m">Natural Language and Logic</title><title level="m" type="sub">International Scientific Symposium Hamburg, FRG, May 9–11, 1989 Proceedings</title><idno type="pISBN">978-3-540-53082-4</idno><idno type="eISBN">978-3-540-46653-6</idno><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="DOI">10.1007/3-540-53082-7</idno><idno type="book-ID">3540530827</idno><idno type="book-title-ID">27245</idno><idno type="book-volume-number">459</idno><idno type="book-chapter-count">13</idno><editor><persName><forename type="first">Rudi</forename><surname>Studer</surname></persName></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date type="published" when="2005-06-07"></date><biblScope unit="volume">459</biblScope><biblScope unit="page" from="26">26</biblScope><biblScope unit="page" to="49">49</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><title level="s" type="sub">Lecture Notes in Artificial Intelligence</title><editor><persName><forename type="first">G.</forename><surname>Goos</surname></persName></editor><editor><persName><forename type="first">J.</forename><surname>Hartmanis</surname></persName></editor><editor><persName><forename type="first">J.</forename><surname>Siekmann</surname></persName></editor><biblScope><date>1990</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="series-Id">558</idno></series><idno type="istex">6ECBB1CEA62CE15A704D6F969066BAD64892E672</idno><idno type="DOI">10.1007/3-540-53082-7_15</idno><idno type="ChapterID">2</idno><idno type="ChapterID">Chap2</idno></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>1990</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: This paper gives an overview of the knowledge processing in the LILOG project. We describe the knowledge processing component as it has been realized within the first prototype and give some experimental results. The experiences gained with the first prototype motivated us to improve the knowledge processing for the second prototype. These modifications are presented in the second part of this paper.</p></abstract><textClass><keywords scheme="Book-Subject-Collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass><keywords scheme="Book-Subject-Group"><list><label>I</label><label>I21017</label><label>M24005</label><item><term>Computer Science</term></item><item><term>Artificial Intelligence (incl. Robotics)</term></item><item><term>Mathematical Logic and Foundations</term></item></list></keywords></textClass></profileDesc><revisionDesc><change when="2005-06-07">Published</change><change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-11-22">References added</change><change xml:id="refBibs-istex" who="#ISTEX-API" when="2017-01-20">References added</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/document/6ECBB1CEA62CE15A704D6F969066BAD64892E672/fulltext/txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle><SeriesSubTitle Language="En">Lecture Notes in Artificial Intelligence</SeriesSubTitle><SeriesAbbreviatedTitle>Lect Notes Comput Sci</SeriesAbbreviatedTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>G.</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>J.</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>J.</GivenName><FamilyName>Siekmann</FamilyName></EditorName></Editor></EditorGroup></SeriesHeader><Book Language="En"><BookInfo MediaType="eBook" Language="En" BookProductType="Proceedings" TocLevels="0" NumberingStyle="Unnumbered"><BookID>3540530827</BookID><BookTitle>Natural Language and Logic</BookTitle><BookSubTitle>International Scientific Symposium Hamburg, FRG, May 9–11, 1989 Proceedings</BookSubTitle><BookVolumeNumber>459</BookVolumeNumber><BookDOI>10.1007/3-540-53082-7</BookDOI><BookTitleID>27245</BookTitleID><BookPrintISBN>978-3-540-53082-4</BookPrintISBN><BookElectronicISBN>978-3-540-46653-6</BookElectronicISBN><BookChapterCount>13</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName><CopyrightYear>1990</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I21017" Priority="1" Type="Secondary">Artificial Intelligence (incl. Robotics)</BookSubject><BookSubject Code="M24005" Priority="2" Type="Secondary">Mathematical Logic and Foundations</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup></BookInfo><BookHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Rudi</GivenName><FamilyName>Studer</FamilyName></EditorName></Editor></EditorGroup></BookHeader><Chapter ID="Chap2" Language="En"><ChapterInfo ChapterType="ReviewPaper" NumberingStyle="Unnumbered" TocLevels="0" ContainsESM="No"><ChapterID>2</ChapterID><ChapterDOI>10.1007/3-540-53082-7_15</ChapterDOI><ChapterSequenceNumber>2</ChapterSequenceNumber><ChapterTitle Language="En">Knowledge processing in the LILOG project from the first to the second prototype</ChapterTitle><ChapterFirstPage>26</ChapterFirstPage><ChapterLastPage>49</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName><CopyrightYear>1990</CopyrightYear></ChapterCopyright><ChapterHistory><OnlineDate><Year>2005</Year><Month>6</Month><Day>7</Day></OnlineDate></ChapterHistory><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><BookID>3540530827</BookID><BookTitle>Natural Language and Logic</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Toni</GivenName><FamilyName>Bollinger</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff2"><AuthorName DisplayOrder="Western"><GivenName>Karl-Hans</GivenName><FamilyName>Bläsius</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff3"><AuthorName DisplayOrder="Western"><GivenName>Uli</GivenName><FamilyName>Hedtstück</FamilyName></AuthorName></Author><Affiliation ID="Aff1"><OrgDivision>Wissenschaftliches Zentrum Institut für Wissensbasierte Systeme</OrgDivision><OrgName>IBM Deutschland GmbH</OrgName><OrgAddress><Street>Schloßstr. 70</Street><Postcode>D - 7000</Postcode><City>Stuttgart</City><Country>Fed. Rep. of Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgDivision>Abteilung Trier</OrgDivision><OrgName>FH Rheinland-Pfalz</OrgName><OrgAddress><Street>Fachbereich 3 Schneidershof</Street><Postcode>D - 5500</Postcode><City>Trier</City><Country>Fed. Rep. of Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgDivision>FB Wirtschaftsinformatik</OrgDivision><OrgName>FH Konstanz</OrgName><OrgAddress><Street>Brauneggerstr. 55</Street><Postbox>Postfach 7729</Postbox><Postcode>D - 7750</Postcode><City>Konstanz</City><Country>Fed. Rep. of Germany</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>This paper gives an overview of the knowledge processing in the LILOG project. We describe the knowledge processing component as it has been realized within the first prototype and give some experimental results. The experiences gained with the first prototype motivated us to improve the knowledge processing for the second prototype. These modifications are presented in the second part of this paper.</Para></Abstract></ChapterHeader><NoBody></NoBody></Chapter></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Knowledge processing in the LILOG project from the first to the second prototype</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>Knowledge processing in the LILOG project from the first to the second prototype</title></titleInfo><name type="personal"><namePart type="given">Toni</namePart><namePart type="family">Bollinger</namePart><affiliation>Wissenschaftliches Zentrum Institut für Wissensbasierte Systeme, IBM Deutschland GmbH, Schloßstr. 70, D - 7000, Stuttgart, Fed. Rep. of Germany</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Karl-Hans</namePart><namePart type="family">Bläsius</namePart><affiliation>Abteilung Trier, FH Rheinland-Pfalz, Fachbereich 3 Schneidershof, D - 5500, Trier, Fed. Rep. of Germany</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Uli</namePart><namePart type="family">Hedtstück</namePart><affiliation>FB Wirtschaftsinformatik, FH Konstanz, Brauneggerstr. 55, Postfach 7729, D - 7750, Konstanz, Fed. Rep. of Germany</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="conference" displayLabel="ReviewPaper"></genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2005-06-07</dateIssued><copyrightDate encoding="w3cdtf">1990</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><internetMediaType>text/html</internetMediaType></physicalDescription><abstract lang="en">Abstract: This paper gives an overview of the knowledge processing in the LILOG project. We describe the knowledge processing component as it has been realized within the first prototype and give some experimental results. The experiences gained with the first prototype motivated us to improve the knowledge processing for the second prototype. These modifications are presented in the second part of this paper.</abstract><relatedItem type="host"><titleInfo><title>Natural Language and Logic</title><subTitle>International Scientific Symposium Hamburg, FRG, May 9–11, 1989 Proceedings</subTitle></titleInfo><name type="personal"><namePart type="given">Rudi</namePart><namePart type="family">Studer</namePart><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" displayLabel="Proceedings"></genre><originInfo><copyrightDate encoding="w3cdtf">1990</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I21017">Artificial Intelligence (incl. Robotics)</topic><topic authority="SpringerSubjectCodes" authorityURI="M24005">Mathematical Logic and Foundations</topic></subject><identifier type="DOI">10.1007/3-540-53082-7</identifier><identifier type="ISBN">978-3-540-53082-4</identifier><identifier type="eISBN">978-3-540-46653-6</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">27245</identifier><identifier type="BookID">3540530827</identifier><identifier type="BookChapterCount">13</identifier><identifier type="BookVolumeNumber">459</identifier><part><date>1990</date><detail type="volume"><number>459</number><caption>vol.</caption></detail><extent unit="pages"><start>26</start><end>49</end></extent></part><recordInfo><recordOrigin>Springer-Verlag, 1990</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title><subTitle>Lecture Notes in Artificial Intelligence</subTitle></titleInfo><name type="personal"><namePart type="given">G.</namePart><namePart type="family">Goos</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">J.</namePart><namePart type="family">Hartmanis</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">J.</namePart><namePart type="family">Siekmann</namePart><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><copyrightDate encoding="w3cdtf">1990</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag, 1990</recordOrigin></recordInfo></relatedItem><identifier type="istex">6ECBB1CEA62CE15A704D6F969066BAD64892E672</identifier><identifier type="DOI">10.1007/3-540-53082-7_15</identifier><identifier type="ChapterID">2</identifier><identifier type="ChapterID">Chap2</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag, 1990</accessCondition><recordInfo><recordContentSource>SPRINGER</recordContentSource><recordOrigin>Springer-Verlag, 1990</recordOrigin></recordInfo></mods></metadata></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001031 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001031 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Rhénanie
|area= UnivTrevesV1
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:6ECBB1CEA62CE15A704D6F969066BAD64892E672
|texte= Knowledge processing in the LILOG project from the first to the second prototype
}}
| This area was generated with Dilib version V0.6.31. |  |