Towards Meta-Reasoning in the Concurrent Logical Framework CLF.

Iliano Cervesato Jorge Luis Sacchini

Published in: EXPRESS/SOS (2013)

Keyphrases

logical framework
meta reasoning
inference rules
reasoning tasks
belief revision
control knowledge
case based planning
domain knowledge
multi agent
knowledge representation
general purpose
heuristic search
domain independent
open systems