@techreport{BurDohKva:2014:739489,
    author = {Oleg Burdakov and Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles}},
    year = {2014},
    series = {LiTH-MAT-R},
    volume = {2014:09},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0348-2960},
}

@techreport{BurDohKva:2014:739485,
    author = {Oleg Burdakov and Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance}},
    year = {2014},
    series = {LiTH-MAT-R},
    volume = {2014:10},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {0348-2960},
}

@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},
}

@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},
}

@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{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},
}

@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{DohGusEtAl:1998:1716288,
    author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om},
    title = {{TAL: Temporal Action Logics Language \<\> Specification and Tutorial}},
    year = {1998},
    series = {Link\"oping Electronic Articles in Computer and Information Science},
    volume = {Vol.3:15},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1401-9841},
}

@techreport{DohGus:1998:1714887,
    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 = {Vol.3:1},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1401-9841},
}

@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{Doh:1997:1714876,
    author = {Patrick Doherty},
    title = {{PMON+: A Fluent Logic for Action and Change: Formal Specification, Version 1.0}},
    year = {1997},
    series = {Link\"oping Electronic Articles in Computer and Information Science},
    volume = {Vol.2:20},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1401-9841},
}

@techreport{DohKva:1997:1714459,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report}},
    year = {1997},
    series = {Link\"oping Electronic Articles in Computer and Information Science},
    volume = {Vol.2:16},
    publisher = {Link\"oping University Electronic Press},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    issn = {1401-9841},
}

@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},
}

@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},
}

@unpublished{WzoBerDoh:0:1701793,
    author = {Mariusz Wzorek and Cyrille Berger and Patrick Doherty},
    title = {{Polygon Area Decomposition Using a Compactness Metric}},
    year = {0},
    note = {Funding Agencies|ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic ResearchSwedish Foundation for Strategic Research [RIT 15-0097]; Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation.},
}