A computational framework for conceptual blending (Q1748468): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2017.11.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2774021370
@@ Property / OpenAlex ID: W2774021370 / rank @@
+Normal rank
@@ Property / cites work @@
+Frege, Boolos, and logical objects
@@ Property / cites work: Frege, Boolos, and logical objects / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+CREATIVITY AND COMPUTERS
@@ Property / cites work: CREATIVITY AND COMPUTERS / rank @@
+Normal rank
@@ Property / cites work @@
+Q2892660
@@ Property / cites work: Q2892660 / rank @@
+Normal rank
@@ Property / cites work @@
+Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
+Normal rank
@@ Property / cites work @@
+Approximate postdictive reasoning with answer set programming
+Normal rank
@@ Property / cites work @@
+Approximate Epistemic Planning with Postdiction as Answer-Set Programming
+Normal rank
@@ Property / cites work @@
+ASP, Amalgamation, and the Conceptual Blending Workflow
+Normal rank
@@ Property / cites work @@
+Engineering an Incremental ASP Solver
@@ Property / cites work: Engineering an Incremental ASP Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Productive use of failure in inductive proof
@@ Property / cites work: Productive use of failure in inductive proof / rank @@
+Normal rank
@@ Property / cites work @@
+Conjecture synthesis for inductive theories
@@ Property / cites work: Conjecture synthesis for inductive theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839060
@@ Property / cites work: Q3839060 / rank @@
+Normal rank
@@ Property / cites work @@
+The Distributed Ontology, Modeling and Specification Language – DOL
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Repairing socially aggregated ontologies using axiom weakening
+Normal rank
@@ Property / cites work @@
+Q5578545
@@ Property / cites work: Q5578545 / rank @@
+Normal rank