Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub685
Abstract Action formalisms based on description log
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. However, existing DL action formalisms fail to include general TBoxes as provided by almost all state-of-the-art description logics. We define a DL action formalism that admits general TBoxes, propose a pragmatic approach to addressing the ramification problem that is introduced in this way, show that our formalim is decidable and perform a detailed investigation of its computational complexity.
stigation of its computational complexity.  +
Archivierungsnummer LTCS-06-03  +
Author H. Liu + , M. Milicic + , Carsten Lutz + , Frank Wolter +
BibTex
@techreport{ LiLuMiWo-LTCS-06-03,
  address = {Germany},
  author = {H. {Liu} and C. {Lutz} and M. {Milicic} and F. {Wolter}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {LTCS-06-03},
  title = {Description Logic Actions with general {T}{B}oxes: a Pragmatic Approach},
  type = {LTCS-Report},
  year = {2006},
}
Bibtype Techreport  +
Download LiLuMiWo-LTCS-06-03.pdf  +
ErsterAutorNachname Liu  +
ErsterAutorVorname H.  +
Forschungsgruppe Automatentheorie +
Institution Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology  +
Note See http://lat.inf.tu-dresden.de/research/reports.html.  +
Publication text H. Liu, Carsten Lutz, M. Milicic, Frank Wo
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter<br /> '''[[LATPub685|Description Logic Actions with general TBoxes: a Pragmatic Approach]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume LTCS-06-03, 2006. ''LTCS-Report''<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub685|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LiLuMiWo-LTCS-06-03.pdf|Download]]
[[Media:LiLuMiWo-LTCS-06-03.pdf|Download]]  +
Publication text en H. Liu, Carsten Lutz, M. Milicic, Frank Wo
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter<br /> '''[[LATPub685/en|Description Logic Actions with general TBoxes: a Pragmatic Approach]]''' <br />__NOTOC__Technical Report, ''Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology'', volume LTCS-06-03, 2006. ''LTCS-Report''<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub685|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:LiLuMiWo-LTCS-06-03.pdf|Download]]
[[Media:LiLuMiWo-LTCS-06-03.pdf|Download]]  +
Reviewed 0  +
Title Description Logic Actions with general TBoxes: a Pragmatic Approach  +
Typ LTCS-Report  +
Type techreport  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub685 + , LATPub685 + , LATPub685 + , LATPub685 + , LATPub685 + , LATPub685 + , LATPub685 + , LATPub685 +
Kategorien Techreport , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:09  +
verstecke Attribute die hierhin verlinken 
LATPub685/en + Weiterleitungsseite
 

 

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