3970 search results - page 674 / 794 » A Logic For Causal Reasoning |
CASCON
2004
13 years 11 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
WOODPECKER
2001
13 years 11 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
AAAI
2000
13 years 11 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
ICMAS
1998
13 years 11 months ago
1998
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
IJCAI
1997
13 years 11 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...