3319 search results - page 387 / 664 » Subshifts, Languages and Logic |
204
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
176
click to vote
GIL
2009
15 years 4 months ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...
206
click to vote
CCS
2005
ACM
16 years 13 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
197
click to vote
SAC
2003
ACM
16 years 4 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
193
click to vote
SIGSOFT
2003
ACM
16 years 4 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...