Complexity of the interpretability logics ILW and ILP.

Published in: Log. J. IGPL (2023)

Keyphrases

inductive logic programming
expressive power
modal logic
decision problems
worst case
rule base
data structure
computational complexity
upper bound
complexity analysis
memory requirements
background knowledge
data sets
multi agent
case study
knowledge base
information systems
machine learning
neural network