ASP, Amalgamation, and the Conceptual Blending Workflow

DOI10.1007/978-3-319-23264-5_26zbMath1467.68165OpenAlexW2165257644MaRDI QIDQ3449215

Ewen Maclean, Manfred Eppe, Enric Plaza, Marco Schorlemmer, Oliver Kutz, Roberto Confalonieri

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_26

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (4)

Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) ⋮ Theory blending: extended algorithmic aspects and examples ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ A computational framework for conceptual blending

Uses Software

• Python

Cites Work

• Unnamed Item
• Unnamed Item
• Conjecture synthesis for inductive theories
• Frege, Boolos, and logical objects
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Productive use of failure in inductive proof

This page was built for publication: ASP, Amalgamation, and the Conceptual Blending Workflow