ENGLISH TOPCONTENT

Deliverables of the CoInvent Project:

• D1.1 - Specification of the Representation Formalism and of Constraints and Requirements of Reasoning
• D1.2 - Documentation of Examples for Working Domains
• D2.1 - Reasoning with Amalgams
• D2.2 - Concept Discovery in Rich Backgrounds: Values, Argumentation, and Coherence in
  Evaluating Concept Invention
• D3.1 - Core KR Infrastructure and Concept Repository
• D3.2 - Extended Heterogeneous KR&R Framework for Concept Invention
• D3.3 - Resolving Opposition and Contradiction for Concept Invention
• D4.1 - Examples of Social Creativity
• D4.2 - Formal Theory of Social Creativity
• D5.1 - Computational Account of Serendipity
• D5.2 - Evaluation Criteria for Automated Serendipity
• D5.3 - Theory, methodology, system, and evaluation criteria
• D6.1 - Survey of Conceptual Blending in Mathematics and Formal Reasoning
• D6.2 - Mathematical blends in the heterogeneous KR&R framework
• D6.3 - Library of examples in the heterogeneous KR&R system and evaluation of the mathematics case
• D7.1 - Harmonic Training Dataset
• D7.2 - Probabilistic Harmonic Induction Model and Idiom-Indipendent Harmonic Learning
• D7.3 - Concept invention in melodic harmonisation and evaluation of melodic harmonisation assistant
• D8.1 - Initial Specification of the System
• D8.2 - Core Concept Innovation Engine
• D8.3 - Experimentation Coding Camp
• D8.4 - System Extension Exhibiting Serendipitous Behaviour
• D8.5 - COINVENT system implementation and workflows
• D9.1 - Project Web Server
• D9.2 - Dissemination and Impact Plan (Restricted access only.)
• D9.3 - Project Workshop
• D9.4 - Public Workshop (in coordination with PROSECCO)
• D9.5 - Public Seminar or Conference
• D10.1 - Project Report Period 1 (Restricted access only.)
• D10.2 - Project Report Period 2 (Restricted access only.)