Elimination of Negation in a Logical Framework.

Alberto Momigliano

Published in: CSL (2000)

Keyphrases

logical framework
logic programming
reasoning tasks
inference rules
logic programs
belief revision
possibilistic logic
linear logic
higher order logic
epistemic logic
normative systems
case based reasoning
argumentation frameworks
coalition logic
machine learning
model checking
knowledge base