Inproceedings,

The abstract expressive power of first-order and description logics with concrete domains

, and .
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, page 745-761. New York, NY, USA, ACM, (April 2024)
DOI: 10.1145/3605098.3635984

Meta data

Tags

    Users

    • @scadsfct

    Comments and Reviews