Gerasimova, Olga; Kikot, Stanislav; Kurucz, Agi; Podolskii, Vladimir; Zakharyaschev, Michael A tetrachotomy of ontology-mediated queries with a covering axiom. (English) Zbl 07554486 Artif. Intell. 309, Article ID 103738, 46 p. (2022). MSC: 68T30 PDFBibTeX XMLCite \textit{O. Gerasimova} et al., Artif. Intell. 309, Article ID 103738, 46 p. (2022; Zbl 07554486) Full Text: DOI arXiv
Jonsson, Peter Constants and finite unary relations in qualitative constraint reasoning. (English) Zbl 1445.68112 Artif. Intell. 257, 1-23 (2018). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{P. Jonsson}, Artif. Intell. 257, 1--23 (2018; Zbl 1445.68112) Full Text: DOI
Béjar, Ramón; Domshlak, Carmel; Fernández, Cèsar; Gomes, Carla; Krishnamachari, Bhaskar; Selman, Bart; Valls, Magda Sensor networks and distributed CSP: communication, computation and complexity. (English) Zbl 1132.68688 Artif. Intell. 161, No. 1-2, 117-147 (2005). MSC: 68T20 68M14 68Q25 68W15 PDFBibTeX XMLCite \textit{R. Béjar} et al., Artif. Intell. 161, No. 1--2, 117--147 (2005; Zbl 1132.68688) Full Text: DOI Link
Horváth, T.; Turán, G. Learning logic programs with structured background knowledge. (English) Zbl 0971.68131 Artif. Intell. 128, No. 1-2, 31-97 (2001). MSC: 68T05 68N17 PDFBibTeX XMLCite \textit{T. Horváth} and \textit{G. Turán}, Artif. Intell. 128, No. 1--2, 31--97 (2001; Zbl 0971.68131) Full Text: DOI