Browsing Traballos académicos (FIC) by Acedemic Degree "Máster Universitario en Intelixencia Artificial"
Now showing items 1-1 of 1
-
Deolingo: un sistema de resolución de lógica deóntica basado en Answer Set Programming
(2024-06)[Abstract]: This work introduces Deolingo, a tool for reasoning about Deontic Logic based on Answer Set Programming (ASP). The deontic logic solver is built upon Clingo as the ASP solver, and is provided as a Python library, ...