@INPROCEEDINGS{DBLP:conf/aaai/KambhampatiMS98,
author = {Subbarao Kambhampati and Amol Dattatraya Mali and Biplav Srivastava},
title = {Hybrid Planning for Partially Hierarchical Domains.},
booktitle = {AAAI/IAAI},
year = {1998},
pages = {882-888},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://rakaposhi.eas.asu.edu/aaai-98.pdf}
}
@INPROCEEDINGS{DBLP:conf/aaai/KuterN04,
author = {Ugur Kuter and Dana S. Nau},
title = {Forward-Chaining Planning in Nondeterministic Domains.},
booktitle = {AAAI},
year = {2004},
pages = {513-518},
crossref = {DBLP:conf/aaai/2004},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/forward-aaai04.pdf}
}
@INPROCEEDINGS{DBLP:conf/aaai/NauSE98,
author = {Dana S. Nau and Stephen J. J. Smith and Kutluhan Erol},
title = {Control Strategies in {HTN} Planning: Theory Versus Practice.},
booktitle = {AAAI/IAAI},
year = {1998},
pages = {1127-1133},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/planning-iaai98.pdf}
}
@INPROCEEDINGS{DBLP:conf/aips/ErolHN94,
author = {Kutluhan Erol and James A. Hendler and Dana S. Nau},
title = {{UMCP}: A Sound and Complete Procedure for Hierarchical Task-network Planning.},
booktitle = {AIPS},
year = {1994},
pages = {249-254},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/aips-94.ps}
}
@INPROCEEDINGS{DBLP:conf/aips/KuterNPT05,
author = {Ugur Kuter and Dana S. Nau and Marco Pistore and Paolo Traverso},
title = {A Hierarchical Task-Network Planner based on Symbolic Model Checking.},
booktitle = {ICAPS},
year = {2005},
pages = {300-309},
crossref = {DBLP:conf/aips/2005},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/kuter05hierarchical.pdf}
}
@INPROCEEDINGS{DBLP:conf/ecai/KautzS92,
author = {Henry A. Kautz and Bart Selman},
title = {Planning as Satisfiability.},
booktitle = {ECAI},
year = {1992},
pages = {359-363},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.ucla.edu/~darwiche/cs264a/92_ecai_satplan.ps}
}
@INPROCEEDINGS{DBLP:conf/ecp/BonetG99,
author = {Blai Bonet and Hector Geffner},
title = {Planning as Heuristic Search: New Results.},
booktitle = {ECP},
year = {1999},
pages = {360-372},
crossref = {DBLP:conf/ecp/1999},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.ldc.usb.ve/~bonet/reports/ecp99-hspr.ps}
}
@INPROCEEDINGS{DBLP:conf/focs/Pnueli77,
author = {Amir Pnueli},
title = {The Temporal Logic of Programs},
booktitle = {FOCS},
year = {1977},
pages = {46-57},
crossref = {DBLP:conf/focs/FOCS18},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/icra/BelkerHH03,
author = {Thorsten Belker and Martin Hammel and Joachim Hertzberg},
title = {Learning to optimize mobile robot navigation based on {HTN} plans.},
booktitle = {ICRA},
year = {2003},
pages = {4136-4141},
crossref = {DBLP:conf/icra/2003},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://citeseer.ist.psu.edu/624917.html}
}
@INPROCEEDINGS{DBLP:conf/ijcai/ErolHNT95,
author = {Kutluhan Erol and James A. Hendler and Dana S. Nau and Reiko Tsuneto},
title = {A Critical Look at Critics in {HTN} Planning.},
booktitle = {IJCAI},
year = {1995},
pages = {1592-1598},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/critics-ijcai95.ps}
}
@INPROCEEDINGS{DBLP:conf/ijcai/KautzS99,
author = {Henry A. Kautz and Bart Selman},
title = {Unifying {SAT}-based and Graph-based Planning.},
booktitle = {IJCAI},
year = {1999},
pages = {318-325},
crossref = {DBLP:conf/ijcai/99},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.rochester.edu/u/kautz/satplan/blackbox/ijcai99blackbox.ps}
}
@INPROCEEDINGS{DBLP:conf/ijcai/KoenigS95,
author = {Sven Koenig and Reid G. Simmons},
title = {Real-Time Search in Non-Deterministic Domains.},
booktitle = {IJCAI},
year = {1995},
pages = {1660-1669},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://idm-lab.org/bib/abstracts/papers/ijcai95a.pdf}
}
@INPROCEEDINGS{DBLP:conf/ijcai/NauCLM99,
author = {Dana S. Nau and Yue Cao and Amnon Lotem and H{\'e}ctor Mu{\~n}oz-Avila},
title = {{SHOP}: {S}imple {H}ierarchical {O}rdered {P}lanner.},
booktitle = {IJCAI},
year = {1999},
pages = {968-975},
crossref = {DBLP:conf/ijcai/99},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/shop-ijcai99.pdf}
}
@INPROCEEDINGS{DBLP:conf/ijcai/Sacerdoti75,
author = {Earl D. Sacerdoti},
title = {The Nonlinear Nature of Plans.},
booktitle = {IJCAI},
year = {1975},
pages = {206-214},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://dli.iiit.ac.in/ijcai/IJCAI-75-VOL-1\&2/PDF/028.pdf}
}
@INPROCEEDINGS{DBLP:conf/ijcai/Tate77,
author = {Austin Tate},
title = {Generating Project Networks.},
booktitle = {IJCAI},
year = {1977},
pages = {888-893},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.aiai.ed.ac.uk/project/nonlin/1977-ijcai-tate-generating-project-networks.pdf}
}
@INPROCEEDINGS{DBLP:conf/lwa/Ullrich05,
author = {Carsten Ullrich},
title = {Course Generation Based on {HTN} Planning.},
booktitle = {LWA},
year = {2005},
pages = {74-79},
crossref = {DBLP:conf/lwa/2005},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.activemath.org/publications/Ullrich-CourseGenerationHTN-ABIS-2005.pdf}
}
@INPROCEEDINGS{DBLP:conf/semweb/AuKN05,
author = {Tsz-Chiu Au and Ugur Kuter and Dana S. Nau},
title = {Web Service Composition with Volatile Information.},
booktitle = {International Semantic Web Conference},
year = {2005},
pages = {52-66},
ee = {http://dx.doi.org/10.1007/11574620_7},
crossref = {DBLP:conf/semweb/2005},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/au05web.pdf}
}
@INPROCEEDINGS{DBLP:conf/semweb/WuPSHN03,
author = {Dan Wu and Bijan Parsia and Evren Sirin and James A. Hendler and Dana S. Nau},
title = {Automating {DAML-S} Web Services Composition Using {SHOP2}.},
booktitle = {International Semantic Web Conference},
year = {2003},
pages = {195-210},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2870{\&}spage=195},
crossref = {DBLP:conf/semweb/2003},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/ISWC03-SHOP2.pdf}
}
@INPROCEEDINGS{DBLP:conf/time/DohertyK99,
author = {Patrick Doherty and Jonas Kvarnstr{\"o}m},
title = {{TAL}planner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.},
booktitle = {TIME},
year = {1999},
pages = {47-54},
ee = {http://computer.org/conferen/proceed/time/0173/01730047abs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://citeseer.ist.psu.edu/doherty99talplanner.html}
}
@INPROCEEDINGS{DBLP:conf/www/WuSHNP03,
author = {Dan Wu and Evren Sirin and James A. Hendler and Dana S. Nau and Bijan Parsia},
title = {Automatic Web Services Composition Using {SHOP2}.},
booktitle = {WWW (Posters)},
year = {2003},
ee = {http://www2003.org/cdrom/papers/poster/p226/p226-wu.html},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/wu03automatic.pdf}
}
@ARTICLE{DBLP:journals/ai/BacchusK00,
author = {Fahiem Bacchus and Froduald Kabanza},
title = {Using temporal logics to express search control knowledge for planning.},
journal = {Artif. Intell.},
volume = {116},
number = {1-2},
year = {2000},
pages = {123-191},
ee = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.toronto.edu/~fbacchus/Papers/tlplanaij.pdf}
}
@ARTICLE{DBLP:journals/ai/BlumF97,
author = {Avrim Blum and Merrick L. Furst},
title = {Fast Planning Through Planning Graph Analysis.},
journal = {Artif. Intell.},
volume = {90},
number = {1-2},
year = {1997},
pages = {281-300},
ee = {http://dx.doi.org/10.1016/S0004-3702(96)00047-1},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.cmu.edu/~avrim/Papers/graphplan.pdf}
}
@ARTICLE{DBLP:journals/ai/CimattiPRT03,
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 = {1-2},
year = {2003},
pages = {35-84},
ee = {http://dx.doi.org/10.1016/S0004-3702(02)00374-0},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://sra.itc.it/tools/mbp/paper/weak-strong-strongcyclic.ps.gz}
}
@ARTICLE{DBLP:journals/ai/CurrieT91,
author = {Ken Currie and Austin Tate},
title = {O-Plan: The open Planning Architecture.},
journal = {Artif. Intell.},
volume = {52},
number = {1},
year = {1991},
pages = {49-86},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.aiai.ed.ac.uk/project/oplan/documents/1991/91-aij-oplan.pdf}
}
@ARTICLE{DBLP:journals/ai/ErolNS95,
author = {Kutluhan Erol and Dana S. Nau and V. S. Subrahmanian},
title = {Complexity, Decidability and Undecidability Results for Domain-Independent Planning.},
journal = {Artif. Intell.},
volume = {76},
number = {1-2},
year = {1995},
pages = {75-88},
ee = {http://dx.doi.org/10.1016/0004-3702(94)00080-K},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/aijnote.pdf}
}
@ARTICLE{DBLP:journals/ai/FikesN71,
author = {Richard Fikes and Nils J. Nilsson},
title = {{STRIPS}: A New Approach to the Application of Theorem Proving to Problem Solving.},
journal = {Artif. Intell.},
volume = {2},
number = {3/4},
year = {1971},
pages = {189-208},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.ai.sri.com/pubs/files/tn043r-fikes71.pdf}
}
@ARTICLE{DBLP:journals/amai/ErolHN96,
author = {Kutluhan Erol and James A. Hendler and Dana S. Nau},
title = {Complexity Results for {HTN} Planning.},
journal = {Ann. Math. Artif. Intell.},
volume = {18},
number = {1},
year = {1996},
pages = {69-93},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/complexity-amai96.ps}
}
@ARTICLE{DBLP:journals/apin/BonetG01,
author = {Blai Bonet and Hector Geffner},
title = {Planning and Control in Artificial Intelligence: A Unifying Perspective.},
journal = {Appl. Intell.},
volume = {14},
number = {3},
year = {2001},
pages = {237-252},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.ldc.usb.ve/~bonet/reports/planning-control.ps}
}
@ARTICLE{DBLP:journals/ci/Wilkins90,
author = {David E. Wilkins},
title = {Can {AI} planners solve practical problems?},
journal = {Computational Intelligence},
volume = {6},
year = {1990},
pages = {232-246},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.ai.sri.com/~wilkins/papers/cij-beer.pdf}
}
@ARTICLE{DBLP:journals/ci/Yang90,
author = {Qiang Yang},
title = {Formalizing planning knowledge for hierarchical planning.},
journal = {Computational Intelligence},
volume = {6},
year = {1990},
pages = {12-24},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.ust.hk/~qyang/Docs/1990/Formalizing\%20planning\%20knowledge\%20for\%20hierarchical\%20planning.pdf}
}
@ARTICLE{DBLP:journals/csur/Bryant92,
author = {Randal E. Bryant},
title = {Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams.},
journal = {ACM Comput. Surv.},
volume = {24},
number = {3},
year = {1992},
pages = {293-318},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.cmu.edu/~bryant/pubdir/acmcs92.ps}
}
@ARTICLE{DBLP:journals/etai/DohertyGKK98,
author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr{\"o}m},
title = {{TAL}: {T}emporal {A}ction {L}ogics Language Specification and Tutorial.},
journal = {Electron. Trans. Artif. Intell.},
volume = {2},
year = {1998},
pages = {273-306},
ee = {http://www.ep.liu.se/ej/etai/1998/009/},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://citeseer.ist.psu.edu/doherty98temporal.html}
}
@ARTICLE{DBLP:journals/expert/NauAIKMMWY05,
author = {Dana S. Nau and Tsz-Chiu Au and Okhtay Ilghami and Ugur Kuter and H{\'e}ctor Mu{\~n}oz-Avila and J. William Murdock and Dan Wu and Fusun Yaman},
title = {Applications of {SHOP} and {SHOP2}.},
journal = {IEEE Intelligent Systems},
volume = {20},
number = {2},
year = {2005},
pages = {34-41},
ee = {http://doi.ieeecomputersociety.org/10.1109/MIS.2005.20},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.cs.umd.edu/~nau/papers/nau04applications.pdf}
}
@ARTICLE{DBLP:journals/jair/HoffmannN01,
author = {J{\"o}rg Hoffmann and Bernhard Nebel},
title = {The {FF} Planning System: Fast Plan Generation Through Heuristic Search.},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {14},
year = {2001},
pages = {253-302},
ee = {http://www.cs.washington.edu/research/jair/abstracts/hoffmann01a.html},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://members.deri.at/~joergh/papers/jair01.ps.gz}
}
@ARTICLE{DBLP:journals/jair/NauAIKMWY03,
author = {Dana S. Nau and Tsz-Chiu Au and Okhtay Ilghami and Ugur Kuter and J. William Murdock and Dan Wu and Fusun Yaman},
title = {{SHOP2}: An {HTN} Planning System.},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {20},
year = {2003},
pages = {379-404},
ee = {http://www.cs.washington.edu/research/jair/abstracts/nau03a.html},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.jair.org/media/1141/live-1141-2152-jair.pdf}
}
@ARTICLE{DBLP:journals/jfp/Erwig04,
author = {Martin Erwig},
title = {Escape from Zurg: an exercise in logic programming.},
journal = {J. Funct. Program.},
volume = {14},
number = {3},
year = {2004},
pages = {253-261},
ee = {http://dx.doi.org/10.1017/S0956796804005040},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://web.engr.oregonstate.edu/~erwig/papers/Zurg_JFP04.pdf}
}
@ARTICLE{DBLP:journals/scp/EmersonC82,
author = {E. Allen Emerson and Edmund M. Clarke},
title = {Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons.},
journal = {Sci. Comput. Program.},
volume = {2},
number = {3},
year = {1982},
pages = {241-266},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://dx.doi.org/10.1016/0167-6423(83)90017-5}
}
@ARTICLE{DBLP:journals/tplp/Raamsdonk01,
author = {Femke van Raamsdonk},
title = {Book Review - Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press},
isbn = {0521652006},
journal = {TPLP},
volume = {1},
number = {1},
year = {2001},
pages = {123-125},
ee = {http://www.cs.bham.ac.uk/research/lics/},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@ARTICLE{DBLP:journals/ws/SirinPWHN04,
author = {Evren Sirin and Bijan Parsia and Dan Wu and James A. Hendler and Dana S. Nau},
title = {{HTN} planning for Web Service composition using {SHOP2}.},
journal = {J. Web Sem.},
volume = {1},
number = {4},
year = {2004},
pages = {377-396},
ee = {http://dx.doi.org/10.1016/j.websem.2004.06.005},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.websemanticsjournal.org/ps/pub/2004-24}
}
@BOOK{aima,
author = {Stuart Russell and Peter Norvig},
title = {Artificial Intelligence: {A} Modern Approach},
publisher = {Prentice-Hall, Englewood Cliffs, NJ},
year = {2003},
edition = {2nd},
url = {http://aima.cs.berkeley.edu/}
}
@INPROCEEDINGS{barendregt88introduction,
author = {H. P. Barendregt},
title = {Introduction to Lambda Calculus},
booktitle = {Aspen{\ae}s Workshop on Implementation of Functional Languages, G{\"o}teborg},
publisher = {Programming Methodology Group, University of G{\"o}teborg and Chalmers University of Technology},
year = {1988},
url = {http://citeseer.ist.psu.edu/barendregt94introduction.html}
}
@MISC{bouguerra04hierarchical,
author = {A. Bouguerra and L. Karlsson},
title = {Hierarchical task planning under uncertainty},
text = {A. Bouguerra and L. Karlsson. Hierarchical task planning under uncertainty. In 3rd Italian Workshop on Planning and Scheduling (AI*IA 2004).},
year = {2004},
url = {http://citeseer.ist.psu.edu/bouguerra04hierarchical.html}
}
@INPROCEEDINGS{burch90symbolic,
author = {{J.R. Burch} and {E.M. Clarke} and {K.L. McMillan} and {D.L. Dill} and {L.J. Hwang}},
title = {{S}ymbolic {M}odel {C}hecking: $10^{20}$ {S}tates and {B}eyond},
booktitle = {Proceedings of the Fifth Annual {IEEE} Symposium on Logic in Computer Science},
publisher = {{IEEE} Computer Society Press},
address = {Washington, D.C.},
pages = {1--33},
year = {1990},
url = {http://citeseer.ist.psu.edu/burch90symbolic.html}
}
@PHDTHESIS{christiansen06,
author = {Jan Christiansen},
title = {A purely functional implementation of {ROBDD}s in {H}askell},
school = {Christian-Albrechts-Universität zu Kiel},
year = 2006,
url = {http://www.informatik.uni-kiel.de/~mh/lehre/diplomarbeiten/christiansen.pdf}
}
@INPROCEEDINGS{erol94htn,
author = {Kutluhan Erol and James Hendler and Dana S. Nau},
title = {{HTN} Planning: Complexity and Expressivity},
booktitle = {Proceedings of the Twelfth National Conference on Artificial Intelligence ({AAAI}-94)},
volume = {2},
publisher = {AAAI Press/MIT Press},
address = {Seattle, Washington, USA},
isbn = {0-262-51078-2},
pages = {1123--1128},
year = {1994},
url = {http://citeseer.ist.psu.edu/24780.html}
}
@TECHREPORT{erol94semantics,
author = {Kutluhan Erol and James Hendler and Dana S. Nau},
title = {Semantics for {HTN} Planning},
number = {CS-TR-3239},
year = {1994},
month = {March},
institution = {University of Maryland},
url = {http://citeseer.ist.psu.edu/erol94semantics.html}
}
@INPROCEEDINGS{felipe07,
author = {Felipe W. Trevizan and Fabio G. Cozman and Leliane N. de Barros},
title = {Planning under Risk and Knightian Uncertainty},
booktitle = {IJCAI},
year = {2007},
url = {http://www.ijcai.org/papers07/Papers/IJCAI07-326.pdf}
}
@MISC{gammie,
author = {Peter Gammie},
title = {A {H}askell binding to {L}ong's {BDD} library},
url = {http://www.cse.unsw.edu.au/~mck/}
}
@BOOK{howard60,
author = {R. Howard},
title = {Dynamic Programming and Markov Processes},
publisher = {{MIT} Press},
place = {Cambridge, MA},
year = {1960},
isbn = {0262080095}
}
@ARTICLE{hughes:matters-cj,
author = {J. Hughes},
title = {{Why Functional Programming Matters}},
journal = {Computer Journal},
volume = {32},
number = {2},
pages = {98--107},
year = {1989},
url = {http://citeseer.ist.psu.edu/hughes84why.html}
}
@UNPUBLISHED{jones92partial,
author = {Neil D. Jones},
title = {Partial Evaluation and the Generation of Program Generators},
year = {1992},
note = {Accepted to appear in Communications of The ACM, 1993},
url = {http://citeseer.ist.psu.edu/article/jones93partial.html}
}
@BOOK{knight21,
author = {Frank H. Knight},
title = {Risk, Uncertainty and Profit},
publisher = {Hart, Schaffner, and Marx},
year = 1921,
url = {http://isbn.nu/1587981262}
}
@PHDTHESIS{kuter06thesis,
author = {Ugur Kuter},
title = {Planning under Uncertainty: Moving Forward},
school = {University of Maryland, College Park},
year = 2006,
url = {http://www.cs.umd.edu/~ukuter/papers/kuter06thesis.pdf}
}
@UNPUBLISHED{lago06alphactl,
author = {Sílvio do Lago Pereira},
title = {Planejamento Não-Determinístico Baseado em Verificação de Modelos},
year = {2006},
note = {Qualificação de Doutorado},
url = {http://www.ime.usp.br/~slago}
}
@MISC{leijen-parsec,
author = {Daan Leijen},
title = {Parsec, a Fast Combinator Parser},
url = {http://citeseer.ist.psu.edu/333307.html}
}
@INPROCEEDINGS{mali98encoding,
author = {Amol Dattatraya Mali and Subbarao Kambhampati},
title = {Encoding {HTN} Planning in Propositional Logic},
booktitle = {Artificial Intelligence Planning Systems},
pages = {190--198},
year = {1998},
url = {http://citeseer.ist.psu.edu/mali98encoding.html}
}
@BOOK{Okasaki:1998,
key = {Okasaki},
author = {Chris Okasaki},
title = {Purely Functional Data Structures},
publisher = {Cambridge University Press},
year = {1998},
address = {Cambridge, UK},
annote = {Data structures and efficiency analysis for functional programming. Code in ML and Haskell. Many references.},
url = {http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf}
}
@MISC{okhtay04general,
author = {O. Okhtay and D. Nau},
title = {A general approach to synthesize problem-specific planners},
type = {Technical Report CS-TR-4597, UMIACS-TR-2004-40},
institution = {University of Maryland},
year = {2004},
url = {http://citeseer.ist.psu.edu/okhtay03general.html}
}
@MISC{roveri-planning,
author = {Marco Roveri},
title = {Planning in Non-Deterministic Domains via Symbolic Model Checking},
url = {http://citeseer.ist.psu.edu/roveri02planning.html},
year = 2001
}
@UNPUBLISHED{simonpj07,
author = {Paul Hudak and John Hughes and Simon Peyton Jones and Philip Wadler},
title = {A History of {H}askell: Being Lazy with Class},
year = {2007},
month = {April},
city = {San Diego, CA},
note = {Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III)},
url = {http://research.microsoft.com/~simonpj/papers/history-of-haskell/history.pdf}
}
@MISC{son02domaindependent,
author = {T. Son and C. Baral and T. Nam and S. McIlraith},
title = {Domain-Dependent Knowledge in Answer Set Planning},
institution = {New Mexico State University},
type = {Technical Report CS-2002-007},
year = {2002},
url = {http://citeseer.ist.psu.edu/son02domaindependent.html}
}
@BOOK{GhaNauTra04,
author = {Malik Ghallab and Dana Nau and Paolo Traverso},
title = {Automated Planning: Theory and Practice},
publisher = {Morgan Kaufman},
address = {San Francisco, CA},
year = {2004},
month = {May},
isbn = {1-55860-856-7},
url = {http://www.laas.fr/planning}
}
@PROCEEDINGS{DBLP:conf/aaai/2004,
editor = {Deborah L. McGuinness and George Ferguson},
title = {Proceedings of the Nineteenth National Conference on Artificial
Intelligence, Sixteenth Conference on Innovative Applications
of Artificial Intelligence, July 25-29, 2004, San Jose,
California, USA},
publisher = {AAAI Press / The MIT Press},
year = {2004},
isbn = {0-262-51183-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{DBLP:conf/aips/2005,
editor = {Susanne Biundo and
Karen L. Myers and
Kanna Rajan},
title = {Proceedings of the Fifteenth International Conference on
Automated Planning and Scheduling (ICAPS 2005), June 5-10
2005, Monterey, California, USA},
booktitle = {ICAPS},
publisher = {AAAI},
year = {2005},
isbn = {1-57735-220-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{DBLP:conf/ecp/1999,
editor = {Susanne Biundo and Maria Fox},
title = {Recent Advances in {AI} Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
booktitle = {ECP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1809},
year = {2000},
isbn = {3-540-67866-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{DBLP:conf/focs/FOCS18,
title = {18th Annual Symposium on Foundations of Computer Science,
31 October-2 November, Providence, Rhode Island, USA},
booktitle = {FOCS},
editor = {IEEE},
year = {1977},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{DBLP:conf/icra/2003,
title = {Proceedings of the 2003 IEEE International Conference on
Robotics and Automation, ICRA 2003, September 14-19, 2003,
Taipei, Taiwan},
booktitle = {ICRA},
editor = {IEEE},
year = {2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{DBLP:conf/ijcai/99,
editor = {Thomas Dean},
title = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages},
publisher = {Morgan Kaufmann},
year = {1999},
isbn = {1-55860-613-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{DBLP:conf/lwa/2005,
editor = {Mathias Bauer and Boris Brandherm and Johannes F{\"u}rnkranz and Gunter Grieser and Andreas Hotho and Andreas Jedlitschka and Alexander Kr{\"o}ner},
title = {Lernen, Wissensentdeckung und Adaptivit{\"a}t (LWA) 2005, GI Workshops, Saarbr{\"u}cken, October 10th-12th, 2005},
booktitle = {LWA},
publisher = {DFKI},
year = {2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{DBLP:conf/semweb/2003,
editor = {Dieter Fensel and Katia P. Sycara and John Mylopoulos},
title = {The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings},
booktitle = {International Semantic Web Conference},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2870},
year = {2003},
isbn = {3-540-20362-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PROCEEDINGS{DBLP:conf/semweb/2005,
editor = {Yolanda Gil and Enrico Motta and V. Richard Benjamins and Mark A. Musen},
title = {The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
booktitle = {International Semantic Web Conference},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3729},
year = {2005},
isbn = {3-540-29754-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This file has been generated by bibtex2html 1.85.