Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Inproceedings1327
Abstract We investigate cumulated clauses on a set
We investigate cumulated clauses on a set of attributes consisting of concept descriptions of the description logic FLE. This kind of conceptual statements is argued to be close to intuitive human reasoning. We provide a deduction calculus for cumulated clauses on FLE that is obviously sound and give an elaborated proof for its completeness.
an elaborated proof for its completeness.  +
Author Sebastian Rudolph +
BibTex
@inproceedings{R2006,
  author    = {Sebastian Rudolph},
  title     = {A Deduction Calculus for Cumulated Clauses on {FLE} Concept
               Descriptions},
  editor    = {Pascal Hitzler and Henrik Sch{\"{a}}rfe and Peter {\O}hrstr{\o}m},
  booktitle = {Inspiration and Application - Contributions to {ICCS} 2006},
  publisher = {Aalborg University Press},
  year      = {2006},
  month     = {July},
  pages     = {188 - 201}
}
Bibtype Inproceedings  +
Booktitle Inspiration and Application - Contributions to ICCS 2006  +
Download 2006_1327_Rudolph_A_Deduction_Cal_1.pdf  +
Editor Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm  +
ErsterAutorNachname Rudolph  +
ErsterAutorVorname Sebastian  +
Forschungsgruppe Computational Logic +
ISBN 87-7307-763-2  +
Month Juli  +
Pages 188 - 201  +
Publication text Sebastian Rudolph<br/> '''[[Inprocee
Sebastian Rudolph<br/> '''[[Inproceedings1327|<b>A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions</b>]]''' <br/>__NOTOC__In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, eds., <i>Inspiration and Application - Contributions to ICCS 2006</i>, 188 - 201, July 2006. Aalborg University Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1327|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:2006_1327_Rudolph_A_Deduction_Cal_1.pdf|Download]]
7_Rudolph_A_Deduction_Cal_1.pdf|Download]]  +
Publication text en Sebastian Rudolph<br/> '''[[Inprocee
Sebastian Rudolph<br/> '''[[Inproceedings1327/en|<b>A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions</b>]]''' <br/>__NOTOC__In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, eds., <i>Inspiration and Application - Contributions to ICCS 2006</i>, 188 - 201, July 2006. Aalborg University Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings1327|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:2006_1327_Rudolph_A_Deduction_Cal_1.pdf|Download]]
7_Rudolph_A_Deduction_Cal_1.pdf|Download]]  +
Publisher Aalborg University Press  +
Referiert 1  +
Title A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions  +
To appear 0  +
Type inproceedings  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Inproceedings1327 + , Inproceedings1327 + , Inproceedings1327 + , Inproceedings1327 + , Inproceedings1327 +
Kategorien Inproceedings , Publikation , Seiten mit defekten Dateilinks
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
28 Oktober 2014 17:13:39  +
verstecke Attribute die hierhin verlinken 
Inproceedings1327/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.