On Decidability Within the Arithmetic of Addition and Divisibility.

Marius Bozga Radu Iosif

Published in: FoSSaCS (2005)

Keyphrases

description logics
database
information retrieval
decision making
real time
data mining
multi agent systems
preprocessing
lower bound
model checking