@article{DohHeiKva:2013:611599,
    author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\"om},
    title = {{High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation}},
    year = {2013},
    journal = {Unmanned Systems},
    publisher = {World Scientific},
    issn = {2301-3850, EISSN 2301-3869},
}

@article{HeiKvaDoh:2013:610375,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Stream-Based Hierarchical Anchoring}},
    year = {2013},
    journal = {K\"unstliche Intelligenz},
    publisher = {Springer},
    issn = {0933-1875},
}

@article{BulCudEtAl:2011:453990,
    author = {Mark Buller and Paul Cuddihy and Ernest Davis and Patrick Doherty and Finale Doshi-Velez and Esra Erdem and Douglas Fisher and Nancy Green and Knut Hinkelmann and James McLurkin and Mary Lou Maher and Rajiv Maheswaran and Sara Rubinelli and Nathan Schurr and Donia Scott and Dylan Shell and Pedro Szekely and Barbara Thoenssen and Arnold B Urken},
    title = {{Reports of the AAAI 2011 Spring Symposia}},
    year = {2011},
    journal = {The AI Magazine},
    volume = {32},
    number = {3},
    pages = {119--127},
    publisher = {AAAI Press},
    issn = {0738-4602},
}

@article{BurDohEtAl:2010:354877,
    author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Per-Magnus Olsson},
    title = {{Optimal placement of UV-based communications relay nodes}},
    year = {2010},
    journal = {Journal of Global Optimization},
    volume = {48},
    number = {4},
    pages = {511--531},
    publisher = {Springer},
    issn = {0925-5001},
    doi = {10.1007/s10898-010-9526-8},
    note = {The original publication is available at www.springerlink.com:Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson, Optimal placement of UV-based communications relay nodes, 2010, Journal of Global Optimization, (48), 4, 511-531.http://dx.doi.org/10.1007/s10898-010-9526-8Copyright: Springer Science   Business Mediahttp://www.springerlink.com/},
}

@article{BurDohEtAl:2010:337902,
    author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson},
    title = {{Relay Positioning for Unmanned Aerial Vehicle Surveillance}},
    year = {2010},
    journal = {The international journal of robotics research},
    volume = {29},
    number = {8},
    pages = {1069--1087},
    publisher = {Sage Publications},
    issn = {0278-3649},
    doi = {10.1177/0278364910369463},
}

@article{HeiKvaDoh:2010:300370,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing}},
    year = {2010},
    journal = {Advanced Engineering Informatics},
    volume = {24},
    number = {1},
    pages = {14--26},
    publisher = {Elsevier},
    issn = {1474-0346},
    doi = {10.1016/j.aei.2009.08.007},
}

@article{DohKvaHei:2009:249047,
    author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz},
    title = {{A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems}},
    year = {2009},
    journal = {Autonomous Agents and Multi-Agent Systems},
    volume = {19},
    number = {3},
    pages = {332--377},
    publisher = {Springer},
    issn = {1387-2532},
    doi = {10.1007/s10458-009-9079-8},
}

@article{ConDoh:2009:234039,
    author = {Gianpaolo Conte and Patrick Doherty},
    title = {{Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information}},
    year = {2009},
    journal = {EURASIP Journal on Advances in Signal Processing},
    volume = {2009},
    number = {387308},
    pages = {1--18},
    publisher = {Hindawi Publishing Corporation},
    issn = {1687-6172},
    doi = {10.1155/2009/387308},
}

@article{DohLukSza:2007:270913,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Communication between agents with heterogeneous perceptual capabilities}},
    year = {2007},
    journal = {Information Fusion},
    volume = {8},
    number = {1},
    pages = {56--69},
    publisher = {Elsevier},
    issn = {1566-2535},
    doi = {10.1016/j.inffus.2005.05.006},
}

@article{DohSza:2007:268924,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{A correspondence framework between three-valued logics and similarity-based approximate reasoning}},
    year = {2007},
    journal = {Fundamenta Informaticae},
    volume = {75},
    number = {1-4},
    pages = {179--193},
    publisher = {IOS Press},
    issn = {0169-2968},
}

@article{NorDohEtAl:2006:268968,
    author = {Klas Nordberg and Patrick Doherty and Per-Erik Forss\'en and Johan Wiklund and Per Andersson},
    title = {{A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle}},
    year = {2006},
    journal = {International Journal of Pattern Recognition and Artificial Intelligence},
    volume = {20},
    number = {5},
    pages = {763--780},
    issn = {0218-0014},
    doi = {10.1142/S0218001406004867},
}

@article{PetDoh:2006:268952,
    author = {Per Olof Pettersson and Patrick Doherty},
    title = {{Probabilistic roadmap based path planning for an autonomous unmanned helicopter}},
    year = {2006},
    journal = {Journal of Intelligent \& Fuzzy Systems},
    volume = {17},
    number = {4},
    pages = {395--405},
    publisher = {IOS Press},
    issn = {1064-1246},
}

@article{HeiDoh:2006:268950,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{A knowledge processing middleware framework and its relation to the JDL data fusion model}},
    year = {2006},
    journal = {Journal of Intelligent \& Fuzzy Systems},
    volume = {17},
    number = {4},
    pages = {335--351},
    publisher = {IOS Press},
    issn = {1064-1246},
}

