1614 search results - page 5 / 323 » Planning as Temporal Reasoning |
140
click to vote
AIEDAM
1999
15 years 1 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...
110
click to vote
FLAIRS
2009
14 years 11 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
104
click to vote
IJCAI
2007
15 years 3 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
115
Voted
AIPS
2009
15 years 2 months ago
2009
PDDL2.1 supports modelling of complex temporal planning domains in which solutions must exploit concurrency. Few existing temporal planners can solve problems that require concurr...
161
click to vote
KR
1991
Springer
15 years 5 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...