22 search results - page 5 / 5 » A study of accrual of arguments, with applications to eviden... |
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
ICALP
2009
Springer
14 years 4 months ago
2009
Springer
Correlation Clustering was defined by Bansal, Blum, and Chawla as the problem of clustering a set of elements based on a possibly inconsistent binary similarity function between e...