981 search results - page 65 / 197 » Negation in Spatial Reasoning |
LPAR
1994
Springer
14 years 2 months ago
1994
Springer
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potent...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes. The approach has been implemented by combining an existing Jena-based archite...
DLOG
2010
13 years 8 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
SIAMCOMP
2012
12 years 9 days ago
2012
d Abstract) Sanjeev Arora∗ L´aszl´o Lov´asz† Ilan Newman‡ Yuval Rabani§ Yuri Rabinovich¶ Santosh Vempala Motivated by applications in combinatorial optimization, we ini...
GIS
2006
ACM
13 years 10 months ago
2006
ACM
This paper tackles a major privacy threat in current location-based services where users have to report their exact locations to the database server in order to obtain their desir...