Category
Knowledge representation and reasoning
Related publications (505)
Ontology-based Knowledge Representation for Traditional Martial Arts
Sarah Irene Brutton Kenderdine, Yumeng Hou
Traditional martial arts are treasures of humanity's knowledge and critical carriers of sociocultural memories throughout history. However, such treasured practices have encountered various challenges in knowledge transmission and now feature many entries ...
2024An aircraft assembly process formalism and verification method based on semantic modeling and MBSE
The aircraft assembly system is highly complex involving different stakeholders from multiple domains. The design of such a system requires comprehensive consideration of various industrial scenarios aiming to optimize key performance indicators. Tradition ...
Elsevier Sci Ltd2024A semantic model-based systems engineering approach for assessing the operational performance of metal forming process
Metal Forming is a basic and essential industrial process to provide materials for constructing complex products. To design an efficient metal forming process, the functional requirements and operational performance are two important aspects to be consider ...
Pergamon-Elsevier Science Ltd2024Infusing structured knowledge priors in neural models for sample-efficient symbolic reasoning
The ability to reason, plan and solve highly abstract problems is a hallmark of human intelligence. Recent advancements in artificial intelligence, propelled by deep neural networks, have revolutionized disciplines like computer vision and natural language ...
EPFL2024Quartiers rhodaniens en transition
Over the course of history, the relationship between cities and their waters has shown different gradients of interweaving, marked by cycles of bonding and distancing. Following a period of complete neglect of urban watercourses, the versatile, multifacete ...
EPFL2024Stripping the Swiss discount curve using kernel ridge regression
We analyze and implement the kernel ridge regression (KR) method developed in Filipovic et al. (Stripping the discount curve-a robust machine learning approach. Swiss Finance Institute Research Paper No. 22-24. SSRN. https://ssrn.com/abstract=4058150, 2022 ...
Springer Heidelberg2024Orthologic with Axioms
We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having po ...
KID-PPG: Knowledge Informed Deep Learning for Extracting Heart Rate from a Smartwatch
David Atienza Alonso, José Angel Miranda Calero, Jonathan Dan, Christodoulos Kechris
Accurate extraction of heart rate from photoplethysmography (PPG) signals remains challenging due to motion artifacts and signal degradation. Although deep learning methods trained as a data-driven inference problem offer promising solutions, they often un ...
2024Incorporating Projective Geometry into Deep Learning
In this thesis we explore the applications of projective geometry, a mathematical theory of the relation between 3D scenes and their 2D images, in modern learning-based computer vision systems. This is an interesting research question which contradicts the ...
EPFL2024