Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub335
Abstract We recently proposed action formalisms bas
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. One short-coming of our initial proposal is that the considered formalisms admit only acyclic TBoxes, but not GCIs. In this paper, we define DL action formalisms that admit GCIs, propose a pragmatic approach to addressing the ramification problem that is introduced in this way, show that our formalim is decidable and investigate its computational complexity.
investigate its computational complexity.  +
Author H. Liu + , M. Milicic + , Carsten Lutz + , Frank Wolter +
BibTex
@inproceedings{ LiLuMiWo-DL-06,
  author = {H. {Liu} and C. {Lutz} and M. {Milicic} and F. {Wolter}},
  booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
  title = {Description Logic Actions with general {T}{B}oxes: a Pragmatic Approach},
  year = {2006},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 2006 International Workshop on Description Logics (DL2006)  +
Download LiLuMiWo-DL-06.pdf  +
ErsterAutorNachname Liu  +
ErsterAutorVorname H.  +
Forschungsgruppe Automatentheorie +
Publication text H. Liu, Carsten Lutz, M. Milicic, Frank Wo
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter<br/> '''[[LATPub335|<b>Description Logic Actions with general TBoxes: a Pragmatic Approach</b>]]''' <br/>__NOTOC__<i>Proceedings of the 2006 International Workshop on Description Logics (DL2006)</i>, 2006<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub335|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LiLuMiWo-DL-06.pdf|Download]]
> [[Media:LiLuMiWo-DL-06.pdf|Download]]  +
Publication text en H. Liu, Carsten Lutz, M. Milicic, Frank Wo
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter<br/> '''[[LATPub335/en|<b>Description Logic Actions with general TBoxes: a Pragmatic Approach</b>]]''' <br/>__NOTOC__<i>Proceedings of the 2006 International Workshop on Description Logics (DL2006)</i>, 2006<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub335|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:LiLuMiWo-DL-06.pdf|Download]]
> [[Media:LiLuMiWo-DL-06.pdf|Download]]  +
Referiert 1  +
Title Description Logic Actions with general TBoxes: a Pragmatic Approach  +
To appear 0  +
Type inproceedings  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub335 + , LATPub335 + , LATPub335 + , LATPub335 + , LATPub335 + , LATPub335 + , LATPub335 + , LATPub335 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:05  +
verstecke Attribute die hierhin verlinken 
LATPub335/en + Weiterleitungsseite
 

 

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