2214 search results - page 64 / 443 » Complexity of Reasoning |
CSL
2005
Springer
15 years 8 months ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...
117
click to vote
DLOG
2008
15 years 5 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
123
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both furthe...
122
click to vote
AAMAS
2005
Springer
15 years 2 months ago
2005
Springer
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both further...
142
click to vote
ASP
2001
Springer
15 years 7 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...