A Rule-based Approach to the Decidability of Safety of ABACα.

Mircea Marin Temur Kutsia Besik Dundua

Published in: SACMAT (2019)

Keyphrases

description logics
query answering
neural network
artificial intelligence
decision procedures
civil aviation
decision trees
multi agent
data exchange