-
Experimenting ASPen on the Music dataset
It has been recently proposed ASPen: an Answer Set Programming (ASP) encoding for LACE, which is a novel declarative approach to Collective Entity Resolution in the classical... -
Experimenting ASPen on the Cora dataset
It has been recently proposed ASPen: an Answer Set Programming (ASP) encoding for LACE, which is a novel declarative approach to Collective Entity Resolution in the classical... -
Private HAITI
The project constitutes one of the Use Cases developed as part of the FAIR project. The HAITI project, Human-centered Advanced Industrial Training Intelligence, aims to... -
ASP Chef
ASP Chef is a simple, intuitive web app for analysing answer sets without having to deal with complex tools or programming languages... well, excluding ASP! ASP Chef is... -
Neural Networks for Sparse Grid-Based Discontinuity Detectors
In this repository, we publish the codes necessary to load and use the NN-based discontinuity detectors, presented for the first time in the preprint: Graph-Informed Neural... -
Private Toward eXplainabile Data-Driven Control (XDDC): The Property-Preserving Frame...
As Artificial Intelligence (AI) techniques continue to advance, the need for explainability becomes increasingly crucial, especially in sensitive or safety-critical domains.... -
CPG: Constrained Policy Gradient
CPG is a reinforcement learning algorithm thought for solving continuous control problems with user defined or structural constraints. CPG has two versions, C-PGPE and C-PGAE,... -
Private DNAtools
Differential network analysis (DINA) is dedicatedto exploring these rewirings within gene and protein networks. The dataset contain Differential networks generated by using... -
Australian Internet Observatory
National research infrastructure for collecting and analysing digital platforms and social data. The Australian Internet Observatory is a new, four-year national research... -
Private LoRaWAN water meter dataset
The datasets represent 19 months of operational data collected between May 2019 and January 2021, originating from a LoRaWAN-based water meter deployment. These datasets... -
Private ML-Link
ML-Link is a novel neural-network-based learning framework for link prediction on (attributed) multilayer networks, whose key idea is to combine (i) pairwise similarities of... -
Private Meta-learning for model-reference data-driven control
One-shot direct model-reference control design techniques, like the Virtual Reference Feedback Tuning (VRFT) approach, offer time-saving solutions for calibrating... -
Experimenting ASPen on the IMDB dataset
It has been recently proposed ASPen: an Answer Set Programming (ASP) encoding for LACE, which is a novel declarative approach to Collective Entity Resolution in the classical... -
AI for Industry 5.0
This is a Use Case developed in the context of the FAIR project. The overall objective of the project is to create a collaborative ecosystem to support a manufacturing... -
Private ASPen: ASP-based Implementation for Collective Entity Resolution
This is an Answer Set Programming (ASP) encoding for LACE, which is a novel declarative approach to Collective Entity Resolution in the classical relational database setting.... -
The ProASP System
ProASP stands as the first compilation-based ASP solver specifically designed to efficiently evaluate ASP programs. Its evaluation techniques address the well-known grounding... -
Experimenting ASPen on the DBLP dataset
It has been recently proposed ASPen: an Answer Set Programming (ASP) encoding for LACE, which is a novel declarative approach to Collective Entity Resolution in the classical... -
Fuzzy Logic Visual Network (FLVN): A neuro-symbolic approach for visual featu...
Neuro-symbolic integration aims at harnessing the power of symbolic knowledge representation combined with the learning capabilities of deep neural networks. In particular,... -
Private ltlf2asp
Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to reason about finite sequences of events. In LTLf, the (bounded) satisfiability problem refers to whether... -
Private Cybersecurity NER BERT-base-cased model
This method includes a Python script and files of a BERT-base-cased model fine-tuned on our Cybersecurity NER dataset. The method requires as input a list of sentences that...
