2694 search results - page 108 / 539 » A Description Logic of Change |
AGP
1994
IEEE
14 years 1 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
LILOG
1989
14 years 1 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
MKWI
2008
13 years 10 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We propose a posture invariant surface descriptor for triangular meshes. Using intrinsic geometry, the surface is first transformed into a representation that is independent of t...
LREC
2008
13 years 10 months ago
2008
Many of the beliefs that one uses to reason about everyday entities and events are neither strictly true or even logically consistent. Rather, people appear to rely on a large bod...