2178 search results - page 207 / 436 » Inferring complex plans |
106
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
117
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a polynomial-time algorithm which at the extra cost of a factor O(k) (k the number of variables) generalizes inter-procedural copy constant propagation. Our algorithm in...
140
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
141
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
126
click to vote
AAAI
1997
15 years 5 months ago
1997
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...