A computational framework for conceptual blending. (English) Zbl 1443.68139
MSC:
68T01
Found 5 Documents (Results 1–5)
ASP, amalgamation, and the conceptual blending workflow. (English) Zbl 1467.68165
Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 309-316 (2015).
Amalgamation in the semantics of CASL. (English) Zbl 1070.68094
MSC:
68Q65
Towards behavioral Maude: behavioral membership equational logic. (English) Zbl 1270.68194
Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science.
Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 197-253 (2002).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (2)
all
top 5
Author
- Confalonieri, Roberto (2)
- Eppe, Manfred (2)
- Kutz, Oliver (2)
- Maclean, Ewen (2)
- Mossakowski, Till (2)
- Plaza, Enric (2)
- Schorlemmer, Marco (2)
- Hoffman, Piotr (1)
- Klin, Bartek (1)
- Kühnberger, Kai-Uwe (1)
- Meseguer Guaita, José (1)
- Roşu, Grigore (1)
- Schröder, Lutz (1)
- Tarlecki, Andrzej (1)
Serial
- Theor. Comput. Sci. (2)
- Artif. Intell. (1)
