IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012

Published in: IWIL@LPAR (2013)

Keyphrases

expert systems
efficient implementation
expressive power
database
inference rules
databases
machine learning
information retrieval
case study
database systems
modal logic
implementation details