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, New York, NY, USA, ACM, (April 2024)

Meta data

Tags

    Users

    • @scadsfct

    Comments and Reviews