@proceedings{DeRBesEtAl:2012:582620,
    author = {Luc De Raedt and Christian Bessiere and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter Lucas},
    title = {{Proceedings of the 20th European Conference on Artificial Intelligence (ECAI)}},
    year = {2012},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {242},
    publisher = {IOS Press},
    isbn = {978-1-61499-097-0},
    issn = {0922-6389},
}

@misc{NebKle:2012:546668,
    author = {Bernhard Nebel and Alexander Kleiner},
    title = {{Multi-Agenten-Systeme in der Intralogistik - Erster Teil: Gemeinsam denken}},
    year = {2012},
    journal = {IEE - Elektrische Automatisierung + Antriebstechnik},
    volume = {-},
    number = {4},
    pages = {48--53},
    publisher = {H\"uthig Verlag},
    issn = {1434-2898},
}

@misc{NebKle:2012:546667,
    author = {Bernhard Nebel and Alexander Kleiner},
    title = {{Multi-Agenten-Systeme in der Intralogistik - Zweiter Teil: Effizient transportieren}},
    year = {2012},
    journal = {IEE - Elektrische Automatisierung + Antriebstechnik},
    volume = {-},
    number = {5},
    pages = {34--37},
    publisher = {H\"uthig Verlag},
    issn = {1434-2898},
}

@misc{San:2012:510488,
    author = {Erik Sandewall},
    title = {{Maintaining Live Discussion in Two-Stage Open Peer Review}},
    year = {2012},
    journal = {Frontiers in Computational Neuroscience},
    volume = {6},
    number = {9},
    publisher = {Frontiers Research Foundation},
    issn = {1662-5188},
    doi = {10.3389/fncom.2012.00009},
    note = {funding agencies|Knut and Alice Wallenberg Foundation||},
}

@proceedings{KofHeiHel:2011:463628,
    author = {Anders Kofod-Peteresen and Fredrik Heintz and Langseth Helge},
    title = {{Elevent Scandinavian Conference on Artifical Intelligence SCAI 2011}},
    year = {2011},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {227},
    publisher = {IOS Press},
    isbn = {978-1-60750-753-6},
    issn = {0922-6389},
}

@techreport{Kle:2009:459957,
    author = {Alexander Kleiner},
    title = {{Mapping and Exploration for Search and Rescue with Humans and Mobile Robots}},
    year = {2009},
    publisher = {University of Freiburg},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    note = {This is a Ph.D. thesis originally defended at University of Freiburg.},
}

@techreport{PerNybWar:2009:278135,
    author = {Anna Pernest{\aa}l and Mattias Nyberg and H{\aa}kan Warnquist},
    title = {{Modeling and Efficient Inference for Troubleshooting Automotive Systems}},
    year = {2009},
    series = {LiTH-ISY-R},
    volume = {2921},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1400-3902},
}

@techreport{BurHolEtAl:2009:272756,
    author = {Oleg Burdakov and Kaj Holmberg and Patrick Doherty and Per-Magnus Olsson},
    title = {{Optimal placement of communications relay nodes}},
    year = {2009},
    series = {LiTH-MAT-R},
    volume = {2009:3},
    publisher = {Link\"opings universitet},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0348-2960},
}

@proceedings{HeiKva:2009:246141,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om},
    title = {{Proceedings of the Swedish AI Society Workshop 2009}},
    year = {2009},
    series = {Link\"oping Electronic Conference Proceedings},
    volume = {35},
    publisher = {Link\"oping University Electronic Press, Link\"opings universitet},
    issn = {1650-3686},
}

@misc{San:2008:265466,
    author = {Erik Sandewall},
    title = {{A Review of the Handbook of Knowledge Representation}},
    year = {2008},
    journal = {Artificial Intelligence},
    volume = {172},
    number = {18},
    pages = {1965--1966},
    publisher = {Elsevier},
    issn = {0004-3702},
    doi = {10.1016/j.artint.2008.10.002},
}

@techreport{BurHolOls:2008:37550,
    author = {Oleg Burdakov and Kaj Holmberg and Per-Magnus Olsson},
    title = {{A Dual Ascent Method for the Hop-constrained Shortest Path with Application to Positioning of Unmanned Aerial Vehicles}},
    year = {2008},
    series = {Report / Department of Mathematics, Universitetet i Link\"oping, Tekniska h\"ogskolan},
    volume = {2008:7},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0348-2960},
}

@unpublished{WzoDoh:2007:261962,
    author = {Mariusz Wzorek and Patrick Doherty},
    title = {{A framework for reconfigurable path planning for autonomous unmanned aerial vehicles}},
    year = {2007},
}

@proceedings{OrlPolSza:2006:499733,
    author = {Ewa Orlowska and Alberto Policriti and Andrzej Szalas},
    title = {{Algebraic and Relational Deductive Tools}},
    year = {2006},
    series = {Journal of Applied Non-Classical Logics},
    publisher = {\'Editions Herm\`es-Lavoisier},
    issn = {1166-3081},
    note = {Special Issue},
}

@proceedings{DohMylWel:2006:262230,
    author = {Patrick Doherty and John Mylopoulos and Christopher Welty},
    title = {{Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning}},
    year = {2006},
    publisher = {AAAI Press},
    isbn = {978-1-57735-281-5},
}

@techreport{KleBreEtAl:2005:460015,
    author = {Alexander Kleiner and Michael Brenner and Tobias Br\"auer and Christian Dornhege and Moritz G\"obelbecker and Matthias Luber and Johann Prediger and Joerg St\"uckler and Bernhard Nebel},
    title = {{ResQ Freiburg: Team Description and Evaluation}},
    year = {2005},
    publisher = {Institut f\"ur Informatik, Universit\"at Freiburg},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@misc{San:2005:252680,
    author = {Erik Johan Sandewall},
    title = {{Leonardo, an Approach towards the Consolidation of Computer Software System}},
    year = {2005},
    note = {Research Article, CAISOR Archival Website, Number 2005-016},
}

@techreport{KleGbe:2004:460017,
    author = {Alexander Kleiner and Moritz G\"obelbecker},
    title = {{Rescue3D: Making Rescue Simulation Attractive to the Public}},
    year = {2004},
    publisher = {Institut f\"ur Informatik, Universit\"at Freiburg},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@proceedings{DohLukEtAl:2003:499756,
    author = {Patrick Doherty and W. Lukaszewicz and Skowron Andrzej and Andrzej Szalas},
    title = {{Knowledge Representation and Approximate Reasoning}},
    year = {2003},
    series = {Fundamenta Informaticae},
    volume = {2003(57):2-4},
    publisher = {IOS Press},
    issn = {0169-2968},
    note = {Special Issue},
}

@techreport{EngHarEtAl:2003:402885,
    author = {Madelaine Engstr\"om and Anders Haraldsson and Tove Mattsson and Minna Salminen-Karlsson},
    title = {{Studenter genusgranskar sin utbildning: Projekt med elektro- och dataprogrammen och l\"ararutbildningen vid Link\"opings universitet}},
    year = {2003},
    series = {CUL-rapporter},
    volume = {2003:5},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1652-9278},
}

@misc{DohSkoEtAl:2003:269316,
    author = {Patrick Doherty and A Skowron and Witold Lukaszewicz and Andrzej Szalas},
    title = {{1st International Workshop on Knowledge Representation and Approximate Reasoning (KR\&AR)}},
    year = {2003},
}

@misc{OrlSza:2001:499734,
    author = {Ewa Orlowska and Andrzej Szalas},
    title = {{Relational Methods for Computer Science Applications}},
    year = {2001},
    series = {Studies in Fuziness and Soft Computing},
    publisher = {Springer Physica Verlag},
    isbn = {37-9081-365-6, 978-37-9081-365-4},
    issn = {1434-9922},
}

@misc{San:2000:270437,
    author = {Erik Johan Sandewall},
    title = {{M. Shanahan, Solving the Frame Problem}},
    year = {2000},
    journal = {Artificial Intelligence},
    volume = {123},
    number = {1-2},
    pages = {271--273},
    issn = {0004-3702},
    doi = {10.1016/S0004-3702(00)00058-8},
}

@techreport{AndCorSaf:1999:288592,
    author = {Thord Andersson and Silvia Coradeschi and Alessandro Saffiotti},
    title = {{Fuzzy matching of visual cues in an unmanned airborne vehicle}},
    year = {1999},
    publisher = {Link\"oping University, Department of Electrical Engineering},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{DohGus:1998:262600,
    author = {Patrick Doherty and Joakim Gustafsson},
    title = {{Delayed effects of actions = direct effects + causal rules}},
    year = {1998},
    series = {Link\"oping Electronic Articles in Computer and Information Science},
    volume = {98-001},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1654-7233},
}

@techreport{San:1997:370098,
    author = {Erik Sandewall},
    title = {{Strategies and policies of Link\"oping University Electronic Press}},
    year = {1997},
    series = {Link\"oping Electronic Articles on Academic Policies and Trends},
    volume = {1 Vol. 1},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1402-0319 (print), 1651-3304 (online)},
}

@techreport{San:1997:370096,
    author = {Erik Sandewall},
    title = {{A Neo-Classical Structure for Scientific Publication and Reviewing}},
    year = {1997},
    series = {Link\"oping Electronic Articles on Academic Policies and Trends},
    volume = {1 Vol, 2},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1402-0319 (print), 1651-3304 (online)},
}

@proceedings{PenSza:1996:499719,
    author = {Wojciech Penczek and Andrzej Szalas},
    title = {{Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science (MFCS)}},
    year = {1996},
    series = {Lecture Notes in Computer Science},
    volume = {1113},
    publisher = {Springer Verlag},
    isbn = {978-3-540-61550-7},
    issn = {0302-9743},
}

@techreport{Doh:1996:262597,
    author = {Patrick Doherty},
    title = {{PMON+: A fluent logic for action and change - formal specification, version 1.0}},
    year = {1996},
    series = {LITH-IDA-R},
    volume = {33},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0281-4250},
}

@techreport{DohLukSza:1996:262596,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Declarative ptime queries to relational databases}},
    year = {1996},
    series = {LITH-IDA-R},
    volume = {34},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{MeyDoh:1996:262595,
    author = {John-Jules Meyer and Patrick Doherty},
    title = {{Preferential action semantics, preliminary report}},
    year = {1996},
    series = {LITH-IDA-R},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0281-4250},
}

@techreport{DohLukSza:1996:262575,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{General domain circumscription and its first-order reduction}},
    year = {1996},
    series = {LITH-IDA-R},
    volume = {1},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@misc{BolSza:1995:499778,
    author = {Leonard Bolc and Andrzej Szalas},
    title = {{Time and Logic: A Computational Approach}},
    year = {1995},
    publisher = {CRC Press},
    isbn = {1-85728-233-7, 978-18-5728-233-7},
}

@techreport{DohLukSza:1995:262574,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{A characterization result for circumscribed normal logic programs. Revised version accepted for publication:  Special issue of honor of H. Rasiowa, Fundamenta Informaticae}},
    year = {1995},
    series = {LITH-IDA-R},
    volume = {20},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{DohLukSza:1994:262573,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Computing circumscription revisited: A reduction algorithm}},
    year = {1994},
    series = {LITH-IDA-R},
    volume = {94-42},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0281-4250},
}

@techreport{Doh:1994:262572,
    author = {Patrick Doherty},
    title = {{Notes on PMON circumscription}},
    year = {1994},
    series = {LITH-IDA-R},
    volume = {43},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{DohLuk:1992:262571,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{FONML3 - A first-order non-monotonic logic with explicit defaults}},
    year = {1992},
    series = {LITH-IDA-R},
    volume = {20},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{DohDriHel:1992:262520,
    author = {Patrick Doherty and Dimiter Driankov and H. Hellendoorn},
    title = {{Fuzzy if-then-unless rules and their implementation}},
    year = {1992},
    series = {LITH-IDA-R},
    volume = {21},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{DohDriTso:1992:262507,
    author = {Patrick Doherty and Dimiter Driankov and A. Tsoukias},
    title = {{Partiality, para-consistency and preference modeling:  Preliminary version}},
    year = {1992},
    series = {LITH-IDA-R},
    volume = {18},
    publisher = {Department of Computer and Information Systems, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{Doh:1992:262494,
    author = {Patrick Doherty},
    title = {{A constraint-based approach to proof procedures for multi-valued logics}},
    year = {1992},
    series = {LITH-IDA-R},
    volume = {2},
    publisher = {Department of Computer and Information Science, Link\"oping university, Link\"oping, Sweden},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{DohLuk:1991:262495,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{NML3 - A non-monotonic logic with explicit defaults}},
    year = {1991},
    series = {Anv\"andarrapport},
    volume = {13},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{Doh:1990:262524,
    author = {Patrick Doherty},
    title = {{NM3 - A three-valued non-monotonic formalism. Preliminary report}},
    year = {1990},
    series = {LITH-IDA-R},
    volume = {44},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{Doh:1990:262523,
    author = {Patrick Doherty},
    title = {{A correspondence between inheritance hierarchies and a logic of preferential entailment}},
    year = {1990},
    series = {LITH-IDA-R},
    publisher = {Department of Computer and Information Science, Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}

@techreport{Doh:1985:262247,
    author = {Patrick Doherty},
    title = {{A rule interpreter for an emycin-like expert system tool}},
    year = {1985},
    series = {Aslab Memo},
    volume = {85-05},
    publisher = {Link\"opings tekniska h\"ogskola},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
}