Login / Signup
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract).
Serdar Erbatur
Deepak Kapur
Andrew M. Marshall
Catherine Meadows
Paliath Narendran
Christophe Ringeissen
Published in:
UNIF (2014)
Keyphrases
</>
extended abstract
equational theories
image processing
case study
real world
artificial intelligence
web services
search algorithm
pairwise
collaborative learning
computational model
theoretical framework
cognitive psychology