Publications related to Knowledge representation and reasoning

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 ...

2024

Infusing structured knowledge priors in neural models for sample-efficient symbolic reasoning

Mattia Atzeni

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 ...

EPFL2024

An aircraft assembly process formalism and verification method based on semantic modeling and MBSE

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

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 Ltd2024

The Facets of Intangible Heritage in Southern Chinese Martial Arts: Applying a Knowledge-Driven Cultural Contact Detection Approach

Yumeng Hou

Investigating the intangible nature of a cultural domain can take multiple forms, addressing for example the aesthetic, epistemic and social dimensions of its phenomenology. The context of Southern Chinese martial arts is of particular significance as it c ...

2023

PEACOK: Persona Commonsense Knowledge for Consistent and Engaging Narratives

Antoine Bosselut, Beatriz Maria Borges Ribeiro, Silin Gao, Deniz Bayazit, Soyoung Oh

Sustaining coherent and engaging narratives requires dialogue or storytelling agents to understand how the personas of speakers or listeners ground the narrative. Specifically, these agents must infer personas of their listeners to produce statements that ...

Assoc Computational Linguistics-Acl2023

An Ontology-based Engineering system to support aircraft manufacturing system design

Jinzhi Lu, Xiaochen Zheng

During the conceptual design phase of an aircraft manufacturing system, different industrial scenarios need to be evaluated against performance indicators in a collaborative engineering process. Domain experts' knowledge and the motivations for decision-ma ...

ELSEVIER SCI LTD2023

Monotonicity Reasoning in the Age of Neural Foundation Models

Zeming Chen, Qiyue Gao

The recent advance of large language models (LLMs) demonstrates that these large-scale foundation models achieve remarkable capabilities across a wide range of language tasks and domains. The success of the statistical learning approach challenges our unde ...

Springer2023

REFINER: Reasoning Feedback on Intermediate Representations

Boi Faltings, Robert West, Maxime Jean Julien Peyrard, Antoine Bosselut, Beatriz Maria Borges Ribeiro, Debjit Paul, Mahammad Ismayilzada

Language models (LMs) have recently shown remarkable performance on reasoning tasks by explicitly generating intermediate inferences, e.g., chain-of-thought prompting. However, these intermediate inference steps may be in- appropriate deductions from the i ...

2023

Analytical Engines With Context-Rich Processing: Towards Efficient Next-Generation Analytics

Anastasia Ailamaki, Viktor Sanca

As modern data pipelines continue to collect, produce, and store a variety of data formats, extracting and combining value from traditional and context-rich sources such as strings, text, video, audio, and logs becomes a manual process where such formats a ...

2023

Probabilistic methods for neural combinatorial optimization

Nikolaos Karalias

The monumental progress in the development of machine learning models has led to a plethora of applications with transformative effects in engineering and science. This has also turned the attention of the research community towards the pursuit of construc ...

EPFL2023

Blue Brain Nexus: An open, secure, scalable system for knowledge graph management and data-driven science

Henry Markram, Sean Lewis Hill, Samuel Claude Kerrien, Carolina Johanna Elisabeth Lindqvist, Alejandra Garcia Rojas Martinez, Huanxiang Lu, Mohameth François Sy, Anna-Kristin Kaufmann, Jonathan Raël Lurie, Henry Genet, Pierre-Alexandre Fonta, Alexander Désiré Ulbrich, Michaël Fernand Paul Dupont, Silvia Rosario Jimenez Tejeda, Bogdan Roman, Ian Lavriushev, Didac Montero Mendez, Wojciech Adam Wajerowicz, Kenneth William Pirman, Julien Antonin Machon, Dhanesh Neela Mana, Natalia Stafeeva

Modern data-driven science often consists of iterative cycles of data discovery, acquisition, preparation, analysis, model building and validation leading to knowledge discovery as well as dissemination at scale. The unique challenges of building and simul ...

2023

A semi-supervised algorithm for improving the consistency of crowdsourced datasets: The COVID-19 case study on respiratory disorder classification

David Atienza Alonso, Tomas Teijeiro Campo, Lara Orlandic

Background and Objective: Cough audio signal classification is a potentially useful tool in screening for respiratory disorders, such as COVID-19. Since it is dangerous to collect data from patients with contagious diseases, many research teams have turned ...

2023

Language Model Decoding as Likelihood–Utility Alignment

Boi Faltings, Robert West, Maxime Jean Julien Peyrard, Martin Josifoski, Valentin Hartmann, Debjit Paul, Jiheng Wei, Frano Rajic

A critical component of a successful language generation pipeline is the decoding algorithm. However, the general principles that should guide the choice of a decoding algorithm re- main unclear. Previous works only compare decoding algorithms in narrow sc ...

Assoc Computational Linguistics-Acl2023

Unlocking a multimodal archive of Southern Chinese martial arts through embodied cues

Sarah Irene Brutton Kenderdine, Yumeng Hou, Fadel Mamar Seydou

Purpose: Despite being an authentic carrier of various cultural practices, the human body is often underutilised to access the knowledge of human body. Digital inventions today have created new avenues to open up cultural data resources, yet mainly as appa ...

2023

OccuVAE: Integrating unsupervised occupancy inference in data-driven energy modeling for human-centric operation

Andrew James Sonta, Yufei Zhang

Data-driven building energy modeling is an emerging solution to facilitate the implementation of energy-flexible buildings. However, its black-box nature hinders interpretation, including with respect to human-building interaction. This drawback may bring ...

Association for Computing Machinery2023

Technology Mapping Using Multi-output Library Cells

Giovanni De Micheli, Alessandro Tempia Calvino

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. Even if technology libraries contain multi-output cells, state-of-the-art techniques fully exploit single-output cells only. Mul ...

2023

Finding Paths for Explainable MOOC Recommendation: A Learner Perspective

Tatjana Nazaretsky, Tanja Christina Käser Jacober, Jibril Albachir Frej

The increasing availability of Massive Open Online Courses (MOOCs) has created a necessity for personalized course recommendation systems. These systems often combine neural networks with Knowledge Graphs (KGs) to achieve richer representations of learners ...

2023

A Data-Knowledge Hybrid Driven Method for Gas Turbine Gas Path Diagnosis

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng, Jinwei Chen

Gas path fault diagnosis of a gas turbine is a complex task involving field data analysis and knowledge-based reasoning. In this paper, a data-knowledge hybrid driven method for gas path fault diagnosis is proposed by integrating a physical model-based gas ...

MDPI2022

Cognitive twin construction for system of systems operation based on semantic integration and high-level architecture

Dimitrios Kyritsis, Jinzhi Lu, Han Li

With the increasing complexity of engineered systems, digital twins (DTs) have been widely used to support integrated modeling, simulation, and decision-making of the system of systems (SoS). However, when integrating DTs of each constituent system, it is ...

IOS PRESS2022

GenIE: Generative Information Extraction

Robert West, Maxime Jean Julien Peyrard, Martin Josifoski

Structured and grounded representation of text is typically formalized by closed information extraction, the problem of extracting an exhaustive set of (subject, relation, object) triplets that are consistent with a predefined set of entities and relations ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2022