On the Configuration of More and Less Expressive Logic Programs

Carmine Dodaro, Marco Maratea, Mauro Vallati

The decoupling between the representation of a certain problem, i.e., its knowledge model, and the reasoning side is one of main strong points of model-based Artificial Intelligenc…