• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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