7988 search results - page 1290 / 1598 » A Useful Undecidable Theory |
170
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
The use of the term ecosystem in the context of extensible software platforms and third-party developers or user communities has made us ponder about the similarities between soft...
196
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
173
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
163
Voted
ACS
2007
15 years 6 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
176
click to vote
ADCM
2008
15 years 6 months ago
2008
Learning function relations or understanding structures of data lying in manifolds embedded in huge dimensional Euclidean spaces is an important topic in learning theory. In this ...