On the decidability of the real field with a generic power function.

Gareth Jones Tamara Servi

Published in: J. Symb. Log. (2011)

Keyphrases

real world
artificial intelligence
power consumption
description logics
machine learning
domain specific
real life
generic model
neural network
power system
mobile robot
data model
data structure
high level
case study
computer vision
data mining