2214 search results - page 229 / 443 » Complexity of Reasoning |
156
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
150
click to vote
CSL
2003
Springer
15 years 9 months ago
2003
Springer
For a fixed countable homogeneous relational structure Γ we study the computational problem whether a given finite structure of the same signature homomorphically maps to Γ. T...
120
click to vote
DBPL
2003
Springer
15 years 9 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
118
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
While AGM belief revision identifies belief states with sets of formulas, proposals for iterated revision are usually based on more complex belief states. In this paper we investi...
115
Voted
ICES
2003
Springer
15 years 9 months ago
2003
Springer
In this article, we introduce the approach to the realization of ontogenetic development and fault tolerance that will be implemented in the POEtic tissue, a novel reconfigurable ...