Sciweavers

1995 search results - page 6 / 399
» Belief in Information Flow
Sort
View
DAGSTUHL
2007
13 years 9 months ago
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
Gabriele Kern-Isberner
KR
2010
Springer
14 years 10 days ago
Taxonomy of Improvement Operators and the Problem of Minimal Change
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
Sébastien Konieczny, Mattia Medina Grespan,...
AAAI
1994
13 years 9 months ago
An Artificial Discourse Language for Collaborative Negotiation
Collaborations to accomplish common goals necessitate negotiation to share and reach agreement on the beliefs that agents hold as part of the collaboration. Negotiation in communi...
Candace L. Sidner
ESOP
2010
Springer
14 years 4 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
DRUMS
1998
Springer
13 years 11 months ago
Analysis of multi-interpretable ecological monitoring information
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
Frances M. T. Brazier, Joeri Engelfriet, Jan Treur