Login / Signup

A Logical Framework to Deal with Variability.

Patrizia AsirelliMaurice H. ter BeekAlessandro FantechiStefania Gnesi
Published in: IFM (2010)
Keyphrases
  • logical framework
  • belief revision
  • inference rules
  • reasoning tasks
  • possibilistic logic
  • epistemic logic
  • normative systems
  • linear logic
  • higher order logic
  • relational databases
  • automated reasoning