NACRE - A Nogood And Clause Reasoning Engine.

Gael Glorian Jean-Marie Lagniez Christophe Lecoutre

Published in: LPAR (2020)

Keyphrases

reasoning engine
knowledge base
global constraints
search space
ontology reasoning
branch and bound
bdi agents
horn clauses
logic programs
refinement operators
learning algorithm
neural network
case study
decision trees
artificial intelligence
genetic algorithm
abstract interpretation
machine learning