1912 search results - page 182 / 383 » GOAL as a Planning Formalism |
186
click to vote
AAAI
1996
15 years 7 months ago
1996
To explain complex phenomena, an explanation system must be able to select information from a formal representation of domain knowledge, organize the selected information into mul...
168
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...
159
click to vote
RAS
2008
15 years 6 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
192
click to vote
TLCA
2007
Springer
16 years 17 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
146
click to vote
ECBS
2006
IEEE
16 years 16 days ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...