4595 search results - page 57 / 919 » Reasoning about Plans |
109
click to vote
DEON
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question
162
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
144
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
140
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
166
Voted
IVC
2008
15 years 4 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...