Logic explained networks

G Ciravegna, P Barbiero, F Giannini, M Gori, P Lió… - Artificial Intelligence, 2023 - Elsevier
The large and still increasing popularity of deep learning clashes with a major limit of neural
network architectures, that consists in their lack of capability in providing human …

[HTML][HTML] Synergies between machine learning and reasoning-An introduction by the Kay R. Amel group

I Baaj, Z Bouraoui, A Cornuéjols, T Denoeux… - International Journal of …, 2024 - Elsevier
This paper proposes a tentative and original survey of meeting points between Knowledge
Representation and Reasoning (KRR) and Machine Learning (ML), two areas which have …

Learning constraints from examples

L De Raedt, A Passerini, S Teso - … of the AAAI conference on artificial …, 2018 - ojs.aaai.org
While constraints are ubiquitous in artificial intelligence and constraints are also commonly
used in machine learning and data mining, the problem of learning constraints from …

A constraint-based approach to learning and explanation

G Ciravegna, F Giannini, S Melacci, M Maggini… - Proceedings of the AAAI …, 2020 - aaai.org
In the last few years we have seen a remarkable progress from the cultivation of the idea of
expressing domain knowledge by the mathematical notion of constraint. However, the …

Learning scheduling models from event data

A Senderovich, KEC Booth, JC Beck - Proceedings of the International …, 2019 - aaai.org
A significant challenge in declarative approaches to scheduling is the creation of a model:
the set of resources and their capacities and the types of activities and their temporal and …

Learning max-csps via active constraint acquisition

DC Tsouros, K Stergiou - … on Principles and Practice of Constraint …, 2021 - drops.dagstuhl.de
Constraint acquisition can assist non-expert users to model their problems as constraint
networks. In active constraint acquisition, this is achieved through an interaction between the …

Mind the gap!: Learning missing constraints from annotated conceptual model simulations

M Fumagalli, TP Sales, G Guizzardi - … of Enterprise Modeling: 14th IFIP WG …, 2021 - Springer
Conceptual modeling plays a fundamental role to capture information about complex
business domains (eg, finance, healthcare) and enables semantic interoperability. To fulfill …

Conceptual model visual simulation and the inductive learning of missing domain constraints

M Fumagalli, TP Sales, FA Baião… - Data & Knowledge …, 2022 - Elsevier
Conceptual modeling plays a fundamental role in information systems engineering, and in
data and systems interoperability. To play their role as instruments for domain modeling …

[HTML][HTML] Predictive Machine Learning of Objective Boundaries for Solving COPs

H Spieker, A Gotlieb - AI, 2021 - mdpi.com
Solving Constraint Optimization Problems (COPs) can be dramatically simplified by
boundary estimation, that is providing tight boundaries of cost functions. By feeding a …

Modelling industrial manufacturing problem using ILP solver: Case of production analysis

K Bousmar, F Monteiro, S Dellagi… - 2017 29th …, 2017 - ieeexplore.ieee.org
This paper presents the industrial manufacturing problem, by using the ILP (Integer Linear
Programming) method, which will help us to get closer to the SAT (SATisfiability) of …