981 search results - page 5 / 197 » Negation in Spatial Reasoning |
137
Voted
LPAR
2010
Springer
15 years 1 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...
131
Voted
AAAI
2006
15 years 5 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...
109
Voted
ASP
2005
Springer
15 years 9 months 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 ...
165
Voted
IJAR
2006
15 years 3 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 ...
105
Voted
ICAI
2003
15 years 5 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...