Extensible Hierarchical Tactic Construction in a Logical Framework.

Jason Hickey Aleksey Nogin

Published in: TPHOLs (2004)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
higher order logic
normative systems
data model
epistemic logic
possibilistic logic
artificial intelligence
multi agent
multi agent systems
description logics
coalition logic