972 search results - page 147 / 195 » Reasoning with Conditional Time-Intervals |
138
Voted
FOIKS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
120
Voted
AAAI
2008
15 years 5 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
111
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
128
Voted
COLT
2008
Springer
15 years 4 months ago
2008
Springer
Clustering Stability methods are a family of widely used model selection techniques applied in data clustering. Their unifying theme is that an appropriate model should result in ...
142
Voted
IESA
2007
15 years 4 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...