Sciweavers

3573 search results - page 64 / 715
» Reasoning about Codata
Sort
View
IJCAI
1997
15 years 11 days ago
Compiling Reasoning with and about Preferences into Default Logic
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
James P. Delgrande, Torsten Schaub
IJCAI
1997
15 years 11 days ago
Reasoning about Plans
Witold Lukaszewicz, Ewa Madalinska-Bugaj
AIPS
1996
15 years 11 days ago
Event-Based Decompositions for Reasoning about External Change in Planners
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
Jim Blythe
AIPS
1994
15 years 11 days ago
Reasoning About When to Start Acting
Facedwith a complicatedtask, someinitial planningcan significantlyincreasethe likelihoodof successandincrease efficiency, butplanningfor toolongbeforestarting to act canreduceeffi...
Richard Goodwin