Search Sciweavers | Sciweavers

238 search results - page 2 / 48

» Planning as Satisfiability

click to vote

KR
1998
Springer

92views Automated Reasoning» more KR 1998»

A Planning Algorithm not based on Directional Search

13 years 9 months ago

Download users.cecs.anu.edu.au

The initiative in STRIPS planning has recently been taken by work on propositional satisfiability. Best current planners, like Graphplan, and earlier planners originating in the p...

Jussi Rintanen

claim paper

Read More »

click to vote

ECSQARU
2005
Springer

98views Automated Reasoning» more ECSQARU 2005»

APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability

13 years 11 months ago

Download www.bowdoin.edu

Stephen M. Majercik

claim paper

Read More »

click to vote

ECAI
1992
Springer

78views Artificial Intelligence» more ECAI 1992»

Planning as Satisfiability

13 years 9 months ago

Download www.cs.bgu.ac.il

Henry A. Kautz, Bart Selman

claim paper

Read More »

click to vote

AAAI
2007

94views Intelligent Agents» more AAAI 2007»

Planning as Satisfiability with Preferences

13 years 7 months ago

Download www.aaai.org

Enrico Giunchiglia, Marco Maratea

claim paper

Read More »

click to vote

IJCAI
2007

146views Artificial Intelligence» more IJCAI 2007»

Planning for Temporally Extended Goals as Propositional Satisfiability

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers