1004 search results - page 168 / 201 » Safe Constraint Queries |
AAAI
2008
13 years 11 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
IJCAI
2007
13 years 10 months ago
2007
In this paper we propose a framework for decentralized model-based diagnosis of complex systems modeled with qualitative constraints and whose models are distributed among their s...
DAGSTUHL
2004
13 years 10 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
DBSEC
2006
13 years 10 months ago
2006
We demonstrate how access control models and policies can be represented by using term rewriting systems, and how rewriting may be used for evaluating access requests and for provi...
ECIR
2003
Springer
13 years 10 months ago
2003
Springer
This paper explores the use of texts that are related to an image collection, also known as collateral texts, for building thesauri in specialist domains to aid in image retrieval....