Extending Forgetting-Based Abduction Using Nominals.

Warren Del-Pinto Renate A. Schmidt

Published in: FroCos (2019)

Keyphrases

description logics
expressive description logics
incremental learning
background knowledge
real world
causal networks
database
abductive reasoning
artificial intelligence
knowledge base
search algorithm
computational complexity
logic programming
integrity constraints
plan recognition