2430 search results - page 300 / 486 » Computing Tutte Polynomials |
114
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
135
click to vote
FLAIRS
2008
15 years 6 months ago
2008
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
113
click to vote
WSC
2007
15 years 6 months ago
2007
We consider the problem of selecting the best system using simulation-based ordinal optimization. This problem has been studied mostly in the context of light-tailed distributions...
105
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present ARF, our initial effort at solving taskallocation problems where cooperative agents need to perform tasks simultaneously. An example is multi-agent routi...
180
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...