972 search results - page 3 / 195 » Reasoning with Conditional Time-Intervals |
LICS
2010
IEEE
13 years 3 months ago
2010
IEEE
DLOG
2009
13 years 3 months ago
2009
IGPL
2010
13 years 2 days 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
13 years 11 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 9 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...