Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results.

Martin Homola Júlia Pukancová Iveta Balintová Janka Boborová

Published in: Description Logics (2022)

Keyphrases

description logics
machine learning
logic programming
theoretical analysis
plan recognition
expert systems
background knowledge
hybrid learning
expressive description logics
logic programs
constraint satisfaction
belief revision
abductive reasoning
causal networks
abductive logic programming