2620 search results - page 161 / 524 » Qualities in Possible Worlds |
174
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
160
Voted
USM
2000
15 years 9 months ago
2000
In the real world there seem to be essential differences between shops, tourist offices, city halls, theatres and museums. However, when we try to design virtual environments allow...
144
Voted
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
185
click to vote
PAKDD
2010
ACM
15 years 8 months ago
2010
ACM
Mining frequent itemsets from transactional datasets is a well known problem with good algorithmic solutions. In the case of uncertain data, however, several new techniques have be...
145
click to vote
ECTEL
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Virtual training systems are increasingly used for the training of complex, dynamic tasks. To give trainees the opportunity to train autonomously, intelligent agents are ...