Verifying Properties of Infinite Sequences of Description Logic Actions

Publikation: Beitrag zu KonferenzenPaperBeigetragenBegutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten53-58
Seitenumfang6
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusJa

Konferenz

Titel19th European Conference on Artificial Intelligence
KurztitelECAI 2010
Veranstaltungsnummer19
Dauer16 - 20 August 2010
BekanntheitsgradInternationale Veranstaltung
StadtLisbon
LandPortugal

Externe IDs

Scopus 77956039956
ORCID /0000-0002-4049-221X/work/142247820

Schlagworte

Schlagwörter

  • Description Logic, Description logics, Verification, Action Languages