Intricate Axioms as Interaction Axioms.

Guillaume Aucher

Published in: Stud Logica (2015)

Keyphrases

knowledge base
first order logic
neural network
image segmentation
human computer interaction
data sets
real world
machine learning
web services
case study
multiresolution
mobile robot
human interaction
interaction design
complete axiomatization