We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schur...
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
Alexander Artikis, Georgios Paliouras, Franç...