Managing Deceitful Arguments with X-Logics.

Geoffroy Aubry Vincent Risch

Published in: ICTAI (2006)

Keyphrases

proof procedures
expressive power
inference rules
modal logic
logic based argumentation
search engine
propositional calculus
databases
database systems
first order logic
nonmonotonic logics
mission critical
argumentation systems
epistemic logic
inheritance reasoning