3319 search results - page 126 / 664 » Subshifts, Languages and Logic |
97
Voted
FLAIRS
2006
15 years 2 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
90
Voted
SAC
2008
ACM
15 years 5 days ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
125
click to vote
CCS
2011
ACM
14 years 20 days ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
103
click to vote
DLOG
2003
15 years 2 months ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
116
Voted
DLOG
1996
15 years 2 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...