Falomir, Zoe; Pich, Albert; Costa, Vicent Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles. (English) Zbl 1445.68209 Ann. Math. Artif. Intell. 88, No. 5-6, 589-621 (2020). MSC: 68T30 68T27 68U05 PDFBibTeX XMLCite \textit{Z. Falomir} et al., Ann. Math. Artif. Intell. 88, No. 5--6, 589--621 (2020; Zbl 1445.68209) Full Text: DOI
Confalonieri, Roberto; Kutz, Oliver Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention. (English) Zbl 1444.68178 Ann. Math. Artif. Intell. 88, No. 5-6, 479-516 (2020). MSC: 68T27 68T30 68U10 PDFBibTeX XMLCite \textit{R. Confalonieri} and \textit{O. Kutz}, Ann. Math. Artif. Intell. 88, No. 5--6, 479--516 (2020; Zbl 1444.68178) Full Text: DOI
Tomasik, Jerzy; Weyman, Jerzy Category localization semantics for specification refinements. (English) Zbl 1124.68063 Ann. Math. Artif. Intell. 49, No. 1-4, 253-263 (2007). MSC: 68Q65 18C10 18E35 PDFBibTeX XMLCite \textit{J. Tomasik} and \textit{J. Weyman}, Ann. Math. Artif. Intell. 49, No. 1--4, 253--263 (2007; Zbl 1124.68063) Full Text: DOI