2010
(3)
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
@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}
}
Computing Applicability Conditions for Plans with Loops
Srivastava, S.; Immerman, N.; and Zilberstein, S.
In Proc. of ICAPS, 2010.
bibtex
@inproceedings{ srivastava10_precons,
author = {Siddharth Srivastava and Neil Immerman and Shlomo
Zilberstein},
title = {Computing Applicability Conditions for Plans with Loops},
booktitle = {Proc. of ICAPS},
year = {2010}
}
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 Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece, 2009.
bibtex
@inproceedings{ bonet09_controller,
title = {Automatic Derivation of Memoryless Policies and FiniteState Controllers Using Classical Planners},
author = {Blai Bonet and Hector Palacios and Hector Geffner},
booktitle = {Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece},
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}
}
2008
(3)
Using Abstraction for Generalized Planning
Srivastava, S.; Immerman, N.; and Zilberstein, S.
International Symposium on AI and Mathematics, . 2008.
bibtex
@article{ sriv08isaim,
author = {Srivastava, S and Immerman, N and Zilberstein, S},
title = {Using Abstraction for Generalized Planning},
journal = {International Symposium on AI and Mathematics},
year = {2008}
}
Learning Generalized Plans Using Abstract Counting
Srivastava, S.; Immerman, N.; and Zilberstein, S.
In Proc. of AAAI, pages 991997, 2008.
Paper
bibtex
@inproceedings{ srivastava08_genplan,
author = {Siddharth Srivastava and Neil Immerman and Shlomo
Zilberstein},
title = {Learning Generalized Plans Using Abstract Counting.},
booktitle = {Proc. of AAAI},
pages = {991997},
biburl = {http://www.bibsonomy.org/bibtex/2eeb13869151626879777caceceed6715/dblp},
isbn = {9781577353683},
url = {http://dblp.unitrier.de/db/conf/aaai/aaai2008.html#SrivastavaIZ08},
year = {2008}
}
Foundations of Generalized Planning
Srivastava, S.; Immerman, N.; and Zilberstein, S.
Technical Report UMCS2008039, Dept. of Computer Science, Univ. of Massachusetts, Amherst, . 2008.
bibtex
@article{ srivastava08_TR,
author = {Srivastava, Siddharth and Immerman, Neil and
Zilberstein, Shlomo},
title = {Foundations of {G}eneralized {P}lanning},
journal = {Technical Report UMCS2008039, Dept. of Computer
Science, Univ. of Massachusetts, Amherst},
year = {2008}
}
2007
(3)
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
3 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}
}
Using Abstraction for Generalized Planning
Srivastava, S.; Immerman, N.; and Zilberstein, S.
Technical Report 0741, Dept. of Computer Science, Univ. of Massachusetts, Amherst, 2007.
bibtex
@techreport{ fullVersion,
author = {Srivastava, S. and Immerman, N. and Zilberstein, S.},
title = {Using Abstraction for Generalized Planning},
institution = {0741, Dept. of Computer Science, Univ. of
Massachusetts, Amherst},
year = {2007}
}
LoopDISTILL: Learning DomainSpecific Planners from Example Plans
Winner, E.; and Veloso, M. M.
In Workshop on AI Planning and Learning, ICAPS, 2007.
bibtex
@inproceedings{ winner07_loop,
author = {Winner, Elly and Veloso, Manuela M.},
title = {Loop{DISTILL}: Learning DomainSpecific Planners from
Example Plans},
booktitle = {Workshop on {AI} Planning and Learning, {ICAPS}},
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
(2)
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}
}
Planning with Loops
Levesque, H. J.
In Proc. of IJCAI, pages 509515, 2005.
Paper
bibtex
@inproceedings{ levesque05_loop,
author = {Hector J. Levesque},
title = {Planning with Loops.},
booktitle = {Proc. of IJCAI},
pages = {509515},
isbn = {0938075934},
url = {http://dblp.unitrier.de/db/conf/ijcai/ijcai2005.html#Levesque05},
year = {2005}
}
2003
(2)
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}
}
DISTILL: Learning DomainSpecific Planners by Example
Winner, E.; and Veloso, M. M.
In Proc. of ICML, pages 800807, 2003.
Paper
bibtex
@inproceedings{ winner03_distill,
author = {Elly Winner and Manuela M. Veloso},
title = {DISTILL: Learning DomainSpecific Planners by Example.},
booktitle = {Proc. of ICML},
pages = {800807},
isbn = {1577351894},
url = {http://dblp.unitrier.de/db/conf/icml/icml2003.html#WinnerV03},
year = {2003}
}
2002
(2)
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}
}
Parametric shape analysis via 3valued logic
Sagiv, M.; Reps, T.; and Wilhelm, R.
ACM Transactions on Programming Languages and Systems, 24(3):217298. 2002.
bibtex
@article{ tvlaToplas,
author = {Sagiv, M. and Reps, T. and Wilhelm, R.},
title = {Parametric shape analysis via 3valued logic},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {24},
number = {3},
pages = {217298},
year = {2002}
}
2001
(1)
A Survey on CaseBased Planning
Spalzzi, L.
Artif. Intell. Rev., 16(1):336. 2001.
bibtex
@article{ spalzzi01_cbp,
author = {Luca Spalzzi},
title = {A Survey on CaseBased Planning},
journal = {Artif. Intell. Rev.},
volume = {16},
number = {1},
pages = {336},
year = {2001}
}
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
(2)
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}
}
Foundations for the situation calculus
Levesque, H. J.; Pirri, F.; and Reiter, R.
Electronic Transactions on Artificial Intelligence, 2:159178. 1998.
bibtex
@article{ levesque98_sitcalc,
author = {Hector J. Levesque and Fiora Pirri and Ray Reiter},
title = {Foundations for the situation calculus},
journal = {Electronic Transactions on Artificial Intelligence},
year = {1998},
volume = {2},
pages = {159178}
}
1997
(1)
GOLOG: A Logic Programming Language for Dynamic Domains
Levesque, H. J.; Reiter, R.; Lesperance, Y.; Lin, F.; and Scherl, R. B.
Journal of Logic Programming, 31. 1997.
bibtex
6 downloads
@article{ levesque97_golog,
author = {Hector J. Levesque and Raymond Reiter and Yves Lesperance and Fangzhen Lin and Richard B. Scherl},
title = {GOLOG: A Logic Programming Language for Dynamic Domains},
journal = {Journal of Logic Programming},
year = {1997},
volume = {31}
}
1990
(1)
Acquiring Recursive and Iterative Concepts with ExplanationBased Learning
Shavlik, J. W.
Machine Learning, 5:3940. 1990.
Paper
bibtex
@article{ shavlik90_Bagger2,
author = {Jude W. Shavlik},
title = {Acquiring Recursive and Iterative Concepts with
ExplanationBased Learning.},
journal = {Machine Learning},
volume = {5},
pages = {3940},
biburl = {http://www.bibsonomy.org/bibtex/229247414fa0617b7421828a02aba75c4/dblp},
url = {http://dblp.unitrier.de/db/journals/ml/ml5.html#Shavlik90},
year = {1990}
}
1986
(2)
ExplanationBased Learning: An Alternative View
Dejong, G.; and Mooney, R.
Mach. Learn., 1(2):145176. 1986.
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>
