15754 search results - page 2946 / 3151 » Programs are Knowledge Bases |
180
click to vote
ARGMAS
2007
Springer
15 years 9 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...
140
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
133
click to vote
CONEXT
2007
ACM
15 years 9 months ago
2007
ACM
Data-ferrying disconnection-tolerant networks allow remote rural areas to access the Internet at very low cost, making them viable alternatives to more expensive access technologi...
140
click to vote
CONEXT
2007
ACM
15 years 9 months ago
2007
ACM
Distributed storage systems provide data availability by means of redundancy. To assure a given level of availability in case of node failures, new redundant fragments need to be ...
152
click to vote
COMPGEOM
2010
ACM
15 years 9 months ago
2010
ACM
We give a provably correct algorithm to reconstruct a kdimensional manifold embedded in d-dimensional Euclidean space. Input to our algorithm is a point sample coming from an unkn...