981 search results - page 5 / 197 » Negation in Spatial Reasoning |
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
AAAI
2006
13 years 8 months ago
2006
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
ASP
2005
Springer
14 years 28 days ago
2005
Springer
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...
IJAR
2006
13 years 7 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
ICAI
2003
13 years 8 months ago
2003
— In this paper we describe ASPARC, a system for independent formation of an agent’s specific set of grounded primitive spatial concepts. ASPARC is intended to demonstrate the...