Login / Signup

An Algebraic Semantics for the Logic of Multiple-Source Approximation Systems.

Md. Aquil KhanMohua Banerjee
Published in: RSFDGrC (2009)
Keyphrases
  • multiple sources
  • logic programming
  • proof theory
  • epistemic logic
  • asynchronous circuits
  • rewrite systems
  • training data
  • active learning
  • temporal logic
  • logical framework
  • operational semantics