Sciweavers

654 search results - page 9 / 131
» Graph-based Knowledge Representation and Reasoning
Sort
View
IJPRAI
2000
108views more  IJPRAI 2000»
13 years 8 months ago
Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning
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...
OWLED
2007
13 years 10 months ago
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data
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...
Rolf Grütter, Bettina Bauer-Messmer
ICLP
2007
Springer
14 years 3 months ago
Logic Programming for Knowledge Representation
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
Miroslaw Truszczynski
SAC
2009
ACM
14 years 1 months ago
An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
Bernardo Gonçalves, Veruska Zamborlini, Gia...
DEBS
2010
ACM
14 years 29 days ago
Logic-based representation, reasoning and machine learning for event recognition
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ç...