955 search results - page 88 / 191 » Tractable Temporal Reasoning |
124
Voted
EUSFLAT
2001
15 years 4 months ago
2001
In this document we cany out a comparative analysis of the reasoning strategies implemented in Fuzzy Logic Controllers (hereinafter FLCs) and Faded Temporal Fuzzy Logic Controller...
143
Voted
AIEDAM
1999
15 years 2 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
128
Voted
MEMOCODE
2010
IEEE
15 years 15 days ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
150
Voted
ATAL
2011
Springer
14 years 2 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
121
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...