C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Algebraic Semantics for the Logic of Multiple-Source Approximation Systems.
Md. Aquil Khan
Mohua 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