DLVSystem · reasoning engine · since 2005
The AI you can read.
We give machines the ability to reason — and to explain why. From data to decision, every step is verifiable. Not a black box.
explore
University of Calabria spin-off · ISO 9001 · 14001 · UNI/PdR 125
— 01 / 03
How DLV reasons
From real data
to decision.
The DLV difference
Most AI guesses.
Ours deduces.
DLV models the problem with declarative logic (Answer Set Programming) and derives verifiable solutions. Every conclusion has an explanation: you always know why.
- KR&RDeclarative reasoning over Big Data, IoT and streams
- ML / DLPredictive models and computer vision integrated with logic
- ExplainableJustifiable, compliant results — not opaque probabilities
News
DLVSystem Brings Artificial Intelligence to the Cloud: the Innovative IOS4OS Project Kicks Off
News
Recruiting Day Unical: DLVSystem meets the talents of Artificial Intelligence
News
DLVSystem at the “AI in Action” Event: Innovation and Talent at the University of Calabria
News
DLVSystem Contributes to Innovation in the Pre-Hospital Management of Stroke with the STROKE 5.0 Project
News
DLVSystem Achieves Gender Equality Certification
They chose us
We're hiring talent
Build the AI
that reasons.
An international research group — Unical, Oxford, TU Wien. Theses, internships and industrial PhDs in Answer Set Programming, Machine and Deep Learning.
Join us