Sciweavers

100
Voted
AIEDAM
1999
157views more  AIEDAM 1999»
14 years 8 months ago
Representing a robotic domain using temporal description logics
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...
Alessandro Artale, Enrico Franconi