3440 search results - page 405 / 688 » Logics For Context-Free Languages |
178
click to vote
IRCDL
2008
15 years 8 months ago
2008
The organization of a document collection into meaningful groups is a fundamental issue in document management systems. The grouping can be carried out by performing a comparison ...
224
click to vote
CORR
2000
Springer
15 years 7 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...
193
click to vote
GIL
2009
15 years 5 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...
193
click to vote
IGPL
2010
15 years 2 months ago
2010
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...
228
click to vote
CCS
2005
ACM
16 years 28 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...