Collecting Semantics under Predicate Abstraction in the K Framework.

Irina Mariuca Asavoae Mihail Asavoae

Published in: WRLA (2010)

Keyphrases

main contribution
theoretical framework
artificial intelligence
logical framework
machine learning
conceptual framework
database
real time
genetic algorithm
feature selection
case study
data collection
first order logic