Sciweavers

1634 search results - page 94 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
119
Voted
KI
2005
Springer
15 years 6 months ago
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
Marco Ragni, Stefan Wölfl
116
Voted
CORR
2006
Springer
104views Education» more  CORR 2006»
15 years 24 days ago
Modeling Adversaries in a Logic for Security Protocol Analysis
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
Joseph Y. Halpern, Riccardo Pucella
125
Voted
SEMWEB
2009
Springer
15 years 7 months ago
Semantically Enabled Temporal Reasoning in a Virtual Observatory
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
Patrick West, Eric Rozell, Stephan Zednik, Peter F...
114
Voted
KER
2007
90views more  KER 2007»
15 years 19 days ago
PLTOOL: A knowledge engineering tool for planning and learning
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...
Susana Fernández, Daniel Borrajo, Raquel Fu...
EWCBR
1998
Springer
15 years 5 months ago
Similarity Measures for Object-Oriented Case Representations
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
Ralph Bergmann, Armin Stahl