972 search results - page 9 / 195 » Reasoning with Conditional Time-Intervals |
AIEDAM
1999
13 years 7 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...
LOGCOM
2002
13 years 7 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
KR
2004
Springer
14 years 27 days ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
We introduce the logic-based planning language Kc as an extension of K [5]. Kc
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We describe a method for synthesizing reasonable underapproximations to weakest preconditions for termination--a long-standing open problem. The paper provides experiment...