972 search results - page 3 / 195 » Reasoning with Conditional Time-Intervals |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
DLOG
2009
13 years 5 months ago
2009
IGPL
2010
13 years 2 months ago
2010
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
ANSS
2000
IEEE
13 years 12 months ago
2000
IEEE
Computer simulation of switching power converters is complicated by the discontinuous (switching) nature of the converter waveforms. When switching details of the waveforms are of...