@article{DohMagSza:2006:252615,
    author = {Patrick Doherty and Martin Magnusson and Andrzej Szalas},
    title = {{Approximate Databases: A support tool for approximate reasoning}},
    year = {2006},
    journal = {Journal of applied non-classical logics},
    volume = {16},
    number = {1-2},
    pages = {87--118},
    publisher = {\'Editions Herm\`es-Lavoisier},
    issn = {1166-3081},
    doi = {10.3166/jancl.16.87-117},
    note = {Special issue on implementation of logics},
}

@article{HeiDoh:2004:269150,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{DyKnow: An approach to middleware for knowledge processing}},
    year = {2004},
    journal = {Journal of Intelligent \& Fuzzy Systems},
    volume = {15},
    number = {1},
    pages = {3--13},
    publisher = {IOS Press},
    issn = {1064-1246},
}

@article{VisDoh:2004:243373,
    author = {Ubbo Visser and Patrick Doherty},
    title = {{Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating}},
    year = {2004},
    journal = {The AI Magazine},
    volume = {25},
    number = {2},
    pages = {137--138},
    publisher = {AAAI Press},
    issn = {0738-4602},
}

@article{DohGraEtAl:2003:269311,
    author = {Patrick Doherty and M Grabowski and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Towards a framework for approximate ontologies}},
    year = {2003},
    journal = {Fundamenta Informaticae},
    volume = {57},
    number = {2-4},
    pages = {147--165},
    publisher = {IOS Press},
    issn = {0169-2968},
}

@article{Dohal:2003:243374,
    author = {Patrick Doherty and et al},
    title = {{2003 AAAI Spring Symposium Series}},
    year = {2003},
    journal = {The AI Magazine},
    volume = {24},
    number = {3},
    pages = {131--140},
    publisher = {AAAI Press},
    issn = {0738-4602},
}

@article{DohKva:2001:269228,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{TALPLANNER - A temporal logic-based planner}},
    year = {2001},
    journal = {The AI Magazine},
    volume = {22},
    number = {3},
    pages = {95--102},
    publisher = {AAAI Press},
    issn = {0738-4602},
}

@article{DohKva:2000:262479,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{TALplanner: A temporal logic based forward chaining planner}},
    year = {2000},
    journal = {Annals of Mathematics and Artificial Intelligence},
    volume = {30},
    number = {1-4},
    pages = {119--169},
    publisher = {Springer},
    issn = {1012-2443},
    doi = {10.1023/A:1016619613658},
}

@article{DohLukMad:2000:262478,
    author = {Patrick Doherty and Witold Lukaszewicz and E. Madalinīska-Bugaj},
    title = {{The PMA and relativizing minimal change for action update}},
    year = {2000},
    journal = {Fundamenta Informaticae},
    volume = {44},
    number = {1-2},
    pages = {95--131},
    publisher = {IOS Press},
    issn = {0169-2968},
}

@article{KvaDoh:2000:262473,
    author = {Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Tackling the qualification problem using fluent dependency constraints}},
    year = {2000},
    journal = {Computational intelligence},
    volume = {16},
    number = {2},
    pages = {169--209},
    publisher = {Blackwell Publishing},
    issn = {0824-7935},
    doi = {10.1111/0824-7935.00111},
}

@article{DohKacSza:1999:262472,
    author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{Meta-queries on deductive databases}},
    year = {1999},
    journal = {Fundamenta Informaticae},
    volume = {40},
    number = {1},
    pages = {17--30},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-1999-40102},
}

@article{DohLukSza:1999:262470,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Declarative PTIME queries for relational databases using quantifier elimination}},
    year = {1999},
    journal = {Journal of logic and computation (Print)},
    volume = {9},
    number = {5},
    pages = {737--758},
    publisher = {Oxford University Press},
    issn = {0955-792X},
    doi = {10.1093/logcom/9.5.737},
}

@article{DohGusEtAl:1998:262481,
    author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om},
    title = {{(TAL) temporal action logics: Language specification and tutorial}},
    year = {1998},
    journal = {Electronic Transactions on Artifical Intelligence},
    volume = {2},
    number = {3-4},
    pages = {273--306},
    issn = {1403-3534},
}

@article{DohLukSza:1998:262471,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{General domain circumscription and its effective reductions}},
    year = {1998},
    journal = {Fundamenta Informaticae},
    volume = {36},
    number = {1},
    pages = {23--55},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-1998-3612},
}

@article{DohLukSza:1997:262477,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Computing circumscription revisited: A reduction algorithm}},
    year = {1997},
    journal = {Journal of automated reasoning},
    volume = {18},
    number = {3},
    pages = {297--336},
    publisher = {Kluwer Academic Publishers},
    issn = {0168-7433},
    doi = {10.1023/A:1005722130532},
}

@article{DohLukSza:1996:262475,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{A reduction result for circumscribed semi-horn formulas}},
    year = {1996},
    journal = {Fundamenta Informaticae},
    volume = {28},
    number = {3,4},
    pages = {261--272},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-1996-283404},
}

@article{DohDriHel:1993:262467,
    author = {Patrick Doherty and Dimiter Driankov and Hans Hellendoorn},
    title = {{Fuzzy if-then-unless rules and their implementation}},
    year = {1993},
    journal = {International Journal of Uncertainty Fuzziness and Knowledge-Based Systems},
    volume = {1},
    number = {2},
    pages = {167--182},
    publisher = {World Scientific},
    issn = {0218-4885},
    doi = {10.1142/S0218488593000097},
}

@article{DohLuk:1992:262466,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{NML-3 - A non-monotonic logic with explicit defaults}},
    year = {1992},
    journal = {Journal of applied non-classical logics},
    volume = {2},
    number = {1},
    pages = {9--48},
    publisher = {\'Editions Herm\`es-Lavoisier},
    issn = {1166-3081},
}