Automatically assigned DDC number: 006333
Manually assigned DDC number: 006333
Number of references: 16
Title: State-space Planning by Integer Optimization
Author:
Author:
Subject: Henry Kautz,Joachim P. Walser State-space Planning by Integer Optimization
Description: This paper describes ILP-PLAN, a framework for solving AI planning problems represented as integer linear programs. ILP-PLAN extends the planning as satisfiability framework to handle plans with resources, action costs, and complex objective functions. We show that challenging planning problems can be effectively solved using both traditional branchand -bound IP solvers and efficient new integer local search algorithms. ILP-PLAN can find better quality solutions for a set of hard benchmark logistics planning problems than had been found by any earlier system. 1 Introduction In recent years the AI community witnessed the unexpected success of satisfiability testing as a method for solving state-space planning problems (Weld 1999). Kautz and Selman (1996) demonstrated that in certain computationally challenging domains, the approach of axiomatizing problems in propositional logic and solving them with general randomized SAT algorithms (SATPLAN) was competitive with or superior to the ...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1999-03-30
Pubyear: 1999
Format: ps
Identifier: http://citeseer.ist.psu.edu/187838.html
Source: http://www.research.att.com/~kautz/papers-ftp/ilpplan.ps
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/27415.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Conditional effects in Graphplan,">
<identifier Org="ISBN:0262510987" Paper_ID="/27415.html" Extracted="0262510987" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0262511126" Paper_ID="/27415.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0262560976" Paper_ID="/27415.html" Extracted="0262560976" DDC="001.4/225/028563" Normalized_DDC="0014225028563" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0792372247" Paper_ID="/27415.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1558608567" Paper_ID="/27415.html" Extracted="1558608567" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1577351878" Paper_ID="/27415.html" Extracted="1577351878" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1586033700" Paper_ID="/27415.html" Extracted="1586033700" />
<identifier Org="ISBN:3540439412" Paper_ID="/27415.html" Extracted="3540439412" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540664955" Paper_ID="/27415.html" Extracted="3540664955" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540678662" Paper_ID="/27415.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/28887.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 14th International Joint Conference on Artificial Intelligence IJCAI 95" CiteSeer_Volume="" Title="Fast Planning Through Planning Graph Analysis,">
<identifier Org="ISBN:1558608567" Paper_ID="/28887.html" Extracted="1558608567" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586030132" Paper_ID="/28887.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586034529" Paper_ID="/28887.html" Extracted="1586034529" />
<identifier Org="ISBN:1586034847" Paper_ID="/28887.html" Extracted="1586034847" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586035606" Paper_ID="/28887.html" Extracted="1586035606" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1591404517" Paper_ID="/28887.html" Extracted="1591404517" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354020119X" Paper_ID="/28887.html" Extracted="354020119X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540232419" Paper_ID="/28887.html" Extracted="3540232419" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540285849" Paper_ID="/28887.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540287612" Paper_ID="/28887.html" Extracted="3540287612" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540292381" Paper_ID="/28887.html" Extracted="3540292381" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540410945" Paper_ID="/28887.html" Extracted="3540410945" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540428984" Paper_ID="/28887.html" Extracted="3540428984" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441271" Paper_ID="/28887.html" Extracted="3540441271" />
<identifier Org="ISBN:3540673504" Paper_ID="/28887.html" Extracted="3540673504" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678662" Paper_ID="/28887.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540712089" Paper_ID="/28887.html" Extracted="3540712089" />
<identifier Org="ISBN:3540735798" Paper_ID="/28887.html" Extracted="3540735798" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540777229" Paper_ID="/28887.html" Extracted="3540777229" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:427490525X" Paper_ID="/28887.html" Extracted="427490525X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/306286.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 14th National Conference on Artificial Intelligence AAAI97" CiteSeer_Volume="" Title="A Robust and Fast Action Selection Mechanism for Planning,">
<identifier Org="ISBN:0262510952" Paper_ID="/306286.html" Extracted="0262510952" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262511126" Paper_ID="/306286.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262560976" Paper_ID="/306286.html" Extracted="0262560976" DDC="001.4/225/028563" Normalized_DDC="0014225028563" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0769504469" Paper_ID="/306286.html" Extracted="0769504469" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0792372247" Paper_ID="/306286.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1577351878" Paper_ID="/306286.html" Extracted="1577351878" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586030132" Paper_ID="/306286.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1591404509" Paper_ID="/306286.html" Extracted="1591404509" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540292381" Paper_ID="/306286.html" Extracted="3540292381" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410945" Paper_ID="/306286.html" Extracted="3540410945" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540428984" Paper_ID="/306286.html" Extracted="3540428984" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540441271" Paper_ID="/306286.html" Extracted="3540441271" />
<identifier Org="ISBN:3540645756" Paper_ID="/306286.html" Extracted="3540645756" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540649921" Paper_ID="/306286.html" Extracted="3540649921" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664289" Paper_ID="/306286.html" Extracted="3540664289" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678662" Paper_ID="/306286.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540752706" Paper_ID="/306286.html" Extracted="3540752706" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
</rec>
<rec ID="/450841.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Mixed integer programming models for planning problems,">
<identifier Org="ISBN:0792361733" Paper_ID="/450841.html" Extracted="0792361733" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.2" />
<identifier Org="ISBN:1558608567" Paper_ID="/450841.html" Extracted="1558608567" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540422587" Paper_ID="/450841.html" Extracted="3540422587" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540428984" Paper_ID="/450841.html" Extracted="3540428984" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540678662" Paper_ID="/450841.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.2" />
</rec>
<rec ID="/5388.html" Type="inproceedings" CiteSeer_Book="IJCAI" CiteSeer_Volume="" Title="Automatic {SAT}-Compilation of Planning Problems,">
<identifier Org="ISBN:0262510987" Paper_ID="/5388.html" Extracted="0262510987" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0262560976" Paper_ID="/5388.html" Extracted="0262560976" DDC="001.4/225/028563" Normalized_DDC="0014225028563" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0444527265" Paper_ID="/5388.html" Extracted="0444527265" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1402045522" Paper_ID="/5388.html" Extracted="1402045522" />
<identifier Org="ISBN:1558604804" Paper_ID="/5388.html" Extracted="1558604804" />
<identifier Org="ISBN:1591404509" Paper_ID="/5388.html" Extracted="1591404509" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:159904756X" Paper_ID="/5388.html" Extracted="159904756X" DDC="371.33/44678" Normalized_DDC="3713344678" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540009868" Paper_ID="/5388.html" Extracted="3540009868" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540202021" Paper_ID="/5388.html" Extracted="3540202021" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540208518" Paper_ID="/5388.html" Extracted="3540208518" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540210695" Paper_ID="/5388.html" Extracted="3540210695" DDC="410/.285" Normalized_DDC="410285" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540250514" Paper_ID="/5388.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540262768" Paper_ID="/5388.html" Extracted="3540262768" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540408282" Paper_ID="/5388.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540441905" Paper_ID="/5388.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354064993X" Paper_ID="/5388.html" Extracted="354064993X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540678662" Paper_ID="/5388.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540712089" Paper_ID="/5388.html" Extracted="3540712089" />
<identifier Org="ISBN:3540727876" Paper_ID="/5388.html" Extracted="3540727876" />
</rec>
<rec ID="/147580.html" Type="article" CiteSeer_Book="DAMATH Discrete Applied Mathematics and Combinatorial Operations Research and Computer Science" CiteSeer_Volume="96" Title="Mixed Logical Linear Programming,">
<identifier Org="ISBN:0444527265" Paper_ID="/147580.html" Extracted="0444527265" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0470024984" Paper_ID="/147580.html" Extracted="0470024984" DDC="660" Normalized_DDC="66" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0792380789" Paper_ID="/147580.html" Extracted="0792380789" DDC="658.4/032" Normalized_DDC="6584032" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0816908265" Paper_ID="/147580.html" Extracted="0816908265" DDC="660/.2815" Normalized_DDC="6602815" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402072953" Paper_ID="/147580.html" Extracted="1402072953" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402075839" Paper_ID="/147580.html" Extracted="1402075839" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3527316051" Paper_ID="/147580.html" Extracted="3527316051" DDC="003.3" Normalized_DDC="0033" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540002227" Paper_ID="/147580.html" Extracted="3540002227" />
<identifier Org="ISBN:354021836X" Paper_ID="/147580.html" Extracted="354021836X" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354026003X" Paper_ID="/147580.html" Extracted="354026003X" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410538" Paper_ID="/147580.html" Extracted="3540410538" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540428631" Paper_ID="/147580.html" Extracted="3540428631" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540441204" Paper_ID="/147580.html" Extracted="3540441204" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540663673" Paper_ID="/147580.html" Extracted="3540663673" DDC="519.7/7" Normalized_DDC="51977" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540666265" Paper_ID="/147580.html" Extracted="3540666265" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354068154X" Paper_ID="/147580.html" Extracted="354068154X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540738169" Paper_ID="/147580.html" Extracted="3540738169" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
</rec>
<rec ID="/68906.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving,">
<identifier Org="ISBN:0262511126" Paper_ID="/68906.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0769504469" Paper_ID="/68906.html" Extracted="0769504469" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0791408744" Paper_ID="/68906.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0821827103" Paper_ID="/68906.html" Extracted="0821827103" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1581135866" Paper_ID="/68906.html" Extracted="1581135866" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586030132" Paper_ID="/68906.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586030612" Paper_ID="/68906.html" Extracted="1586030612" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1591404517" Paper_ID="/68906.html" Extracted="1591404517" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1599047055" Paper_ID="/68906.html" Extracted="1599047055" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1845641558" Paper_ID="/68906.html" Extracted="1845641558" DDC="371.33" Normalized_DDC="37133" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3486272128" Paper_ID="/68906.html" Extracted="3486272128" />
<identifier Org="ISBN:3540250514" Paper_ID="/68906.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540411313" Paper_ID="/68906.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425934" Paper_ID="/68906.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540433775" Paper_ID="/68906.html" Extracted="3540433775" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441905" Paper_ID="/68906.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678395" Paper_ID="/68906.html" Extracted="3540678395" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678662" Paper_ID="/68906.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/87064.html" Type="inproceedings" CiteSeer_Book="Workshop on LogicBased Artificial Intelligence Washington DC June 1416 1999" CiteSeer_Volume="" Title="Unifying {SAT}-Based and Graph-Based Planning,">
<identifier Org="ISBN:0792372247" Paper_ID="/87064.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1584885505" Paper_ID="/87064.html" Extracted="1584885505" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586034146" Paper_ID="/87064.html" Extracted="1586034146" DDC="629.8/9263" Normalized_DDC="62989263" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586034529" Paper_ID="/87064.html" Extracted="1586034529" />
<identifier Org="ISBN:1586034561" Paper_ID="/87064.html" Extracted="1586034561" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586038737" Paper_ID="/87064.html" Extracted="1586038737" DDC="610.285" Normalized_DDC="610285" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1591404509" Paper_ID="/87064.html" Extracted="1591404509" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1852337648" Paper_ID="/87064.html" Extracted="1852337648" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354020119X" Paper_ID="/87064.html" Extracted="354020119X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354020721X" Paper_ID="/87064.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540220070" Paper_ID="/87064.html" Extracted="3540220070" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540292381" Paper_ID="/87064.html" Extracted="3540292381" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410945" Paper_ID="/87064.html" Extracted="3540410945" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439412" Paper_ID="/87064.html" Extracted="3540439412" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540441204" Paper_ID="/87064.html" Extracted="3540441204" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540673504" Paper_ID="/87064.html" Extracted="3540673504" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678662" Paper_ID="/87064.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540747818" Paper_ID="/87064.html" Extracted="3540747818" />
<identifier Org="ISBN:3540769269" Paper_ID="/87064.html" Extracted="3540769269" />
<identifier Org="ISBN:3642010083" Paper_ID="/87064.html" Extracted="3642010083" />
</rec>
<rec ID="/684422.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Fifth International Conference on the Principle of Knowledge Representation and Reasoning KR96" CiteSeer_Volume="" Title="Encoding Plans in Propositional Logic,">
<identifier Org="ISBN:0262511126" Paper_ID="/684422.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0792372247" Paper_ID="/684422.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1402045522" Paper_ID="/684422.html" Extracted="1402045522" />
<identifier Org="ISBN:1402062532" Paper_ID="/684422.html" Extracted="1402062532" />
<identifier Org="ISBN:1558604804" Paper_ID="/684422.html" Extracted="1558604804" />
<identifier Org="ISBN:1586030612" Paper_ID="/684422.html" Extracted="1586030612" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1586036521" Paper_ID="/684422.html" Extracted="1586036521" DDC="006.301/13" Normalized_DDC="00630113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540202021" Paper_ID="/684422.html" Extracted="3540202021" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540204075" Paper_ID="/684422.html" Extracted="3540204075" />
<identifier Org="ISBN:3540242600" Paper_ID="/684422.html" Extracted="3540242600" DDC="620.0045" Normalized_DDC="6200045" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540343040" Paper_ID="/684422.html" Extracted="3540343040" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540425543" Paper_ID="/684422.html" Extracted="3540425543" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540438653" Paper_ID="/684422.html" Extracted="3540438653" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540441859" Paper_ID="/684422.html" Extracted="3540441859" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354064993X" Paper_ID="/684422.html" Extracted="354064993X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540678662" Paper_ID="/684422.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540727876" Paper_ID="/684422.html" Extracted="3540727876" />
<identifier Org="ISBN:3540735798" Paper_ID="/684422.html" Extracted="3540735798" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="/697619.html" Type="inproceedings" CiteSeer_Book="Artificial Intelligence Planning Systems" CiteSeer_Volume="" Title="Encoding {HTN} Planning in Propositional Logic,">
<identifier Org="ISBN:3540441859" Paper_ID="/697619.html" Extracted="3540441859" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540678662" Paper_ID="/697619.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.5" />
</rec>
<rec ID="/451361.html" Type="incollection" CiteSeer_Book="Knowledge Representation and Defeasible Reasoning" CiteSeer_Volume="" Title="Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions,">
<identifier Org="ISBN:0262510715" Paper_ID="/451361.html" Extracted="0262510715" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:026251091X" Paper_ID="/451361.html" Extracted="026251091X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0792306775" Paper_ID="/451361.html" Extracted="0792306775" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0792372247" Paper_ID="/451361.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0818682558" Paper_ID="/451361.html" Extracted="0818682558" />
<identifier Org="ISBN:1402030681" Paper_ID="/451361.html" Extracted="1402030681" DDC="629.8/9251" Normalized_DDC="62989251" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:155860250X" Paper_ID="/451361.html" Extracted="155860250X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586034529" Paper_ID="/451361.html" Extracted="1586034529" />
<identifier Org="ISBN:3540298967" Paper_ID="/451361.html" Extracted="3540298967" />
<identifier Org="ISBN:3540413855" Paper_ID="/451361.html" Extracted="3540413855" DDC="510 s" Normalized_DDC="51" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439595" Paper_ID="/451361.html" Extracted="3540439595" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540552707" Paper_ID="/451361.html" Extracted="3540552707" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540558810" Paper_ID="/451361.html" Extracted="3540558810" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540604367" Paper_ID="/451361.html" Extracted="3540604367" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540604375" Paper_ID="/451361.html" Extracted="3540604375" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540664289" Paper_ID="/451361.html" Extracted="3540664289" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:4274077241" Paper_ID="/451361.html" Extracted="4274077241" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/27077.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Twelfth National Conference on Artificial Intelligence AAAI94" CiteSeer_Volume="" Title="Noise strategies for improving local search,">
<identifier Org="ISBN:0262611023" Paper_ID="/27077.html" Extracted="0262611023" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586030132" Paper_ID="/27077.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586030612" Paper_ID="/27077.html" Extracted="1586030612" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3211249346" Paper_ID="/27077.html" Extracted="3211249346" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540223436" Paper_ID="/27077.html" Extracted="3540223436" DDC="006.31" Normalized_DDC="00631" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540230920" Paper_ID="/27077.html" Extracted="3540230920" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540232419" Paper_ID="/27077.html" Extracted="3540232419" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540265511" Paper_ID="/27077.html" Extracted="3540265511" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354027829X" Paper_ID="/27077.html" Extracted="354027829X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540406778" Paper_ID="/27077.html" Extracted="3540406778" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540406999" Paper_ID="/27077.html" Extracted="3540406999" DDC="658.5/3" Normalized_DDC="65853" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540428984" Paper_ID="/27077.html" Extracted="3540428984" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540635866" Paper_ID="/27077.html" Extracted="3540635866" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540648240" Paper_ID="/27077.html" Extracted="3540648240" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664920" Paper_ID="/27077.html" Extracted="3540664920" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540786031" Paper_ID="/27077.html" Extracted="3540786031" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540789863" Paper_ID="/27077.html" Extracted="3540789863" />
<identifier Org="ISBN:3540859578" Paper_ID="/27077.html" Extracted="3540859578" />
<identifier Org="ISBN:3540894381" Paper_ID="/27077.html" Extracted="3540894381" />
</rec>
<rec ID="/149753.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems AIPS96" CiteSeer_Volume="" Title="Representing Plans as a Set of Constraints - the <{I}-{N}-{OVA}> Model," />
<rec ID="/448406.html" Type="inproceedings" CiteSeer_Book="IJCAI" CiteSeer_Volume="" Title="On the Use of Integer Programming Models in {AI} Planning,">
<identifier Org="ISBN:0262511290" Paper_ID="/448406.html" Extracted="0262511290" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1558608567" Paper_ID="/448406.html" Extracted="1558608567" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1584885505" Paper_ID="/448406.html" Extracted="1584885505" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1586030132" Paper_ID="/448406.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1599047055" Paper_ID="/448406.html" Extracted="1599047055" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540234780" Paper_ID="/448406.html" Extracted="3540234780" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540238069" Paper_ID="/448406.html" Extracted="3540238069" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540292381" Paper_ID="/448406.html" Extracted="3540292381" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540422587" Paper_ID="/448406.html" Extracted="3540422587" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540441204" Paper_ID="/448406.html" Extracted="3540441204" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540678662" Paper_ID="/448406.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540749691" Paper_ID="/448406.html" Extracted="3540749691" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.08333333333333333" />
</rec>
<rec ID="/578876.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Domain-independent Local Search for Linear Integer Optimization,">
<identifier Org="ISBN:1402075839" Paper_ID="/578876.html" Extracted="1402075839" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="1.0" />
</rec>
<rec ID="/252073.html" Type="article" CiteSeer_Book="AI Magazine" CiteSeer_Volume="20" Title="Recent Advances in {AI} Planning,">
<identifier Org="ISBN:0262201526" Paper_ID="/252073.html" Extracted="0262201526" />
<identifier Org="ISBN:0262560976" Paper_ID="/252073.html" Extracted="0262560976" DDC="001.4/225/028563" Normalized_DDC="0014225028563" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586035606" Paper_ID="/252073.html" Extracted="1586035606" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:159904756X" Paper_ID="/252073.html" Extracted="159904756X" DDC="371.33/44678" Normalized_DDC="3713344678" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1852337648" Paper_ID="/252073.html" Extracted="1852337648" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540231668" Paper_ID="/252073.html" Extracted="3540231668" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540232435" Paper_ID="/252073.html" Extracted="3540232435" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540265511" Paper_ID="/252073.html" Extracted="3540265511" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540411623" Paper_ID="/252073.html" Extracted="3540411623" DDC="629.8/9263" Normalized_DDC="62989263" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540441204" Paper_ID="/252073.html" Extracted="3540441204" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540639128" Paper_ID="/252073.html" Extracted="3540639128" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540643672" Paper_ID="/252073.html" Extracted="3540643672" DDC="004/.01/9" Normalized_DDC="004019" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540645187" Paper_ID="/252073.html" Extracted="3540645187" DDC="005.82" Normalized_DDC="00582" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540645756" Paper_ID="/252073.html" Extracted="3540645756" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540649905" Paper_ID="/252073.html" Extracted="3540649905" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678662" Paper_ID="/252073.html" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540679464" Paper_ID="/252073.html" Extracted="3540679464" DDC="006.4" Normalized_DDC="0064" Normalized_Weight="0.0625" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="State-space Planning by Integer Optimization">
<identifier Org="ISBN:0769520383" Paper_ID="SELF" Extracted="0769520383" />
<identifier Org="ISBN:0780359593" Paper_ID="SELF" Extracted="0780359593" />
<identifier Org="ISBN:0792361733" Paper_ID="SELF" Extracted="0792361733" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1402075839" Paper_ID="SELF" Extracted="1402075839" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1558608567" Paper_ID="SELF" Extracted="1558608567" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1558608729" Paper_ID="SELF" Extracted="1558608729" DDC="519.6" Normalized_DDC="5196" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1584885505" Paper_ID="SELF" Extracted="1584885505" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586030132" Paper_ID="SELF" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586034529" Paper_ID="SELF" Extracted="1586034529" />
<identifier Org="ISBN:1852337648" Paper_ID="SELF" Extracted="1852337648" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354020721X" Paper_ID="SELF" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540292381" Paper_ID="SELF" Extracted="3540292381" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540422587" Paper_ID="SELF" Extracted="3540422587" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540428984" Paper_ID="SELF" Extracted="3540428984" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540441204" Paper_ID="SELF" Extracted="3540441204" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540441905" Paper_ID="SELF" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540678662" Paper_ID="SELF" Extracted="3540678662" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07142857142857142" />
</rec>
</references_metadata>