Search Sciweavers | Sciweavers

5243 search results - page 75 / 1049

» Reasoning About Strategies

Voted

AAAI
1996

124views Intelligent Agents» more AAAI 1996»

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

15 years 1 months ago

Download www.aaai.org

Giuseppe De Giacomo, Xiao Jun Chen

claim paper

Read More »

click to vote

AIPS
1996

136views Artificial Intelligence» more AIPS 1996»

Event-Based Decompositions for Reasoning about External Change in Planners

15 years 1 months ago

Download www.aaai.org

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

claim paper

Read More »

Voted

AIPS
1994

79views Artificial Intelligence» more AIPS 1994»

Reasoning About When to Start Acting

15 years 1 months ago

Download www.aaai.org

Facedwith a complicatedtask, someinitial planningcan significantlyincreasethe likelihoodof successandincrease efficiency, butplanningfor toolongbeforestarting to act canreduceeffi...

Richard Goodwin

claim paper

Read More »

click to vote

DAGSTUHL
1996

104views Software Engineering» more DAGSTUHL 1996»

Reasoning about Hierarchies of Online Program Specialization Systems

15 years 1 months ago