382 search results - page 38 / 77 » Proof Theory for Distributed Knowledge |
112
Voted
SP
2000
IEEE
15 years 2 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
102
click to vote
PODS
2008
ACM
15 years 9 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
128
click to vote
COLT
1994
Springer
15 years 1 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
92
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
—Multi-robot reinforcement learning is a very challenging area due to several issues, such as large state spaces, difficulty in reward assignment, nondeterministic action selecti...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
This paper describes a study in the evolution of distributed cooperative behavior, specifically leader election, through digital evolution and group selection. In digital evoluti...