2010
(1)
A Correctness Result for Reasoning about OneDimensional Planning Problems.
Hu, Y.; and Levesque, H. J.
In Proc. of The Twelfth International Conference on The Principles of Knowledge Representation and Reasoning, 2010.
Link
bibtex
4 downloads
@inproceedings{hu10_1d,
author = {Yuxiao Hu and
Hector J. Levesque},
title = {A Correctness Result for Reasoning about OneDimensional
Planning Problems},
booktitle = {Proc. of The Twelfth International Conference on The Principles of Knowledge Representation and Reasoning},
year = {2010},
ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1270}
}
2009
(10)
Beyond Classical Planning: Procedural Control Knowledge and Preferences in StateoftheArt Planners Revisited.
Baier, J. A.; Fritz, C.; Bienvenu, M.; and McIlraith, S. A.
In Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{baier09_bcp,
title={Beyond Classical Planning: Procedural Control Knowledge and Preferences in StateoftheArt Planners Revisited},
author={Jorge A. Baier and Christian Fritz and Meghyn Bienvenu and Sheila A. McIlraith},
booktitle={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
year={2009}
}
Automatic Derivation of Memoryless Policies and FiniteState Controllers Using Classical Planners.
Bonet, B.; Palacios, H.; and Geffner, H.
In Proc. of the 19th International Conf. on Artificial Intelligence Planning and Scheduling, 2009.
bibtex
@InProceedings{bonet09_controller,
Author = {B. Bonet and H. Palacios and H. Geffner},
Title = {Automatic Derivation of Memoryless Policies and FiniteState Controllers Using Classical Planners},
BookTitle = {Proc. of the 19th International Conf. on Artificial
Intelligence Planning and Scheduling},
year = 2009
}
Solving HighLevel Planning Programs.
Giacomo, G. D.; Patrizi, F.; and Sardina, S.
In Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{giacomo09_hl,
title={Solving HighLevel Planning Programs},
author={Giuseppe De Giacomo and Fabio Patrizi and Sebastian Sardina},
booktitle={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
year={2009}
}
Partial Observability, Quantification, and Iteration for Planning.
Goldman, R. P.
In Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{goldman09_iteration,
title={Partial Observability, Quantification, and Iteration for Planning},
author={Robert P. Goldman},
booktitle={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
year={2009}
}
Planning with Loops: Some New Results.
Hu, Y.; and Levesque, H. J.
In Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{hu09_loops,
title={Planning with Loops: Some New Results},
author={Yuxiao Hu and Hector J. Levesque},
booktitle={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
year={2009}
}
P^2 : A Baseline Approach to Planning with Control Structures and Programs.
Petrick, R. P. A.
In Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{petrick09_control,
title={P^2 : A Baseline Approach to Planning with Control Structures and Programs},
author={Ronald P. A. Petrick},
booktitle={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
year={2009}
}
Web Service Composition via the Customization of Golog Programs with User Preferences.
Sohrabi, S.; Prokoshyna, N.; ; and McIlraith, S. A.
In Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{sohrabi09_service,
title={Web Service Composition via the Customization of Golog Programs with User Preferences},
author={Shirin Sohrabi and Nataliya Prokoshyna and and Sheila A. McIlraith},
booktitle={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
year={2009}
}
Challenges in Finding Generalized Plans.
Srivastava, S.; Immerman, N.; and Zilberstein, S.
In Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{srivastava09_challenges,
title={Challenges in Finding Generalized Plans},
author={Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein},
booktitle={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
year={2009}
}
On Pebble Motion on Graphs and Abstract Multirobot Path Planning.
Surynek, P.
In Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{surynek09_pebble,
title={On Pebble Motion on Graphs and Abstract Multirobot Path Planning},
author={Pavel Surynek},
booktitle={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
year={2009}
}
2007
(1)
Exploiting Procedural Domain Control Knowledge in StateoftheArt Planners.
Baier, J. A.; Fritz, C.; and McIlraith, S. A.
In Proc. of ICAPS, pages 2633, 2007.
Paper
bibtex
9 downloads
@InProceedings{baier07_dck,
Author = {Jorge A. Baier and Christian Fritz and Sheila A.
McIlraith},
Title = {Exploiting Procedural Domain Control Knowledge in
StateoftheArt Planners.},
BookTitle = {Proc. of ICAPS},
Pages = {2633},
biburl = {http://www.bibsonomy.org/bibtex/2dd31cec64dccd185f5edcab4e07a8927/dblp},
isbn = {9781577353447},
url = {http://dblp.unitrier.de/db/conf/aips/icaps2007.html#BaierFM07},
year = 2007
}
2006
(1)
Termination proofs for systems code.
Cook, B.; Podelski, A.; and Rybalchenko, A.
In Proc. of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2006.
bibtex
@InProceedings{terminator,
Author = {Byron Cook and Andreas Podelski and Andrey Rybalchenko},
Title = {Termination proofs for systems code},
BookTitle = {Proc. of the 2006 {ACM} {SIGPLAN} {C}onference on
{P}rogramming {L}anguage {D}esign and {I}mplementation},
year = 2006
}
2005
(1)
Contingent Planning via Heuristic Forward Search with Implicit Belief States.
Hoffmann, J.; and Brafman, R. I.
In Proc. of ICAPS, pages 7180, 2005.
Paper
bibtex
@InProceedings{hoffmann05_contingent,
Author = {Joerg Hoffmann and Ronen I. Brafman},
Title = {Contingent Planning via Heuristic Forward Search with
Implicit Belief States.},
BookTitle = {Proc. of ICAPS},
Pages = {7180},
biburl = {http://www.bibsonomy.org/bibtex/2ccbbaff06c4442b8b738c44a9bf0ba95/dblp},
isbn = {1577352203},
url = {http://dblp.unitrier.de/db/conf/aips/icaps2005.html#HoffmannB05},
year = 2005
}
2003
(1)
Weak, strong, and strong cyclic planning via symbolic model checking.
Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P.
Artif. Intell., 147(12): 3584. 2003.
Link
Paper
bibtex
@Article{cimatti03_cyclic,
Author = {Alessandro Cimatti and Marco Pistore and Marco Roveri
and Paolo Traverso},
Title = {Weak, strong, and strong cyclic planning via symbolic
model checking.},
Journal = {Artif. Intell.},
Volume = {147},
Number = {12},
Pages = {3584},
biburl = {http://www.bibsonomy.org/bibtex/203d6615beefd37e8b0b33fa917ddb348/dblp},
ee = {http://dx.doi.org/10.1016/S00043702(02)003740},
url = {http://dblp.unitrier.de/db/journals/ai/ai147.html#CimattiPRT03},
year = 2003
}
2002
(1)
Lazy Abstraction.
Henzinger, T. A.; Jhala, R.; Majumdar, R.; and Sutre, G.
In Symposium on Principles of Programming Languages, 2002.
bibtex
@InProceedings{henzinger02lazy,
Author = "Thomas A. Henzinger and Ranjit Jhala and Rupak
Majumdar and Gregoire Sutre",
Title = {Lazy {A}bstraction},
BookTitle = {Symposium on {P}rinciples of {P}rogramming {L}anguages},
year = 2002
}
1999
(1)
Strong Cyclic Planning Revisited.
Daniele, M.; Traverso, P.; and Vardi, M. Y.
In Proc. of the European Conference on Planning, pages 3548, 1999.
bibtex
@InProceedings{daniele99_Cyclic,
Author = {Marco Daniele and Paolo Traverso and Moshe Y. Vardi},
Title = {Strong {C}yclic {P}lanning {R}evisited},
BookTitle = {Proc. of the {E}uropean {C}onference on {P}lanning},
Pages = {3548},
year = 1999
}
1998
(1)
Automatic OBDDBased Generation of Universal Plans in NonDeterministic Domains.
Cimatti, A.; Roveri, M.; and Traverso, P.
In Proc. of AAAI, 1998.
bibtex
@InProceedings{CRT98,
Author = {Cimatti, A. and Roveri, M. and Traverso, P.},
Title = {Automatic {OBDD}{B}ased {G}eneration of {U}niversal
{P}lans in {N}on{D}eterministic {D}omains},
BookTitle = {Proc. of AAAI},
year = 1998
}
1986
(2)
ExplanationBased Learning: An Alternative View.
Dejong, G.; and Mooney, R.
Mach. Learn., 1(2): 145176. 1986.
doi
bibtex
@Article{ebl06,
Author = {Gerald Dejong and Raymond Mooney},
Title = {ExplanationBased Learning: An Alternative View},
Journal = {Mach. Learn.},
Volume = {1},
Number = {2},
Pages = {145176},
address = {Hingham, MA, USA},
doi = {http://dx.doi.org/10.1023/A:1022898111663},
issn = {08856125},
publisher = {Kluwer Academic Publishers},
year = 1986
}
CHEF: A Model of CaseBased Planning.
Hammond, K.
In Proceedings of AAAI86, pages 267271, 1986.
bibtex
@InProceedings{hammond86_cbp,
Author = {Kristian Hammond},
Title = {{CHEF: A Model of CaseBased Planning}},
BookTitle = {{Proceedings of AAAI86}},
Pages = {267271},
biburl = {http://www.bibsonomy.org/bibtex/20c4f84cb0f5cf77f9aefa6a3b5754c0a/bsmyth},
year = 1986
}
1972
(1)
Learning and Executing Generalized Robot Plans.
Fikes, R.; Hart, P.; and Nilsson, N.
Technical Report 70, AI Center, SRI International, 1972.
bibtex
@TechReport{fikes_Gen72,
Author = {Fikes, R.E. and Hart, P.E. and Nilsson, N.J.},
Title = {Learning and {E}xecuting {G}eneralized {R}obot {P}lans},
Institution = {AI Center, SRI International},
Number = {70},
year = 1972
}
1971
(1)
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.
Fikes, R.; and Nilsson, N.
Technical Report AI Center, SRI International, 1971.
SRI Project 8259
bibtex
abstract
@TechReport{fikes_STRIPS71,
Author = {Fikes, R.E. and Nilsson, N.J.},
Title = {S{TRIPS}: {A} {N}ew {A}pproach to the {A}pplication of
{T}heorem {P}roving to {P}roblem {S}olving},
Institution = {AI Center, SRI International},
Note = {SRI Project 8259},
abstract = {We describe a new problem solver called STRIPS that
attempts to find a sequence of operators in a space of
world models to transform a given initial world model
into a model in which a given goal formula can be
proved to be true. STRIPS represents a world model as
an arbitrary collection of firstorder predicate
calculus formulas and is designed to work with mode
consisting of large numbers of formulas. It employs a
resolution theoremprover to answer questions of
particular models and uses meansends analysis to guide
it to the desired goalsatisfying model. },
year = 1971
}
We describe a new problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proved to be true. STRIPS represents a world model as an arbitrary collection of firstorder predicate calculus formulas and is designed to work with mode consisting of large numbers of formulas. It employs a resolution theoremprover to answer questions of particular models and uses meansends analysis to guide it to the desired goalsatisfying model.
Copy&paste any of the following snippets into an existing
page to embed this page. For more details see the
documention.
JavaScript
<script src="http://bibbase.org/show?bib=rbr.cs.umass.edu/gp/genplan.bib&proxy=1&group0=year&css=rbr.cs.umass.edu/gp/style.css&simplegroups=1&jsonp=1"></script>
PHP
<?php
$contents = file_get_contents("http://bibbase.org/show?bib=rbr.cs.umass.edu/gp/genplan.bib&proxy=1&group0=year&css=rbr.cs.umass.edu/gp/style.css&simplegroups=1");
print_r($contents);
?>
iFrame
<iframe src="http://bibbase.org/show?bib=rbr.cs.umass.edu/gp/genplan.bib&proxy=1&group0=year&css=rbr.cs.umass.edu/gp/style.css&simplegroups=1"></iframe>
