extpubs.bib

 author = {Hofstadter, Douglas R.},
 year = {1979},
 title= {G{\"o}del, Escher, Bach: An Eternal Golden Braid},
 publisher = {Basic Books},
 isbn = { 0-465-02656-7}}

@misc{python-regexp:URL,crossref={python-regexp:base},
key = {RE},
howpublished = {online manual at \url{https://docs.python.org/2/library/re.html}}}
@online{python-regexp:on,crossref={python-regexp:base},
label = {RE},
urldate = {2015-09-20}}
@misc{python-regexp:base,
url = {https://docs.python.org/2/library/re.html},
title = {\texttt{re} -- Regular expression operations}}

@incollection{MosCodNeuKut:dol15,
author = {Till Mossakowski and Mihai Codescu and Fabian Neuhaus and Oliver Kutz},
crossref = {KosBuc:rtul15},
title = {The Distributed Ontology, Modeling, and Specification Language -- DOL},
pages = {489--520}}

@incollection{Gonthier+:mcpoot13,
doi = {10.1007/978-3-642-39634-2_14},
title = {A Machine-Checked Proof of the Odd Order Theorem},
url = {http://dx.doi.org/10.1007/978-3-642-39634-2_14},
author = {Gonthier, Georges and Asperti, Andrea and Avigad, Jeremy and Bertot, Yves and
          Cohen, Cyril and Garillot, Fran{\c{c}}ois and Le Roux, St{\`e}phane and
          Mahboubi, Assia and O'Connor, Russell and Ould Biha, Sidi and Pasca,
          Ioana and Rideau, Laurence and Solovyev, Alexey and Tassi, Enrico and
          Th{\'e}ry, Laurent},
pages={163--179},
crossref= {ITP13}
}

@online{Flyspeck-complete:on,urldate={2014-12-4},crossref={Flyspeck-complete:base}}
@misc{Flyspeck-complete:url,crossref={Flyspeck-complete:base},
  howpublished = {Wiki page at \url{url = {https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion}}}}
@misc{Flyspeck-complete:base,
  title = {flyspeck: Announcement of Completion},
  author = {Tom Callister Hales},
  url = {https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion}}

@online{pyton3doc:on,crossref={python3doc:base},urldate = {2014-09-02},label={P3D}}
@misc{python3doc:url,crossref={python3doc:base},note = {seen 2014-09-02},
  howpublished = {\url{https://docs.python.org/3/}},
  key = {P3D}}
@misc{python3doc:base,
title = {Python 3 Documentation},
url = {https://docs.python.org/3/}}

@online{es:online,
  title = {Elastic Search},
  date = {2014-02-20},
  url = {http://www.elasticsearch.org/},
  urldate =      {2014-02-20}}

@article{Matijasevic:esd70,
author = {Ju. V. Matijasevi{\v{c}}},
title = {Enumerable sets are diophantine},
journal = {Soviet Math. Doklady},
volume = {11},
year = {1970},
pages = {354-358}}

@online{sthurlow:abpt:on,crossref={sthurlow:abpt:base},urldate = {2014-09-02},label={BPT}}
@misc{sthurlow:abpt:url,crossref={sthurlow:abpt:base},note = {seen 2014-09-02},
  howpublished = {\url{http://www.sthurlow.com/python/}},
  key = {BPT}}
@misc{sthurlow:abpt:base,
title = {A Beginner's Python Tutorial},
url = {http://www.sthurlow.com/python/}}

@online{Sanderson:auc15,
title = {Annotation Use Cases},
editor = {Robert Sanderson},
url = {http://w3c.github.io/dpub-annotation/},
urldate = {2015-05-30},
type = {W3C Interest Group Note}}

@online{SanCicSom:oadm13,
title = {Open Annotation Data Model},
editor = {Robert Sanderson and Paolo Ciccarese and Herbert Van de Sompel},
url = {http://www.openannotation.org/spec/core/},
date = {2013},
type = {W3C Community Draft}}

@misc{Knupp:iypuut,crossref={Knupp:iypuut:base},
 howpublished = {Web tutorial at \url{http://www.jeffknupp.com/blog/2013/12/09/improve-your-python-understanding-unit-testing/}}}

@online{Knupp:iypuut:on,crossref={Knupp:iypuut:base},urldate = {2015-03-08}}
@misc{Knupp:iypuut:base,
 author = {Jeff Knupp},
 title = {Improve Your Python: Understanding Unit Testing},
 url = {http://www.jeffknupp.com/blog/2013/12/09/improve-your-python-understanding-unit-testing/}}

@Incollection{newell:simon:ct-63,
  author = {Allen Newell and Herbert Simon},
  title = {{GPS}, a program that simulates human thought},
  booktitle = {Computers and Thought},
  editor = {E. Feigenbaum and J. Feldman},	
  year = {1963},
  pages = {279-293},
  publisher = mcgh
}

@Article{blum:furst:ai-97,
  author = 	 {Avrim L. Blum and Merrick L. Furst},
  title = 	 {Fast planning through planning graph analysis},
  journal = 	 ai,
  year = 	 {1997},
  volume =	 {90},
  number =	 {1-2},
  pages =        {279-298}
}

@InProceedings{kautz:selman:aaai-96,
  author = 	 {Henry A. Kautz and Bart Selman},
  title = 	 {Pushing the Envelope: Planning, Propositional Logic,
                  and Stochastic Search},
  crossref =	 {aaai96},
  pages =	 {1194-1201},
}

@InProceedings{kautz:selman:ecai-92,
  crossref =  "ecai92",
  author = 	 "Henry A. Kautz and Bart Selman",
  title = 	 "Planning as Satisfiability",
  pages = 	 "359-363",
  keywords = "planning",
}

@article{rintanen:etal:ai-06,
  author    = {Jussi Rintanen and
               Keijo Heljanko and
               Ilkka Niemel{\"a}},
  title     = {Planning as satisfiability: parallel plans and algorithms
               for plan search},
  journal   = {Artificial Intelligence},
  volume    = {170},
  number    = {12-13},
  year      = {2006},
  pages     = {1031-1080},
}

@inproceedings{rintanen:cp-10,
  author    = {Jussi Rintanen},
  title     = {Heuristics for Planning with {SAT}},
  booktitle = {Proceeedings of the 16th International Conference on Principles and Practice of Constraint Programming},
  year      = {2010},
  pages     = {414-428},
}

@Article{bonet:geffner:ai-01,
  author = 	 {Blai Bonet and H{\'e}ctor Geffner},
  title =        {Planning as Heuristic Search},
  journal = 	 ai,
  year =	 {2001},
  volume =	 {129},
  number =	 {1--2},
  pages =	 {5-33}
}

@InProceedings{bonet:geffner:ecp-99,
  author = 	 {Blai Bonet and H{\'e}ctor Geffner},
  title =        {Planning as Heuristic Search: New Results},
  year = 	 {1999},
  crossref =     {ecp99},
  pages =	 {60-72}
}

@InProceedings{haslum:geffner:aips-00,
  author = 	 {Patrik Haslum and Hector Geffner},
  title = 	 {Admissible Heuristics for Optimal Planning},
  pages =     {140-149},
  crossref =     {aips00}
}

@Article{hoffmann:nebel:jair-01,
  author = 	 {J{\"o}rg Hoffmann and Bernhard Nebel},
  title = 	 {The {FF} Planning System: Fast Plan Generation Through Heuristic Search},
  journal = 	 jair,
  year = 	 {2001},
  volume =	 {14},
  pages =	 {253-302}
}
@InProceedings{edelkamp:ecp-01,
  author = 	 {Stefan Edelkamp},
  title = 	 {Planning with Pattern Databases},
  crossref =     {ecp01},
  pages = {13-24}
}

@Article{helmert:jair-06,
  author =       "Malte Helmert",
  title =        "The {Fast} {Downward} Planning System",
  journal =      jair,
  year =         "2006",
  volume =       "26",
  pages =        "191--246"
}

@InProceedings{helmert:etal:icaps-07,
  author =       "Malte Helmert and Patrik Haslum and J{\"o}rg Hoffmann",
  title =        "Flexible Abstraction Heuristics for Optimal Sequential
                  Planning",
  crossref =     "icaps07",
  pages =        "176--183"
}

@InProceedings{karpas:domshlak:ijcai-09,
  author =       "Erez Karpas and Carmel Domshlak",
  title =        "Cost-Optimal Planning with Landmarks",
  pages =        "1728--1733",
  crossref =     "ijcai09"
}

@InProceedings{helmert:domshlak:icaps-09,
  author =       "Malte Helmert and Carmel Domshlak",
  title =        "Landmarks, Critical Paths and Abstractions: {What's} the Difference Anyway?",
  pages =        "162--169",
  crossref = "icaps09"}

@Article{richter:westphal:jair-10,
  author =       "Silvia Richter and Matthias Westphal",
  title =        "The {LAMA} Planner: Guiding Cost-Based Anytime
                  Planning with Landmarks",
  journal =      jair,
  volume =       "39",
  year =         "2010",
  pages =        "127--177"
}

@InProceedings{nissim:etal:ijcai-11,
  author =       "Raz Nissim and J{\"o}rg Hoffmann and Malte Helmert",
  title =        "Computing Perfect Heuristics in Polynomial Time:
                  On Bisimulation and Merge-and-Shrink Abstraction in
                  Optimal Planning",
  crossref =     "ijcai11",
  pages =        "1983--1990"
}

@InProceedings{katz:etal:icaps-12,
  author =       "Michael Katz and J{\"o}rg Hoffmann and Malte Helmert",
  title =        "How to Relax a Bisimulation?",
  crossref =     "icaps12",
  pages =        "101--109"
}

@InProceedings{keyder:etal:icaps-12,
  author =       "Emil Keyder and J{\"o}rg Hoffmann and Patrik Haslum",
  title =        "Semi-Relaxed Plan Heuristics",
  crossref =     "icaps12",
  pages = {128--136}
}

@InProceedings{katz:etal:icaps-13,
  author =       "Michael Katz and J{\"o}rg Hoffmann and Carmel Domshlak",
  title =        "Who Said We Need to Relax \emph{all} Variables?",
  crossref =     "icaps13",
  pages = "126-134"
}

@MANUAL{pddl-handbook,
   TITLE        = "The {PDDL} Planning Domain Definition Language",
   AUTHOR       = "Drew McDermott and others",
   ORGANIZATION = "The {AIPS-98} Planning Competition Comitee",
   YEAR      = "1998"
}

@Article{fox:long:jair-03,
  author = 	 {Maria Fox and Derek Long},
  title = 	 {{PDDL2.1}: An Extension to {PDDL} for Expressing Temporal Planning Domains},
  journal = 	 jair,
  year = 	 {2003},
  volume =	 {20},
  pages =	 {61-124}
}
@Article{hoffmann:edelkamp:jair-05,
  author = 	 {J{\"o}rg Hoffmann and Stefan Edelkamp},
  title = 	 {The Deterministic Part of IPC-4: An Overview},
  journal = 	 jair,
  year = {2005},
  volume = {24},
  pages = {519-579}
}
@article{gerevini:etal:ai-09,
  author    = {Alfonso Gerevini and
               Patrik Haslum and
               Derek Long and
               Alessandro Saetti and
               Yannis Dimopoulos},
  title     = {Deterministic planning in the fifth international
                  planning competition: {PDDL3} and experimental
                  evaluation of the planners},
  journal   = ai,
  volume    = {173},
  number    = {5-6},
  year      = {2009},
  pages     = {619-668},
}

@article{domshlak:etal:ai-15,
  author    = {Carmel Domshlak and J{\"o}rg Hoffmann and Michael Katz},
  title     = {Red-Black Planning: A New Systematic Approach to Partial Delete Relaxation},
  journal   = ai,
  year      = {2015},
  volume    = {221},
  pages     = {73-114}
}

@InProceedings{helmert:geffner:icaps-08,
  author = 	 {Malte Helmert and Hector Geffner},
  title = 	 {Unifying the Causal Graph and Additive Heuristics},
  crossref =     {icaps08},
  pages     = {140-147},
}

@Article{gerevini:etal:jair-03,
  author = 	 {Alfonso Gerevini and Alessandro Saetti and Ivan Serina},
  title = 	 {Planning through Stochastic Local Search and Temporal Action Graphs},
  journal = 	 jair,
  year = 	 {2003},
  volume = {20},
  pages =	 {239-290}
}


@InProceedings{koehler:etal:ecp-97,
  author = 	 {Jana Koehler and Bernhard Nebel and J{\"o}rg Hoffmann and Yannis Dimopoulos},
  title = 	 {Extending Planning Graphs to an {ADL} Subset},
  crossref =     "ecp97",
  pages =	 {273-285},
  OPTnote = 	 {},
  URL = {ftp://ftp.informatik.uni-freiburg.de/papers/ki/koehler-etal-ecp-97.ps.gz}
}

@InProceedings{blum:furst:ijcai-95,
  author = 	 {Avrim L. Blum and Merrick L. Furst},
  title = 	 {Fast planning through planning graph analysis},
  crossref =	 {ijcai95},
  pages =	 {1636-1642},
}

@online{Ryabitsev:pwot14:on,crossref={Ryabitsev:pwot14:base},urldate = {2014-09-20},label={WoT}}
@misc{Ryabitsev:pwot14:url,crossref={Ryabitsev:pwot14:base},note = {seen 2014-09-20},
  howpublished = {\url{http://www.linux.com/learn/tutorials/760909-pgp-web-of-trust-core-concepts}},
  key = {WoT}}
@misc{Ryabitsev:pwot14:base,
url = {http://www.linux.com/learn/tutorials/760909-pgp-web-of-trust-core-concepts},
title = {{PGP Web of Trust}: Core Concepts Behind Trusted Communication},
author = {Konstantin Ryabitsev}}
@book{Sweigart:iwp14,
  year = {2013},
  edition = {2},
  author = {Al Sweigart},
  title = {Invent with Python: Learn to program by making computer games},
  url = {http://inventwithpython.com},
  isbn = {978-0-9821060-1-3},
  note = {online at \url{http://inventwithpython.com}}}

@InProceedings{Libbrecht:CDNotations07,
  author = {Paul Libbrecht},
  title = {Content Dictionary Notations},
  crossref = {OpenJEM07},}

@inproceedings{SalXam:tgml12,
  author    = {Jordi Saludes and Sebastian Xamb{\'o}},
  title     = {The {GF} Mathematics Library},
  booktitle = {THedu},
  year      = {2011},
  pages     = {102--110},
  doi        = {10.4204/EPTCS.79.6},
  crossref  = {THEDU11}}

@book{Lewis:c73,
  author = {David K. Lewis},
  title = {Counterfactuals},
  year = {1973},
  publisher = {Blackwell Publishers}}


@incollection{Stalnaker:atc68,
  author = {Robert C. Stalnaker},
  year = {1968},
  title = {A Theory of Conditionals},
  booktitle = {Studies in Logical Theory, American Philosophical Quarterly},
  publisher = {Blackwell Publishers},
  pages = {98--112}}

@incollection{Kratzer:ncm81,
  author = {Angelika Kratzer},
  year = {1981},
  title = {The notional category of modality},
  booktitle = {Words, worlds, and contexts: New approaches in word semantics},
  editor = {Eikmeyer, H. J.  and H. Rieser},
  publisher = {Walter de Gruyter}}

@online{sphinxfonts:on,
label={FNT},
title={File:Typography Line Terms.svg},
url = {en.wikipedia.org/wiki/File:Typography_Line_Terms.svg}}

@online{MathCom:glo:on,
label = {MCG},
title = {Math.com Glossary},
url = {http://www.math.com/school/glossary/glossindex.html},
urldate = {2014-02-01}}

@online{EncMath:on,
label = {EM},
title = {Encyclopedia of Mathematics},
url = {http://www.encyclopediaofmath.org},
urldate = {2014-02-01}}

@online{BSL:MG:on,
label = {BSL},
title = {British Sign Language Math Glossary},
url = {http://www.ssc.education.ed.ac.uk/bsl/maths.html},
urldate = {2014-02-01}}

@online{chitanka:md:on,
label = {CMD},
title = {Math Dictionary},
url = {http://mathdict.chitanka.info/},
urldate = {2014-02-01}}

@online{anchovy:on,
label = {AN},
title = {Anchovy},
url = {http://www.maxprograms.com/products/anchovy.html},
urldate = {2014-02-01}}

@online{hrw:mg:on,
label = {HRW},
title = {HRW: Middle School Math -- Multilingual Glossary},
publisher = {Holt, Rinehart, and Winston},
url = {http://my.hrw.com/math06_07/nsmedia/tools/glossary/msm/glossary.html},
urldate = {2014-02-01}}

@inproceedings{SCMO:SPINformaliseAccountingWeb12,
  title = {Using {SPIN} to Formalise Accounting Regulations on the Semantic Web},
  authors = {Dennis Spohr and Philipp Cimiano and John McCrae and Se{\'a}n O'Riain},
  crossref = {FEOSW2012}
}

@inproceedings{CTG:SemWebXBRLFinance12,
  title = {Using Semantic Web Technologies to Facilitate {XBRL}-based Financial Data Comparability},
  authors = {H{\'e}ctor Carreti{\'e} and Beatriz Torvisco and Roberto Garc{\'i}a},
  crossref = {FEOSW2012},
}

@online{Wiedijk:100Theorems,
  title = {Formalizing 100 Theorems},
  author = {Freek Wiedijk},
  url = {http://www.cs.ru.nl/~freek/100/},
  urldate =      {2013-02-22},
  date = {2012-12-18}
}

@PhdThesis{Wolska:PHD,
  author = 	 {Magdalena A. Wolska},
  title = 	 {Student's Language in Computer-Assisted Tutoring of Mathematical Proofs},
  school = 	 {ComputerLinguistik, Saarland University},
  year = 	 2013}

@inproceedings{Vosloo:ModelValidTestPortfFinancReg:13,
  title = {Model Validation and Test Portfolios in Financial Regulation},
  author = {Neels Vosloo},
  crossref = {DoForm13},
}

@online{UITP,
  author = {David Aspinall and Serge Autexier and Chris Benzm{\"u}ller and Yves Bertot and Christoph L{\"u}th},
  title = {UITP (User Interfaces for Theorem Provers)},
  url = {http://www.informatik.uni-bremen.de/uitp/},
  urldate =      {2013-01-16},
  date = {2012-01-11}}

@online{ScienceWISE:on,
  label = {ScW},
  title = {{ScienceWise} -- Scientific Web-based Interactive Semantic Environemnt},
  url = {http://sciencewise.info},
  urldate =      {2013-01-16},
  date = {2013-01-16}}

@inproceedings{WhitesiteEtAl:SSReflect12,
  author = {Iain Whiteside and David Aspinall and Gudmund Grov},
  title = {An Essence of {SSReflect}},
  pages = {186--201},
  crossref = {CICM12},
}

@misc{FrameNet:url,crossref={FrameNet:base},
  key={FN},
  howpublished={\url{https://framenet.icsi.berkeley.edu}}}
@online{FrameNet:on,crossref={FrameNet:base},label={FN},urldate = {2014-02-06}}
@misc{FrameNet:base,
title={Frame Net},
url = {https://framenet.icsi.berkeley.edu}}

@misc{RupEllPet:fetp10:url,crossref={RupEllPet:fetp10:base},key={FN},
howpublished = {\url{https://framenet2.icsi.berkeley.edu/docs/r1.5/book.pdf}}}
@online{RupEllPet:fetp10,crossref={RupEllPet:fetp10:base},label={FN}}
@misc{RupEllPet:fetp10:base,
title = {{FrameNet II}: Extended Theory and Practice},
author = {Josef Ruppenhofer and Michael Ellsworth and Miriam R. L. Petruck and Christopher and R. Johnson and Jan Scheffczyk},
year = {2010},
url = {https://framenet2.icsi.berkeley.edu/docs/r1.5/book.pdf}}

@misc{PropBank:url,key={PB},crossref={PropBank:base},
  howpublished = {\url{http://verbs.colorado.edu/~mpalmer/projects/ace.html}}}
@online{PropBank:on,label={PB},crossref={PropBank:base},urldate = {2014-02-06}}
@misc{PropBank:base,label={PB},
  title = {Proposition Bank},
  url = {http://verbs.colorado.edu/~mpalmer/projects/ace.html}}

@InCollection{CarFar:mm14,
 title = {Mechanising mathematics},
 author = {Jacques Carette and William M. Farmer},
 booktitle = {International Innovation North America},
 month = may,
 year = 2013,
 pages = {20--22},
 publisher = {Research Media},
 url = {http://imps.mcmaster.ca/doc/int-inn-mathscheme-article-2013.pdf}}

@article{PalKinGil:pbacsr05,
  author = {Palmer, Martha and Kingsbury, Paul and Gildea, Daniel},
  year = {2005},
  title={The Proposition Bank: An Annotated Corpus of Semantic Roles},
  journal = {Computational Linguistics},
  volume = {31},
  number = {1},
  pages = {71--106},
  doi = {10.1162/0891201053630264}}

@inproceedings{CarFarCon:mpd11,
  title = {{MathScheme}: Project description},
  author = {Jacques Carette and William M. Farmer and Russell O'Connor},
  crossref = {CICM11},
  pages = {287--288},
  url = {http://imps.mcmaster.ca/doc/cicm-2011-proj-desc.pdf}}

@book{Smith:WoN1776,
  title = {An Inquiry into the Nature and Causes of the Wealth of Nations},
  author = {Adam Smith},
  publisher = {W. Strahan and T. Cadell},
  year = {1776}}

@inproceedings{Wenzel:IsabelleJEdit12,
  author = {Makarius Wenzel},
  title = {{Isabelle/jEdit} -- a Prover {IDE} within the {PIDE} framework},
  pages = {468--471},
  crossref = {CICM12},
  eprint = {1207.3441},
  eprinttype = {arxiv},
  eprintclass = {cs.LO}}

@inproceedings{Wolska:bpacspm12,
  author = 	 {Magdalena Wolska},
  title = 	 {Building a POS-annotated corpus of scientific papers in mathematics},
  crossref = {DML12},
  year = 	 2012,
  NOTurl = {http://kwarc.info/kohlhase/papers/mir12.pdf},
  note = {in press}}

@inproceedings{Asperti:pmc12,
  author = {Andrea Asperti},
  title = {Proof, Message and Certificate},
  pages = {17--31},
  crossref = {CICM12},
  ee        = {http://dx.doi.org/10.1007/978-3-642-31374-5_2}}

@inproceedings{Windsteiger:Theorema20UI12,
    author = {Wolfgang Windsteiger},
    title = {{Theorema} 2.0: A Graphical User Interface for a Mathematical Assistant System},
    crossref = {uitp2012},
    pages = {1--8},
}

@inproceedings{AYK:EvalMultimodalInputMathEquations05,
  author =       {Lisa Anthony and Jie Yang and Kenneth R. Koedinger},
  title =        {Evaluation of multimodal input for entering mathematical equations on the computer},
  year =         {2005},
  booktitle =    {CHI '05 extended abstracts on Human factors in computing systems},
  editor =       {Gerrit van der Veer and Carolyn Gale},
  pages =        {1184--1187},
  publisher =    {ACM},
  doi =          {10.1145/1056808.1056872},
  }

@ARTICLE{Wiedijk:tqmr07,
    author = {Freek Wiedijk},
    title = {The QED Manifesto Revisited},
    journal = {Studies in Logic, Grammar and Rhetoric},
    year = {2007},
    volume = {10},
    number = {23},
    pages = {121--133}
}
@online{GoogleAppsScript,
  title = {Google Apps Script Project},
  url = {https://developers.google.com/apps-script/},
  urldate = {2012-05-30}
}

@online{TeXLive:on,
  title = {TeX Live},
  url = {http://www.tug.org/texlive/},
  urldate = {2012-12-11}}

@online{MiKTeX:on,
  title = {{MiK\TeX}\ldots typesetting beautiful documents\ldots},
  url = {http://miktex.org},
  urldate = {2012-12-11}}

@online{isa:on,
  title = {ISA metadata tracking tools},
  url = {http://www.isa-tools.org/},
  urldate = {2012-05-29}
}

@online{RightField,
  title = {RightField},
  url = {http://www.sysmo-db.org/rightfield},
  urldate = {2012-05-29}
}

@online{DocumentFoundation,
  title = {The Document Foundation},
  url = {http://www.documentfoundation.org/},
  urldate = {2012-05-23}
}

@online{MSExcelQuestion,
  title = {MSDN Social: Cell absolute screen position},
  url = {http://social.msdn.microsoft.com/Forums/en-US/exceldev/thread/50dae716-598c-4b16-bd57-4e09b859c83e},
  urldate = {2012-05-23}
}

@online{GoogleEiffelTower,
  title = {{Google Search for ``height of Eiffel Tower''}},
  url = {https://www.google.com/search?q=height+of+eiffel+tower},
  urldate = {2012-05-23}
}

@online{GoogleKnowledgeGraph:on,
  title = {Google Knowledge Graph},
  url = {http://www.google.com/insidesearch/features/search/knowledge.html},
  urldate = {2012-05-23}
}

@online{ntcirmath:on,crossref={ntcirmath:base},urldate = {2012-11-11},label={NTM}}
@misc{ntcirmath:url,
 crossref = {ntcirmath:base},
 howpublished = {\url{http://ntcir-math.nii.ac.jp/}},
 year = {2013},
 key={NTM}}
@misc{ntcirmath:base,
  keywords = {lamapunbibs},
  title = {{NTICR Pilot Task: Math Task}},
  url = {http://ntcir-math.nii.ac.jp/}
}

@online{sepia:on,crossref={sepia:base},urldate = {2013-02-11}}
@misc{sepia:url,crossref={sepia:base},howpublished = {\url{https://code.google.com/p/sepia/}}}
@misc{sepia:base,
  key = {SEPIA},
  label = {SEPIA},
  title = {sepia: Standard Evaluation Package for Information Access systems},
  url = {https://code.google.com/p/sepia/}
}

@book{BadNip:traat99,
author = {Franz Baader and Tobias Nipkow},
title = {Term Rewriting and All That},
publisher = {Cambridge University Press},
year = {1999}}


@online{MorganStanleyRep:Mobile,
  key = {Morgan Stanley report},
  title = {The Mobile Internet Report},
  url = {http://www.morganstanley.com/institutional/techresearch/mobile_internet_report122009.html},
  urldate = {2012-05-15}}

@online{BBC:Mobile,
  key = {BBC report},
  title = {Over 5 billion mobile phone connections worldwide},
  url = {http://www.bbc.co.uk/news/10569081},
  urldate = {2012-05-15}}

@online{CISCO:MobileInternet,
  key = {Cisco report},
  title = {Cisco Visual Networking Index: Global Mobile Data Traffic Forecast Update, 2011-2016},
  url = {http://www.cisco.com/en/US/solutions/collateral/ns341/ns525/ns537/ns705/ns827/white_paper_c11-520862.pdf},
  urldate = {2012-05-15}
}

@INPROCEEDINGS{BozdagEtAl:PushPull,
  author={Bozdag, E. and Mesbah, A. and van Deursen, A.},
  booktitle={Web Site Evolution, 2007. WSE 2007. 9th IEEE International Workshop on}, title={A Comparison of Push and Pull Techniques for AJAX},
  year={2007},
  month={oct.},
  volume={},
  number={},
  pages={15--22},
  keywords={XML;asynchronous JavaScript;auction updates;browser-based application;news headlines;push-pull technique;real-time dynamic Web data;stock tickers;user interactivity;Internet;Java;XML;client-server systems;user interfaces;},
  doi={10.1109/WSE.2007.4380239},
  ISSN={},}

@article{NiehEtAl:ThinClientPerformance2003,
 author = {Nieh, Jason and Yang, S. Jae and Novik, Naomi},
 title = {Measuring thin-client performance using slow-motion benchmarking},
 journal = {ACM Trans. Comput. Syst.},
 volume = 21,
 issue = 1,
 month = feb,
 year = 2003,
 issn = {0734-2071},
 pages = {87--115},
 numpages = 29,
 url = {http://doi.acm.org/10.1145/592637.592640},
 doi = {http://doi.acm.org/10.1145/592637.592640},
 acmid = 592640,
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Thin-client computing, client-server, measurement methodology, multimedia},
}


@Book{Johnson:DesigningWithTheMindInMind2010,
  hyphenation     = {american},
  author          = {Jeff Johnson},
  title           = {Designing with the Mind in Mind: Simple Guide to Understanding User Interface Design Rules},
  publisher       = {Morgan Kaufmann Publishers},
  year            = {2010}
}

@InProceedings{kautz:selman:ijcai-99,
  author = 	 {Henry Kautz and Bart Selman},
  title = 	 {Unifying {SAT}-based and Graph-based Planning},
  crossref =	 {ijcai99},
  pages =	 {318-325},
}

@Article{fikes:nilsson:ai-71,
  author = {Fikes, Richard E. and Nils Nilsson},
  title = {{STRIPS}: A New Approach to the Application of
		Theorem Proving to Problem Solving},
  journal = AI,
  volume = 2,
  pages = {189-208},
  year = 1971,
  keywords = "planning, temporal, strips",
  bibnote = "Also appears in \cite{planning:reader}.",
  location = "BN copy",
}

@InProceedings{gazen:knoblock:ecp-97,
  author = 	 {B. Cenk Gazen and Craig Knoblock},
  title = 	 {Combining the Expressiveness of {UCPOP} with the
                  Efficiency of {Graphplan}},
  crossref =	 "ecp97",
  pages =	 {221-233},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@MANUAL{pddl-2000-subset,
   TITLE        = "Subset of {PDDL} for the {AIPS2000} Planning Competition",
   AUTHOR       = "Fahiem Bacchus",
   ORGANIZATION = "The {AIPS-00} Planning Competition Comitee",
   YEAR      = "2000"
}


@book{Assmann:InvasiveSoftwareComposition,
  author = {A{\ss}mann, Uwe},
  isbn = {978-3-540-44385-8},
  pages = {I-XII, 1-334},
  publisher = {Springer},
  title = {Invasive software composition.},
  year = 2003
}

@Book{garey:johnson:79,
  author = {Garey, Michael R. and David S. Johnson},
  title = {Computers  and In\-trac\-ta\-bi\-li\-ty---A
		Guide to the Theory of NP-Completeness},
  address = {San Francisco, CA},
  publisher = {Freeman},
  year = 1979,
  keywords = "complexity, theory",
  location = {BN book},
}

@inproceedings{hoffmann:ki-11,
  author    = {J{\"o}rg Hoffmann},
  title     = {Every806thing You Always Wanted to Know about Planning (But
               Were Afraid to Ask)},
  crossref = "ki11",
  url = {http://fai.cs.uni-saarland.de/hoffmann/papers/ki11.pdf},
  pages     = {1-13},
}

@Article{bylander:ai-94,
  author = 	 "Tom Bylander",
  title = 	 "The Computational Complexity of Propositional {STRIPS}
		 Planning",
  journal = 	 ai,
  year = 	 1994,
  volume =	 "69",
  number =	 "1--2",
  pages =	 "165-204"
}


@inproceedings{MedynskiyEtAl:ContextualFacets2009,
 author = {Medynskiy, Yevgeniy and Dontcheva, Mira and Drucker, Steven M.},
 title = {Exploring websites through contextual facets},
 booktitle = {Proceedings of the 27th international conference on Human factors in computing systems},
 series = {CHI '09},
 year = 2009,
 isbn = {978-1-60558-246-7},
 location = {Boston, MA, USA},
 pages = {2013--2022},
 numpages = 10,
 url = {http://doi.acm.org/10.1145/1518701.1519007},
 doi = {http://doi.acm.org/10.1145/1518701.1519007},
 acmid = 1519007,
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {contextual facets, decision-making, faceted navigation},
}

@article{HutchinsEtAl:DirectManipulationInterfaces1985,
 author = {Hutchins, Edwin L. and Hollan, James D. and Norman, Donald A.},
 title = {Direct manipulation interfaces},
 journal = {Hum.-Comput. Interact.},
 issue_date = {December 1985},
 volume = 1,
 number = 4,
 month = dec,
 year = 1985,
 issn = {0737-0024},
 pages = {311--338},
 numpages = 28,
 url = {http://dx.doi.org/10.1207/s15327051hci0104_2},
 doi = {10.1207/s15327051hci0104_2},
 acmid = 1453235,
 publisher = {L. Erlbaum Associates Inc.},
 address = {Hillsdale, NJ, USA},
}

@InProceedings{Novick:WhatUsersWantInDocumentation,
  author =       {David G. Novick and Karen Ward},
  title =        {What Users Say They Want in Documentation},
  booktitle =    {SIGDOC'06 Conference Proceedings},
  year =         2006,
  pages =         {84--91},
  publisher =     {ACM}
}

@Book{Norman:DesignOfEverydayThings,
  author =       {Donald A. Norman},
  title =        {The Design of Everyday Things},
  publisher =    {B\&T},
  year =         2002}

@inbook{SauermannEtAl:GnowsisExperience2006,
  title={Semantic Desktop 2.0: The Gnowsis Experience},
  volume={6},
  booktitle={The Semantic Web},
  publisher={Springer},
  author={Sauermann, L and Grimnes, G A and Kiesel, M and Fluit, C and Maus, H and Heim, D and Nadeem, D and Horak, B and Dengel, A},
  year={2006},
  pages={887--900}}

@misc{minion:URL,crossref={minion:base},
  key = {MIN},
  howpublished = {System Web page at \url{http://constraintmodelling.org/minion/}}}
@online{minion:on,crossref={minion:base},
  label = {MIN},
  urldate = {2015-11-17}}
@misc{minion:base,
  title = {Minion - Constraint Modelling},
  url = {http://constraintmodelling.org/minion/}}

@INPROCEEDINGS{PomerolBrezillon:ContextualKnowledge2002,
    author = {Jean-Charles Pomerol and Patrick Brezillon},
    title = {Proceduralization of the Contextual Knowledge for Decision Making},
    booktitle = {Proceedings of the HCP-2003, the 14th Mini-Euro Conference on Human Centered Processes, R. Bisdorf (Ed.), Fonds National de la Recherche},
    year = {2002},
    pages = {139--147}
}

@inproceedings{Brezillon:ContextDynamicContextualGraphs2003,
 author = {Br\'{e}zillon, Patrick},
 title = {Context dynamic and explanation in contextual graphs},
 booktitle = {Proceedings of the 4th international and interdisciplinary conference on Modeling and using context},
 series = {CONTEXT'03},
 year = 2003,
 isbn = {3-540-40380-9},
 location = {Stanford, CA, USA},
 pages = {94--106},
 numpages = 13,
 url = {http://dl.acm.org/citation.cfm?id=1763142.1763151},
 acmid = 1763151,
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {applications, context dynamic, contextual graphs, explanation, visual explanations},
}

@InProceedings{VieiraEtAl:ContextualElemMgmt2007,
  author = {Vieira, Vaninha and Tedesco, Patricia and Salgado, Anna Carolina and Br\'{e}zillon, Patrick},
  title = {Investigating the specifics of Contextual elements management: The CEManTIKA approach},
  booktitle = {5th International and Interdisciplinary Conference on Modeling and Using Context},
  year = {2007},
  number = {4635},
  pages = {493--506},
  series = {LNCS}
}


@inproceedings{OlsenEtAl:InterfaceAttachments1999,
 author = {Olsen Jr., Dan R. and Hudson, Scott E. and Verratti, Thom and Heiner, Jeremy M. and Phelps, Matt},
 title = {Implementing interface attachments based on surface representations},
 booktitle = {Proceedings of the SIGCHI conference on Human factors in computing systems: the CHI is the limit},
 series = {CHI '99},
 year = 1999,
 isbn = {0-201-48559-1},
 location = {Pittsburgh, Pennsylvania, United States},
 pages = {191--198},
 numpages = 8,
 url = {http://doi.acm.org/10.1145/302979.303038},
 doi = {http://doi.acm.org/10.1145/302979.303038},
 acmid = 303038,
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {linking and embedding, observational attachments, surface representations, user interface architectures},
}

@inproceedings{BighamLadner:AccessMonkey2007,
 author = {Bigham, Jeffrey P. and Ladner, Richard E.},
 title = {Accessmonkey: a collaborative scripting framework for web users and developers},
 booktitle = {Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)},
 series = {W4A '07},
 year = 2007,
 isbn = {1-59593-590-8},
 location = {Banff, Canada},
 pages = {25--34},
 numpages = 10,
 url = {http://doi.acm.org/10.1145/1243441.1243452},
 doi = {http://doi.acm.org/10.1145/1243441.1243452},
 acmid = 1243452,
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {accessmonkey, alternative text, greasemonkey, web accessibility, web scripting, web transcoding},
}

@book{Pilgrim:GreaseMonkey2005,
 author = {Pilgrim, Mark},
 title = {Greasemonkey Hacks: Tips \& Tools for Remixing the Web with Firefox (Hacks)},
 year = {2005},
 isbn = {0596101651},
 publisher = {O'Reilly Media, Inc.},
}

@inproceedings{RizzottiBurkhart:useKit2010,
 author = {Rizzotti, Sven and Burkhart, Helmar},
 title = {useKit: a step towards the executable web 3.0},
 booktitle = {Proceedings of the 19th international conference on World wide web},
 series = {WWW '10},
 year = 2010,
 isbn = {978-1-60558-799-8},
 location = {Raleigh, North Carolina, USA},
 pages = {1175--1176},
 numpages = 2,
 url = {http://doi.acm.org/10.1145/1772690.1772861},
 doi = {http://doi.acm.org/10.1145/1772690.1772861},
 acmid = 1772861,
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {mashup, personalization, refinement, service composition, web3.0},
}

@inbook{GuinardTrifa:WebMashupForEmbeddedDesign2009,
  title={Towards the Web of Things: Web Mashups for Embedded Devices},
  volume={51},
  url={http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.155.3238&rep=rep1&type=pdf},
  number={74601},
  booktitle={Integration The Vlsi Journal},
  publisher={Citeseer},
  author={Guinard, Dominique and Trifa, Vlad},
  year={2009},
  pages={1506--1518}}

@article{dAquinEtAl:WATSON2007,