Verifying Properties of Infinite Sequences of Description Logic Actions

Research output: Contribution to conferencesPaperContributedpeer-review

Contributors

Details

Original languageEnglish
Pages53-58
Number of pages6
Publication statusPublished - 2010
Peer-reviewedYes

Conference

Title19th European Conference on Artificial Intelligence
Abbreviated titleECAI 2010
Conference number19
Duration16 - 20 August 2010
Degree of recognitionInternational event
CityLisbon
CountryPortugal

External IDs

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

Keywords

Keywords

  • Description Logic, Description logics, Verification, Action Languages