Konev, Boris 
ORCID: 0000-0002-6507-0494, Wolter, Frank and Fortin, Marie
(2021)
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).
In: 34th International Workshop on Description Logics, 2021-9-19 - 2021-9-21, Bratislava.
|
Text
abstract-16.pdf - Published version Download (533kB) | Preview |
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 27 Sep 2021 07:22 |
| Last Modified: | 18 Jan 2023 21:28 |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3138391 |
Share
Share
Share
CORE (COnnecting REpositories)