Manual.bib

@article{efkr2012,
  author    = {Thomas Eiter and
               Michael Fink and
               Thomas Krennwallner and
               Christoph Redl},
  title     = {Conflict-driven {ASP} Solving with External Sources},
  journal   = {CoRR},
  volume    = {abs/1210.1649},
  year      = {2012},
  url       = {http://arxiv.org/abs/1210.1649},
  timestamp = {Fri, 02 Nov 2012 14:53:01 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1210-1649},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@manual{gkklorst2015,
  author    = {Martin Gebser and Roland Kaminski and Benjamin 
Kaufmann and Marius Lindauer and Max Ostrowski and Javier Romero, 
Trosten Schaub and Sven Thiele},
  title     = {Pottasco User Guide},
  year      = {2015},
  url       = {http://sourceforge.net/projects/potassco/files/guide/},
  }



@misc{cffiklrs2013,
  author    = {Francesco Calimeri and
               Wolfgang Faber and
               Martin Gebser and
               Giovambattista Ianni and Roland Kaminski and Thomas 
Krennwallner and Nicola Leone and Francesco Ricca and Torsten Schaub },
  title     = {ASP-Core-2 Input Language},
  year      = {2013},
}


@misc{licnc,
 title = {GNU Lesser General Public License},
 howpublished = {\url{https://www.gnu.org/copyleft/lesser.html}},
 note = {Last retrieved 2015-07-02},
 key={gpl},
}



@manual{brfwilvpg2009,
    author = {Bihlmeyer, Robert and Faber, Wolfgang and Ielpa, Giuseppe and Lio, Vincenzino and Pfeifer, Gerald},
    citeulike-article-id = {4292314},
    citeulike-linkout-0 = {http://www.dbai.tuwien.ac.at/proj/dlv/man/},
    keywords = {answer-sets, datalog-programming, dlv},
    month = apr,
    organization = {The DLV Project},
    posted-at = {2009-04-08 20:11:07},
    priority = {0},
    title = {{DLV User Manual}},
    url = {http://www.dbai.tuwien.ac.at/proj/dlv/man/},
    year = {2009}
}

@techreport{efikrs2015techrep,
  author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Christoph Redl and Peter Sch\"{u}ller},
  title = {A Model Building Framework for Answer Set Programming with External Computations},
  year = {2015},
  institution = {Institut f{\"u}r Informationssysteme, Technische Universit{\"a}t Wien},
  address = {A-1040 Vienna, Austria},
  number = {INFSYS RR-1843-15-01},
  month = {January}
}

@Book{gekakasc12a,
  author =	 "M. Gebser and R. Kaminski and B. Kaufmann and
                  T. Schaub",
  title =	 "Answer Set Solving in Practice",
  publisher =	 "Morgan and Claypool Publishers",
  year =	 2012,
  series =	 "Synthesis Lectures on Artificial Intelligence and
                  Machine Learning"
}

@article{efikrs2015,
  author = {Thomas Eiter and Michael Fink and Giovambattista Ianni and Thomas Krennwallner and Christoph Redl and Peter Sch\"{u}ller},
  title = {A Model Building Framework for Answer Set Programming with External Computations},
  year = {2015},
  journal={Theory and Practice of Logic Programming},
  note = {To appear, arXiv:1507.01451  [cs.AI]},
  url={http://arxiv.org/abs/1507.01451}
}

  
@misc{wiki,
  title = {Traveling salesperson problem},
  howpublished = {\url{https://en.wikipedia.org/wiki/Travelling_salesman_problem}},
  note = {Accessed: 2015-29-07},
  key={tsp},
}

@inproceedings{ekos2013,
  author    = {Esra Erdem and
               Doga Gizem Kisa and
               Umut {\"{O}}ztok and
               Peter Sch{\"{u}}ller},
  title     = {A General Formal Framework for Pathfinding Problems with Multiple
               Agents},
  booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
               Intelligence, July 14-18, 2013, Bellevue, Washington, {USA.}},
  year      = {2013},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6293},
  timestamp = {Tue, 17 Dec 2013 19:26:12 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/ErdemKOS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@techreport{eite-etal-14a,
  author = {Thomas Eiter and  {Michael Fink} and Thomas Krennwallner and Christoph Redl},
  title = {Domain Expansion for {ASP}-Programs with External Sources},
  year = {2014},
  institution = {Institut f{\"u}r Informationssysteme, Technische Universit{\"a}t Wien},
  address = {A-1040 Vienna, Austria},
  number = {INFSYS RR-1843-14-02},
  month = {September}
}