2299 search results - page 14 / 460 » Logical Data Expiration |
66
Voted
PKDD
2009
Springer
15 years 7 months ago
2009
Springer
108
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
101
Voted
OWLED
2007
15 years 1 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
97
Voted
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
106
click to vote
PODS
2006
ACM
16 years 17 days ago
2006
ACM
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...