Document Search Results

Aït-Ameur, Yamine; Laleau, Régine; Méry, Dominique; Singh, Neeraj Kumar

Towards leveraging domain knowledge in state-based formal methods. (English) Zbl 07495050

Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 1-13 (2021).

MSC: 68-XX 03-XX

Cite Review PDF

Full Text: DOI

Euzenat, Jérôme; Rousset, Marie-Christine

Semantic web. (English) Zbl 07910890

Marquis, Pierrei (ed.) et al., A guided tour of artificial intelligence research. Volume III. Interfaces and applications of artificial intelligence. Cham: Springer. 181-207 (2020).

MSC: 68T30 68M11

Cite Review PDF

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

Cite Review PDF

Full Text: DOI

OA License

Diaconescu, Răzvan

Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 1484.68106

Log. Univers. 14, No. 2, 259-277 (2020).

MSC: 68Q65 03B45 03C98 03G30

Cite Review PDF

Full Text: DOI arXiv

Haveraaen, Magne; Roggenbach, Markus

Specifying with syntactic theory functors. (English) Zbl 1433.68221

J. Log. Algebr. Methods Program. 113, Article ID 100543, 23 p. (2020).

MSC: 68Q65

Cite Review PDF

Full Text: DOI

OA License

Mossakowski, Till; Krieg-Brückner, Bernd

Partial pushout semantics of generics in DOL. (English) Zbl 1397.68112

Theor. Comput. Sci. 741, 58-70 (2018).

MSC: 68Q42 68Q65

Cite Review PDF

Full Text: DOI

Eppe, Manfred; Maclean, Ewen; Confalonieri, Roberto; Kutz, Oliver; Schorlemmer, Marco; Plaza, Enric; Kühnberger, Kai-Uwe

A computational framework for conceptual blending. (English) Zbl 1443.68139

Artif. Intell. 256, 105-129 (2018).

MSC: 68T01

Cite Review PDF

Full Text: DOI

OA License

Ibañez, Yazmin Angelica; Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej

Modularity of ontologies in an arbitrary institution. (English) Zbl 1321.68418

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 361-379 (2015).

MSC: 68T30 68Q65

Cite Review PDF

Full Text: DOI

Found 8 Documents (Results 1–8)

Towards leveraging domain knowledge in state-based formal methods. (English) Zbl 07495050

Semantic web. (English) Zbl 07910890

Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention. (English) Zbl 1444.68178

Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 1484.68106

Specifying with syntactic theory functors. (English) Zbl 1433.68221

Partial pushout semantics of generics in DOL. (English) Zbl 1397.68112

A computational framework for conceptual blending. (English) Zbl 1443.68139

Modularity of ontologies in an arbitrary institution. (English) Zbl 1321.68418

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software