Search Sciweavers | Sciweavers

981 search results - page 11 / 197

» Negation in Spatial Reasoning

click to vote

KR
1994
Springer

97views Automated Reasoning» more KR 1994»

REVISE: An Extended Logic Programming System for Revising Knowledge Bases

13 years 11 months ago

Download ssdi.di.fct.unl.pt

In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...

Carlos Viegas Damásio, Wolfgang Nejdl, Lu&i...

claim paper

Read More »

click to vote

KI
2010
Springer

167views Artificial Intelligence» more KI 2010»

Spatial Cognition: Reasoning, Action, Interaction

13 years 5 months ago

Download cindy.informatik.uni-bremen.de

ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...

Christian Freksa, Holger Schultheis, Kerstin Schil...

claim paper

Read More »

click to vote

GIS
2000
ACM

157views Automated Reasoning» more GIS 2000»

Clone join and shadow join: two parallel spatial join algorithms

13 years 11 months ago

Download www.eecs.umich.edu

Jignesh M. Patel, David J. DeWitt

claim paper

Read More »