Locality Results for Certain Extensions of Theories with Bridging Functions.

Viorica Sofronie-Stokkermans

Published in: CADE (2009)

Keyphrases

databases
neural network
artificial intelligence
database
real time
genetic algorithm
data structure
expert systems
data model
query language
efficient implementation