Search Sciweavers | Sciweavers

528 search results - page 49 / 106

» Epistemic Logic and Planning

click to vote

IOR
2007

106views more IOR 2007»

Planning and Scheduling by Logic-Based Benders Decomposition

13 years 10 months ago

Download wpweb2.tepper.cmu.edu

We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...

John N. Hooker

claim paper

Read More »

click to vote

SIGIR
2004
ACM

100views Information Technology» more SIGIR 2004»

A logic-based approach for computing service executions plans in peer-to-peer networks

14 years 3 months ago

Download www.is.inf.uni-due.de

Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...

Henrik Nottelmann, Norbert Fuhr

claim paper

Read More »

click to vote

AIPS
1996

131views Artificial Intelligence» more AIPS 1996»

Deduction-Based Refinement Planning

13 years 11 months ago

Download www.aaai.org

Weintroduce a method of deduction-based refinement planning where prefabricated general solutions are adapted to special problems. Refmementproceeds by stepwise transforming nonco...

Werner Stephan, Susanne Biundo

claim paper

Read More »

click to vote

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

14 years 1 months ago