780 search results - page 6 / 156 » Reasoning about sets using redescription mining |
105
click to vote
TIME
1994
IEEE
15 years 3 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
120
click to vote
ECOOP
2008
Springer
15 years 22 days ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
121
click to vote
COSIT
1999
Springer
15 years 4 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
ENTCS
2008
14 years 11 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
106
click to vote
JUCS
2008
14 years 11 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...