Sciweavers

1634 search results - page 62 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
14 years 2 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor
MEMICS
2010
13 years 4 months ago
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
A topological flexibility of implicit active contours is of great benefit, since it allows simultaneous detection of several objects without any a priori knowledge about their num...
Martin Maska, Pavel Matula, Michal Kozubek
ESWS
2007
Springer
14 years 4 months ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...
FLAIRS
2007
14 years 13 days ago
Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
Bernhard Heinemann
IJCAI
1989
13 years 11 months ago
Time for Action: On the Relation Between Time, Knowledge and Action
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
Yoav Shoham