A Small-Step Semantics for Janus.

Pietro Lami Ivan Lanese Jean-Bernard Stefani

Published in: RC (2024)

Keyphrases

logic programming
small number
machine learning
computer vision
preprocessing
databases
artificial intelligence
decision making
decision trees
description logics
semantic information
preprocessing step
formal semantics
logical language