Concepedia

On the use of integer programming models in AI planning

Thomas Vossen, Michael O. Ball, Amnon Lotem, Dana Nau

Digital Repository at the University of Maryland (University of Maryland College Park) · 1999 · 102 citations · 11 references

Open access

Concepts

ComputingComputer ScienceAlgorithmsArtificial IntelligenceKnowledge RepresentationCombinatorial OptimizationDiscrete OptimizationInteger ProgrammingLinear ProgrammingMathematical ProgrammingConstraintsInteger Programming ModelsInteger Programming RelaxationsPropositional ReasoningPropositional Representation

Abstract

ISR develops, applies and teaches advanced methodologies of design and analysis to solve complex, hierarchical,

References

11

Fast planning through planning graph analysis

Avrim Blum, Merrick L. Furst · Artificial Intelligence · 1997 · 1.6K citations

Computing, Autonomous Systems, Path Planning +5

Pushing the envelope: planning, propositional logic, and stochastic search

Henry Kautz, Bart Selman · 1996 · 845 citations

Computing, Decision Sciences, Knowledge Representation +7

Encoding plans in propositional logic

Henry Kautz, David McAllester, Bart Selman · 1996 · 269 citations

Computing, Computer Science, Algorithms +13

BLACKBOX : A New approach to the application of theorem proving to problem solving

Henry Kautz · 1998 · 176 citations

Computing, Computer Science, Mathematics +12

Ten challenges in propositional reasoning and search

Bart Selman, Henry Kautz, David McAllester · International Joint Conference on Artificial Intelligence · 1997 · 157 citations

Computing, Computer Science, Algorithms +15