LTL over Description Logic Axioms

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning
EditorsGerhard Brewka, Jerome Lang
PublisherAAAI Press
Pages684--694
Publication statusPublished - 2008
Peer-reviewedYes

Conference

TitleInternational Conference on Principles of Knowledge Representation and Reasoning 2008
Abbreviated titleKR 2008
Conference number11
Duration16 - 19 September 2008
Degree of recognitionInternational event
CitySydney
CountryAustralia

External IDs

ORCID /0000-0002-4049-221X/work/142247904

Keywords