iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/conf/kr/RenzL08.xml
Jochen Renz Jason Jingshi Li Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. 715-723 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#RenzL08 http://www.aaai.org/Library/KR/2008/kr08-070.php