Matching Logic and Lean: The 𝕂 Connection
This project concerns the building on the foundation of its predecessor of the formalization of Matching μ-Logic (μML), whose textual representation is KORE, the current intermediate representation for the 𝕂 language.
Machine Learning Techniques for Computer Numerical Control Machines: Exploratory Phase
The goal of this project is to explore applications of machine learning algorithms aiding computer numeric control machining.
Latent Space Curation through Hybrid Metaheuristics: A Model of Curation, Optimization and Discretization by Affective Computing
The project addresses the complex decision-making process within the algorithmically generated design framework in the field of architecture.
Common Representation for Normative Statements and Research Results
The project aims to develop (1) a common semantic representation of statements found in laws and other norms, and also of statements proposed as laws of nature and other research results; and (2) a search engine, based on a database of such representations, that helps the user find statements relevant to a given case.
Matching Logic and Lean: Foundations
The main goal of this project is to enhance the Matching Logic ecosystem by adding Lean support.