3573 search results - page 151 / 715 » Reasoning about Codata |
140
click to vote
KDD
2008
ACM
16 years 3 months ago
2008
ACM
Privacy is an increasingly important aspect of data publishing. Reasoning about privacy, however, is fraught with pitfalls. One of the most significant is the auxiliary informatio...
111
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
169
Voted
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
121
Voted
CIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
159
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...