Model Comparison Games for Horn Description Logics
- Submitting institution
-
Birkbeck College
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 11
- Type
- E - Conference contribution
- DOI
-
10.1109/LICS.2019.8785658
- Title of conference / published proceedings
- 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- First page
- 1
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- June
- Year of publication
- 2019
- URL
-
https://ieeexplore.ieee.org/document/8785658
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
3 - Knowledge Representation and Data Management
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Horn fragments of first-order, description, modal, and other logics play an exceptional role in both theoretical computer science and applications. This paper lays foundations for a model-theoretic understanding of Horn description and modal logics (originally defined syntactically in 2000-05) by developing novel model comparison games and using them to obtain fundamental definability and expressive completeness results.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
