Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (Q2188772): Difference between revisions

@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Axiom Pinpointing in General Tableaux
@@ Property / cites work: Axiom Pinpointing in General Tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the least common subsumer w.r.t. a background terminology
+Normal rank
@@ Property / cites work @@
+Persuasion in Practical Argument Using Value-based Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
+Normal rank
@@ Property / cites work @@
+ASP, Amalgamation, and the Conceptual Blending Workflow
+Normal rank
@@ Property / cites work @@
+A computational framework for conceptual blending
@@ Property / cites work: A computational framework for conceptual blending / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors
+Normal rank
@@ Property / cites work @@
+Multi-shot ASP solving with clingo
@@ Property / cites work: Multi-shot ASP solving with clingo / rank @@
+Normal rank
@@ Property / cites work @@
+Q5717107
@@ Property / cites work: Q5717107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346205
@@ Property / cites work: Q4346205 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook on Ontologies
@@ Property / cites work: Handbook on Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
+Normal rank
@@ Property / cites work @@
+Completeness and properness of refinement operators in inductive logic programming
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Concept learning in description logics using refinement operators
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+The Distributed Ontology, Modeling and Specification Language – DOL
+Normal rank
@@ Property / cites work @@
+Similarity measures over refinement graphs
@@ Property / cites work: Similarity measures over refinement graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
+Normal rank
@@ Property / cites work @@
+Repairing socially aggregated ontologies using axiom weakening
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank