Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub334
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, which are the standard tool for formalising ontologies in modern description logics. We define a DL action formalism that admits general TBoxes, propose an approach to addressing the ramification problem that is introduced in this way, show that our formalism is decidable and perform a detailed investigation of its computational complexity.
stigation of its computational complexity.  +
Author H. Liu + , M. Milicic + , Carsten Lutz + , Frank Wolter +
BibTex
@inproceedings{ LiLuMiWo-JELIA-06,
  author = {H. {Liu} and C. {Lutz} and M. {Milicic} and F. {Wolter}},
  booktitle = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence {(JELIA 2006)}},
  editor = {Michael {Fisher} and Wiebe van der {Hoek} and Boris {Konev} and Alexei {Lisitsa}},
  pages = {266--279},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Reasoning about Actions using Description Logics with general {TBoxes}},
  volume = {4160},
  year = {2006},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)  +
Download LiLuMiWo-JELIA-06.pdf  +
Editor Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa  +
ErsterAutorNachname Liu  +
ErsterAutorVorname H.  +
Forschungsgruppe Automatentheorie +
Pages 266-279  +
Publication text H. Liu, Carsten Lutz, M. Milicic, Frank Wo
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter<br/> '''[[LATPub334|<b>Reasoning about Actions using Description Logics with general TBoxes</b>]]''' <br/>__NOTOC__In Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa, eds., <i>Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)</i>, volume 4160 of Lecture Notes in Artificial Intelligence, 266-279, 2006. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub334|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LiLuMiWo-JELIA-06.pdf|Download]]
; [[Media:LiLuMiWo-JELIA-06.pdf|Download]]  +
Publication text en H. Liu, Carsten Lutz, M. Milicic, Frank Wo
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter<br/> '''[[LATPub334/en|<b>Reasoning about Actions using Description Logics with general TBoxes</b>]]''' <br/>__NOTOC__In Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa, eds., <i>Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)</i>, volume 4160 of Lecture Notes in Artificial Intelligence, 266-279, 2006. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub334|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:LiLuMiWo-JELIA-06.pdf|Download]]
; [[Media:LiLuMiWo-JELIA-06.pdf|Download]]  +
Publisher Springer  +
Referiert 1  +
Series Lecture Notes in Artificial Intelligence  +
Title Reasoning about Actions using Description Logics with general TBoxes  +
To appear 0  +
Type inproceedings  +
Volume 4160  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub334 + , LATPub334 + , LATPub334 + , LATPub334 + , LATPub334 + , LATPub334 + , LATPub334 + , LATPub334 +
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 
LATPub334/en + Weiterleitungsseite
 

 

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