Login / Signup

Differential Calculus with Imprecise Input and Its Logical Framework.

Abbas EdalatMehrdad Maleki
Published in: FoSSaCS (2018)
Keyphrases
  • logical framework
  • inference rules
  • reasoning tasks
  • belief revision
  • linear logic
  • possibilistic logic
  • normative systems
  • higher order logic
  • special case
  • epistemic logic