Rules, Causality and Constraints. Model-Based Reasoning and Structural Knowledge Discovery

Due to the availability of biomedical data and many biomedical databases, it has become now feasible to build biomedical knowledge graphs and perform reasoning over such

One of the most critical components of an e-commerce (e- com) marketplace is its search functionality. The goal of an e-commerce search engine is to help the buyers to find and

Spatio-temporal modeling is a very heterogeneous domain whose user needs, data formats and structures are relatively varied. Therefore identifying generic characteristics for

Secondly, a capability discovery protocol could be used by interactive theorem provers that allow discharging of proof tasks using automated reasoning systems.. For example,

At the close of this 'Aachen Congress on the Preven- tion of Transfrontier Pollution', the 200 or so repre- sentatives of local and regional authorities in Europe, and of

Twelve combinations have been defined (4 retrieval.. Target Field Target Field + solution Validated Case Case Base Distance Matrice Rules Retrieval 4 procedures Target

In this paper, we propose a study on knowledge discovery to assist avionics mainte- nance via identifying meaningful Description Logic based complex concepts, called situation

However, symbolic ML models are more often used in pattern mining and in domains where the learning model should be understandable by human experts, or be related to domain