Sciweavers

1778 search results - page 72 / 356
» Building a Knowledge Base: An Example
Sort
View
KI
2007
Springer
15 years 6 months ago
How to Handle Incomplete Knowledge Concerning Moving Objects
In this paper, we present a way of how to handle incomplete knowledge concerning moving objects. Our approach is based on the basic Qualitative Trajectory Calculus (QTCB), which is...
Nico Van de Weghe, Peter Bogaert, Anthony G. Cohn,...
88
Voted
PREMI
2005
Springer
15 years 6 months ago
Eliciting Domain Knowledge in Handwritten Digit Recognition
Pattern recognition methods for complex structured objects such as handwritten characters often have to deal with vast search spaces. Developed techniques, despite significant adv...
Tuan Trung Nguyen
DLOG
2007
15 years 2 months ago
Exploiting Description Logic Reasoners in Inductive Logic
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
Francesca A. Lisi
114
Voted
ATAL
2005
Springer
15 years 6 months ago
Bounded model checking for knowledge and real time
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
JSS
2006
118views more  JSS 2006»
15 years 17 days ago
Assessment of eco-security in the Knowledge Grid e-science environment
Ecological security is an important basis of the entire human security system, the cornerstone for human survival. Knowing the status of ecological security is crucial for making ...
Xiaoqing Shi, Jingzhu Zhao, Ouyang Zhiyun