Fuenmayor, David; Benzmüller, Christoph Computer-supported analysis of arguments in climate engineering. (English) Zbl 1509.68246 Dastani, Mehdi (ed.) et al., Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12061, 104-115 (2020). MSC: 68T27 03B16 68T30 68V15 68V20 86A08 PDFBibTeX XMLCite \textit{D. Fuenmayor} and \textit{C. Benzmüller}, Lect. Notes Comput. Sci. 12061, 104--115 (2020; Zbl 1509.68246) Full Text: DOI
van der Gaag, Linda C.; Baioletti, Marco; Bolt, Janneke H. A lattice-based representation of independence relations for efficient closure computation. (English) Zbl 1490.68221 Int. J. Approx. Reasoning 126, 272-289 (2020). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{L. C. van der Gaag} et al., Int. J. Approx. Reasoning 126, 272--289 (2020; Zbl 1490.68221) Full Text: DOI
Mejhed Mkhinini, Meriem; Labbani-Narsis, Ouassila; Nicolle, Christophe Combining UML and ontology: an exploratory survey. (English) Zbl 1477.68298 Comput. Sci. Rev. 35, Article ID 100223, 14 p. (2020). MSC: 68T30 68-02 PDFBibTeX XMLCite \textit{M. Mejhed Mkhinini} et al., Comput. Sci. Rev. 35, Article ID 100223, 14 p. (2020; Zbl 1477.68298) Full Text: DOI
Mejía-Gutiérrez, Ricardo; Fischer, Xavier A multi-agent platform to support knowledge based modelling in engineering design. (English) Zbl 1436.90170 Bennis, Fouad (ed.) et al., Nature-inspired methods for metaheuristics optimization. Algorithms and applications in science and engineering. Cham: Springer. Model. Optim. Sci. Technol. 16, 245-263 (2020). MSC: 90C59 PDFBibTeX XMLCite \textit{R. Mejía-Gutiérrez} and \textit{X. Fischer}, Model. Optim. Sci. Technol. 16, 245--263 (2020; Zbl 1436.90170) Full Text: DOI