3970 search results - page 529 / 794 » A Logic For Causal Reasoning |
177
click to vote
TIME
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we extend the notion of k-anonymity in the context of databases with timestamped information in order to naturally define k-anonymous views of temporal data. We als...
181
click to vote
TIME
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
178
click to vote
TIME
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
185
click to vote
TIME
2005
IEEE
16 years 7 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
162
click to vote
ASP
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...