EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers.

Carsten Lutz Robert Piro Frank Wolter

Published in: Description Logics (2010)

Keyphrases

higher order
description logics
logic programs
numerical simulations
deductive databases
concept learning
simulation environment
databases
machine learning
artificial intelligence
background knowledge
mathematical model
simulation study
nonmonotonic reasoning
simulation models
hessian matrix