2152 search results - page 86 / 431 » On Automating the Calculus of Relations |
98
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
90
Voted
GC
2004
Springer
15 years 6 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
106
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
105
Voted
AAAI
1996
15 years 2 months ago
1996
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
76
Voted
ECSQARU
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...