Theory blending: extended algorithmic aspects and examples
From MaRDI portal
Publication:2398271
DOI10.1007/s10472-016-9505-yzbMath1409.68281OpenAlexW2342281728MaRDI QIDQ2398271
Publication date: 15 August 2017
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://openaccess.city.ac.uk/id/eprint/18663/1/AlgoAspectsAMAI.pdf
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Methodology of mathematics (00A35)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- On the complexity of specification morphisms
- Theory blending: extended algorithmic aspects and examples
- ASP, Amalgamation, and the Conceptual Blending Workflow
- Heuristic-Driven Theory Projection: An Overview
- Formal Methods at the Crossroads. From Panacea to Foundational Support
This page was built for publication: Theory blending: extended algorithmic aspects and examples
