3776 search results - page 386 / 756 » Partition-Based Logical Reasoning |
179
click to vote
FTRTFT
1992
Springer
15 years 9 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
137
Voted
RSCTC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. An approach to a multi-facet task of situation identification by Unmanned Aerial Vehicle (UAV) is presented. The concept of multi-layered identification system based on s...
137
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
139
Voted
EUSFLAT
2003
15 years 6 months ago
2003
This paper is devoted to clarify the only theoretical result included in the controversial work of C. Elkan “The paradoxical success of fuzzy logic” (1994), by offering both a...
143
Voted
WOODPECKER
2001
15 years 6 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...