981 search results - page 12 / 197 » Negation in Spatial Reasoning |
GIS
2010
ACM
13 years 6 months ago
2010
ACM
ICLP
2003
Springer
14 years 18 days ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
ICCS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper, we explore the expressivity of default CG rules (a CGoriented subset of Reiter’s default logics) through two applications. In the first one, we show tha...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Traditional Non-Negative Matrix Factorization (NMF) [19] is a successful algorithm for decomposing datasets into basis function that have reasonable interpretation. One problem of...
FSTTCS
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...