@article{DohSza:2024:1816604,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions}},
    year = {2024},
    journal = {Artificial Intelligence},
    volume = {326},
    publisher = {ELSEVIER},
    issn = {0004-3702},
    doi = {10.1016/j.artint.2023.104036},
    note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Mahasarakham Development Fund, Mahasarakham University, Thailand; National Science Centre Poland [2017/27/B/ST6/02018]},
}

@inproceedings{SecSanEtAl:2023:1838851,
    author = {Adeline Secolo and Paulo Santos and Patrick Doherty and Zoran Sjanic},
    title = {{Collaborative Qualitative Environment Mapping}},
    year = {2023},
    booktitle = {AI 2023: Advances in Artificial Intelligence},
    pages = {3--15},
    series = {Lecture Notes in Computer Science},
    publisher = {Springer},
    isbn = {9789819983902, 9789819983919},
    issn = {0302-9743},
    doi = {10.1007/978-981-99-8391-9\_1},
    note = {Funding Agencies|CISB, Swedish-Brazilian Research and Innovation Center; Saab AB; Coordenacao de Aperfeicoamento de Pessoal em Nivel Superior - Brasil (CAPES) [001]},
}

@article{BerDohEtAl:2023:1826481,
    author = {Cyrille Berger and Patrick Doherty and Piotr Rudol and Mariusz Wzorek},
    title = {{RGS⊕: RDF graph synchronization for collaborative robotics}},
    year = {2023},
    journal = {Autonomous Agents and Multi-Agent Systems},
    volume = {37},
    number = {2},
    publisher = {SPRINGER},
    issn = {1387-2532},
    doi = {10.1007/s10458-023-09629-2},
    note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden [RIT15-0097]; Swedish Foundation for Strategic Research SSF (Smart Systems Project) [B09]; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation},
}

@article{DohSza:2022:1681176,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{A landscape and implementation framework for probabilistic rough sets using PROBLOG}},
    year = {2022},
    journal = {Information Sciences},
    volume = {593},
    pages = {546--576},
    publisher = {Elsevier Science Inc},
    issn = {0020-0255},
    doi = {10.1016/j.ins.2021.12.062},
    note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF [RIT15-0097]; Guangdong Department of Science and Technology, China [2020A1313030098]; National Science Centre Poland [2017/27/B/ST6/02018]},
}

@article{DohBerEtAl:2021:1810382,
    author = {Patrick Doherty and Cyrille Berger and Piotr Rudol and Mariusz Wzorek},
    title = {{Hastily formed knowledge networks and distributed situation awareness for collaborative robotics}},
    year = {2021},
    journal = {Autonomous Intelligent Systems},
    volume = {1},
    number = {1},
    publisher = {Springer},
    doi = {10.1007/s43684-021-00016-w},
    note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden (Project B09) and the Swedish Foundation for Strategic Research SSF (Smart Systems Project RIT15-0097). The first author is also supported by an RExperts Program Grant 2020A1313030098 from the Guangdong Department of Science and Technology, China in addition to a Sichuan Province International Science and Technology Innovation Cooperation Project Grant 2020YFH0160.},
}

@article{AndDohEtAl:2021:1701897,
    author = {Olov Andersson and Patrick Doherty and M{\aa}rten Lager and Jens-Olof Lindh and Linnea Persson and Elin A. Topp and Jesper Tordenlid and Bo Wahlberg},
    title = {{WARA-PS: a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation}},
    year = {2021},
    journal = {Autonomous Intelligent Systems},
    volume = {1},
    number = {1},
    publisher = {Springer Singapore},
    doi = {10.1007/s43684-021-00009-9},
}

@article{WzoBerDoh:2021:1701784,
    author = {Mariusz Wzorek and Cyrille Berger and Patrick Doherty},
    title = {{Router and gateway node placement in wireless mesh networks for emergency rescue scenarios}},
    year = {2021},
    journal = {Autonomous Intelligent Systems},
    volume = {1},
    number = {1},
    publisher = {Springer},
    doi = {10.1007/s43684-021-00012-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;The 3rd author was also supported by an RExperts Program Grant 2020A1313030098 from the Guangdong Department of Science and Technology, China and a Sichuan Province International Science and Technology Innovation Cooperation Project Grant 2020YFH0160.},
}

@article{DohSza:2021:1521594,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Rough set reasoning using answer set programs}},
    year = {2021},
    journal = {International Journal of Approximate Reasoning},
    volume = {130},
    number = {March},
    pages = {126--149},
    publisher = {Elsevier},
    issn = {0888-613X},
    doi = {10.1016/j.ijar.2020.12.010},
    note = {Funding: ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF(Smart Systems Project) [RIT15-0097]; Jinan University (Zhuhai Campus); National Science Centre PolandNational Science Centre, Poland [2017/27/B/ST6/02018]},
}

@inproceedings{DohSza:2020:1465049,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Rough Forgetting}},
    year = {2020},
    booktitle = {Rough Sets. IJCRS 2020},
    pages = {3--18},
    series = {Lecture Notes in Computer Science},
    volume = {12179},
    publisher = {Springer},
    isbn = {9783030527051, 9783030527044},
    issn = {0302-9743},
    doi = {10.1007/978-3-030-52705-1\_1},
    note = {ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSFSwedish Foundation for Strategic Research; Jinan University (Zhuhai Campus) [2017/27/B/ST6/02018]; National Science Centre PolandNational Science Centre, Poland},
}

@inproceedings{AndSidEtAl:2020:1343786,
    author = {Olov Andersson and Per Sid\'en and Johan Dahlin and Patrick Doherty and Mattias Villani},
    title = {{Real-Time Robotic Search using Structural Spatial Point Processes}},
    year = {2020},
    booktitle = {35TH UNCERTAINTY IN ARTIFICIAL INTELLIGENCE CONFERENCE (UAI 2019)},
    pages = {995--1005},
    series = {Proceedings of Machine Learning Research (PMLR)},
    volume = {115},
    publisher = {Association For Uncertainty in Artificial Intelligence (AUAI)},
    note = {Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP); WASP Autonomous Research Arenas - Knut and Alice Wallenberg Foundation; Swedish Foundation for Strategic Research (SSF)Swedish Foundation for Strategic Research; ELLIIT Excellence Center at Link opingLund for Information Technology},
}

@inproceedings{WzoBerDoh:2019:1466225,
    author = {Mariusz Wzorek and Cyrille Berger and Patrick Doherty},
    title = {{Router Node Placement in Wireless Mesh Networks for Emergency Rescue Scenarios}},
    year = {2019},
    booktitle = {PRICAI 2019: TRENDS IN ARTIFICIAL INTELLIGENCE, PT II},
    pages = {496--509},
    series = {Lecture Notes in Artificial Intelligence},
    publisher = {SPRINGER INTERNATIONAL PUBLISHING AG},
    isbn = {978-3-030-29911-8, 978-3-030-29910-1},
    issn = {0302-9743},
    doi = {10.1007/978-3-030-29911-8\_38},
    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},
}

@inproceedings{RudDoh:2019:1466220,
    author = {Piotr Rudol and Patrick Doherty},
    title = {{Evaluation of Human Body Detection Using Deep Neural Networks with Highly Compressed Videos for UAV Search and Rescue Missions}},
    year = {2019},
    booktitle = {PRICAI 2019: TRENDS IN ARTIFICIAL INTELLIGENCE, PT III},
    pages = {402--417},
    series = {Lecture Notes in Artificial Intelligence},
    publisher = {SPRINGER INTERNATIONAL PUBLISHING AG},
    isbn = {978-3-030-29894-4, 978-3-030-29893-7},
    issn = {0302-9743},
    doi = {10.1007/978-3-030-29894-4\_33},
    note = {Funding Agencies|ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research (SymbiKBot Project); Wallenberg AI, Autonomous Systems and Software Program (WASP) - Research Arena Public Safety (WARA-PS)},
}

@inproceedings{AndDoh:2019:1417203,
    author = {Olov Andersson and Patrick Doherty},
    title = {{Deep RL for Autonomous Robots: Limitations and Safety Challenges}},
    year = {2019},
    pages = {489--495},
    publisher = {ESANN},
    isbn = {9782875870650},
}

@inproceedings{WzoBerEtAl:2018:1334833,
    author = {Mariusz Wzorek and Cyrille Berger and Piotr Rudol and Patrick Doherty},
    title = {{Deployment of Ad Hoc Network Nodes Using UAVs for Search and Rescue Missions}},
    year = {2018},
    booktitle = {2018 6TH INTERNATIONAL ELECTRICAL ENGINEERING CONGRESS ({IEECON})},
    series = {International Electrical Engineering Congress},
    publisher = {IEEE},
    isbn = {978-1-5386-2317-6},
    issn = {2474-4697},
    doi = {10.1109/IEECON.2018.8712230},
    note = {Funding Agencies|Swedish Research Council CADICS; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research [RIT 15-0097]},
}

@incollection{DohSza:2018:1270901,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Signed Dual Tableaux for Kleene Answer Set Programs}},
    year = {2018},
    booktitle = {Ewa Or\l{}owska on Relational Methods in Logic and Computer Science},
    pages = {233--252},
    editor = {Golińska-Pilarek J. and Zawidzki M.},
    series = {Outstanding Contributions to Logic},
    volume = {17},
    publisher = {Springer},
    isbn = {9783319978789, 9783319978796},
    doi = {10.1007/978-3-319-97879-6\_9},
}

@inproceedings{NilKvaDoh:2018:1251861,
    author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters}},
    year = {2018},
    booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling ({ICAPS})},
    pages = {180--189},
    editor = {Mathijs de Weerdt and Sven Koenig and Gabriele R\"oger and Matthijs Spaan},
    series = {International Conference on Automated Planning and Scheduling},
    publisher = {AAAI Press},
    isbn = {978-1-57735-797-1},
}

@inproceedings{WzoBerDoh:2017:1192173,
    author = {Mariusz Wzorek and Cyrille Berger and Patrick Doherty},
    title = {{A Framework for Safe Navigation of Unmanned Aerial Vehicles in Unknown Environments}},
    year = {2017},
    booktitle = {2017 25TH INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING ({ICSENG})},
    pages = {11--20},
    publisher = {IEEE},
    isbn = {978-1-5386-0610-0},
    doi = {10.1109/ICSEng.2017.58},
    note = {Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research [RIT 15-0097]},
}

@inproceedings{RudDoh:2017:1192171,
    author = {Piotr Rudol and Patrick Doherty},
    title = {{Bridging Reactive and Control Architectural Layers for Cooperative Missions Using VTOL Platforms}},
    year = {2017},
    booktitle = {2017 25TH INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING ({ICSENG})},
    pages = {21--32},
    publisher = {IEEE},
    isbn = {978-1-5386-0610-0},
    doi = {10.1109/ICSEng.2017.59},
    note = {Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research (SymbiKcloud Project)},
}

@inproceedings{HinStaEtAl:2017:1178264,
    author = {Timo Hinzmann and Thomas Stastny and Gianpaolo Conte and Patrick Doherty and Piotr Rudol and Mariusz Wzorek and Enric Galceran and Roland Siegwart and Igor Gilitschenski},
    title = {{Collaborative 3D Reconstruction Using Heterogeneous UAVs: System and Experiments}},
    year = {2017},
    booktitle = {2016 INTERNATIONAL SYMPOSIUM ON EXPERIMENTAL ROBOTICS},
    pages = {43--56},
    series = {Springer Proceedings in Advanced Robotics},
    publisher = {SPRINGER INTERNATIONAL PUBLISHING AG},
    isbn = {978-3-319-50115-4, 978-3-319-50114-7},
    issn = {2511-1256},
    doi = {10.1007/978-3-319-50115-4\_5},
    note = {Funding Agencies|European Commissions Seventh Framework Programme (FP7) [285417, 600958]},
}

@inproceedings{WzoRudEtAl:2017:1130454,
    author = {Mariusz Wzorek and Piotr Rudol and Gianpaolo Conte and Patrick Doherty},
    title = {{LinkBoard: Advanced Flight Control System for Micro Unmanned Aerial Vehicles}},
    year = {2017},
    booktitle = {2017 2ND INTERNATIONAL CONFERENCE ON CONTROL AND ROBOTICS ENGINEERING (ICCRE2017)},
    publisher = {IEEE},
    isbn = {978-1-5090-3774-2},
    doi = {10.1109/ICCRE.2017.7935051},
    note = {Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research [RIT 15-0097]},
}

@inproceedings{AndWzoDoh:2017:1049877,
    author = {Olov Andersson and Mariusz Wzorek and Patrick Doherty},
    title = {{Deep Learning Quadcopter Control via Risk-Aware Active Learning}},
    year = {2017},
    booktitle = {Proceedings of The Thirty-first AAAI Conference on Artificial Intelligence ({AAAI})},
    pages = {3812--3818},
    editor = {Satinder Singh and Shaul Markovitch},
    series = {Proceedings of the AAAI Conference on Artificial Intelligence},
    volume = {5},
    publisher = {AAAI Press},
    isbn = {978-1-57735-784-1},
    issn = {2159-5399},
}

@article{BurKvaDoh:2017:914860,
    author = {Oleg Burdakov and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles}},
    year = {2017},
    journal = {Annals of Operations Research},
    volume = {249},
    number = {1},
    pages = {163--174},
    publisher = {Springer},
    issn = {0254-5330},
    doi = {10.1007/s10479-016-2169-5},
}

@inproceedings{HgeBhaEtAl:2016:1104310,
    author = {Gustav H\"ager and Goutam Bhat and Martin Danelljan and Fahad Shahbaz Khan and Michael Felsberg and Piotr Rudol and Patrick Doherty},
    title = {{Combining Visual Tracking and Person Detection for Long Term Tracking on a UAV}},
    year = {2016},
    booktitle = {Proceedings of the 12th International Symposium on Advances in Visual Computing},
    series = {Lecture Notes in Computer Science},
    publisher = {Springer},
    isbn = {978-3-319-50834-4, 978-3-319-50835-1},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-50835-1\_50},
}

@inproceedings{DohSza:2016:1076960,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{An Entailment Procedure for Kleene Answer Set Programs}},
    year = {2016},
    booktitle = {Multi-disciplinary Trends in Artificial Intelligence. MIWAI 2016.},
    pages = {24--37},
    editor = {Sombattheera C. and Stolzenburg F. and Lin F. and Nayak A.},
    series = {Lecture Notes in Computer Science},
    volume = {10053},
    publisher = {Springer},
    isbn = {978-3-319-49396-1, 978-3-319-49397-8},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-49397-8\_3},
}

@inproceedings{DohKvaSza:2016:1073362,
    author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas},
    title = {{Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs}},
    year = {2016},
    booktitle = {Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
    pages = {536--542},
    editor = {Michael and Loizos; Kakas and Antonis},
    series = {Lecture Notes in Computer Science},
    volume = {10021},
    publisher = {Springer Publishing Company},
    isbn = {978-3-319-48757-1, 978-3-319-48758-8},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-48758-8\_36},
}

@inproceedings{RudDoh:2016:1063432,
    author = {Piotr Rudol and Patrick Doherty},
    title = {{Bridging the mission-control gap: A flight command layer for mediating flight behaviours and continuous control}},
    year = {2016},
    booktitle = {2016 IEEE International Symposium on Safety, Security, and Rescue Robotics ({SSRR})},
    pages = {304--311},
    series = {2016 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR)},
    publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
    isbn = {9781509043491, 9781509043507},
    issn = {2374-3247},
    doi = {10.1109/SSRR.2016.7784320},
}

@inproceedings{BerWzoEtAl:2016:1044508,
    author = {Cyrille Berger and Mariusz Wzorek and Jonas Kvarnstr\"om and Gianpaolo Conte and Patrick Doherty and Alexander Eriksson},
    title = {{Area Coverage with Heterogeneous UAVs using Scan Patterns}},
    year = {2016},
    booktitle = {2016 IEEE International Symposium on Safety, Security, and Rescue Robotics ({SSRR}): proceedings},
    series = {2016 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR)},
    publisher = {IEEE Robotics and Automation Society},
    isbn = {978-1-5090-4349-1},
    issn = {2374-3247},
    doi = {10.1109/SSRR.2016.7784325},
}

@inproceedings{GarConEtAl:2016:1040071,
    author = {Jose Renato Garcia Braga and Gianpaolo Conte and Patrick Doherty and Haroldo Fraga Campos Velho and Elcio Hideiti Shiguemori},
    title = {{An Image Matching System for Autonomous UAV Navigation Based on Neural Network}},
    year = {2016},
    booktitle = {14th International Conference on Control, Automation, Robotics and Vision (ICARCV 2016)},
    series = {International Conference on Control Automation Robotics and Vision},
    isbn = {978-1-5090-3549-6, 978-1-5090-3550-2},
    issn = {2474-2953},
    doi = {10.1109/ICARCV.2016.7838775},
    note = {Funding agencies:This work was carried out with support from CNPq - National Counsel of Technological and Scientific Development - Brazil. This work is partially supported by the Swedish Research Council (VR) Linnaeus Center CADICS, ELLIIT, and the Swedish Foundation for Strategic Research (CUAS Project, SymbiKCloud Project).},
}

@inproceedings{GarConEtAl:2016:1040067,
    author = {Jose Renato Garcia Braga and Gianpaolo Conte and Patrick Doherty and Haroldo Fraga Campos Velho and Elcio Hideiti Shiguemori},
    title = {{Use of Artificial Neural Networks for Automatic Categorical Change Detection in Satellite Imagery}},
    year = {2016},
    booktitle = {Proceedings of the 4th Conference of Computational Interdisciplinary Sciences (CCIS 2016)},
    publisher = {Pan American Association of Computational Interdisciplinary},
}

@inproceedings{DohKvaEtAl:2016:953055,
    author = {Patrick Doherty and Jonas Kvarnstr\"om and Piotr Rudol and Mariusz Wzorek and Gianpaolo Conte and Cyrille Berger and Timo Hinzmann and Thomas Stastny},
    title = {{A Collaborative Framework for 3D Mapping using Unmanned Aerial Vehicles}},
    year = {2016},
    booktitle = {PRIMA 2016: Principles and Practice of Multi-Agent Systems},
    pages = {110--130},
    editor = {Baldoni and M. and Chopra and A.K. and Son and T.C. and Hirayama and K. and Torroni and P.},
    series = {Lecture Notes in Computer Science},
    volume = {9862},
    publisher = {Springer Publishing Company},
    isbn = {978-3-319-44831-2},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-44832-9\_7},
    note = {Accepted for publication.},
}

@inproceedings{AndWzoEtAl:2016:916711,
    author = {Olov Andersson and Mariusz Wzorek and Piotr Rudol and Patrick Doherty},
    title = {{Model-Predictive Control with Stochastic Collision Avoidance using Bayesian Policy Optimization}},
    year = {2016},
    booktitle = {IEEE International Conference on Robotics and Automation ({ICRA}), 2016},
    pages = {4597--4604},
    series = {Proceedings of IEEE International Conference on Robotics and Automation},
    publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
    issn = {1050-4729},
    doi = {10.1109/ICRA.2016.7487661},
}

@article{NilKvaDoh:2016:860637,
    author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification}},
    year = {2016},
    journal = {Acta Informatica},
    volume = {53},
    number = {6-8},
    pages = {723--752},
    publisher = {Springer Publishing Company},
    issn = {0001-5903},
    doi = {10.1007/s00236-015-0248-8},
}

@article{WarKvaDoh:2016:855938,
    author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{A Modeling Framework for Troubleshooting Automotive Systems}},
    year = {2016},
    journal = {Applied Artificial Intelligence},
    volume = {30},
    number = {3},
    pages = {257--296},
    publisher = {Taylor \& Francis},
    issn = {0883-9514},
    doi = {10.1080/08839514.2016.1156955},
    note = {The published article is a shorter version than the version in manuscript form. The status of this article was\ earlier \<em\>Manuscript\</em\>.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS},
}

@inproceedings{NilKvaDoh:2015:858385,
    author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis}},
    year = {2015},
    booktitle = {Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6--8, 2014, Revised Selected Papers},
    pages = {243--261},
    editor = {B\'eatrice Duval; Jaap van den Herik; Stephane Loiseau; Joaquim Filipe},
    series = {Lecture Notes in Computer Science},
    volume = {8946},
    publisher = {Springer},
    isbn = {978-3-319-25209-4, 978-3-319-25210-0},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-25210-0\_15},
}

@inproceedings{DanKhaEtAl:2015:796839,
    author = {Martin Danelljan and Fahad Shahbaz Khan and Michael Felsberg and Karl Granstr\"om and Fredrik Heintz and Piotr Rudol and Mariusz Wzorek and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems}},
    year = {2015},
    booktitle = {COMPUTER VISION - ECCV 2014 WORKSHOPS, PT I},
    pages = {223--237},
    editor = {Lourdes Agapito and Michael M. Bronstein and Carsten Rother},
    series = {Lecture Notes in Computer Science},
    volume = {8925},
    publisher = {Springer Publishing Company},
    isbn = {978-3-319-16177-8, 978-3-319-16178-5},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-16178-5\_15},
}

@incollection{DohSza:2015:788464,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Stability, Supportedness, Minimality and Kleene Answer Set Programs}},
    year = {2015},
    booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday},
    pages = {125--140},
    editor = {Thomas Eiter and Hannes Strass and Miros\l{}aw Truszczynski and Stefan Woltran},
    series = {Lecture Notes in Computer Science},
    volume = {9060},
    publisher = {Springer},
    isbn = {978-3-319-14725-3, 978-3-319-14726-0},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-14726-0\_9},
}

@inproceedings{AndHeiDoh:2015:781572,
    author = {Olov Andersson and Fredrik Heintz and Patrick Doherty},
    title = {{Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization}},
    year = {2015},
    booktitle = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence ({AAAI})},
    pages = {2497--2503},
    editor = {Blai Bonet and Sven Koenig},
    publisher = {AAAI Press},
    isbn = {978-1-57735-698-1},
}

@incollection{DohKvaEtAl:2014:783442,
    author = {Patrick Doherty and Jonas Kvarnstr\"om and Mariusz Wzorek and Piotr Rudol and Fredrik Heintz and Gianpaolo Conte},
    title = {{HDRC3 - A Distributed Hybrid Deliberative/Reactive Architecture for Unmanned Aircraft Systems}},
    year = {2014},
    booktitle = {Handbook of Unmanned Aerial Vehicles},
    pages = {849--952},
    editor = {Kimon P. Valavanis and George J. Vachtsevanos},
    publisher = {Springer Science+Business Media B.V.},
    isbn = {978-90-481-9706-4, 978-90-481-9707-1},
    doi = {10.1007/978-90-481-9707-1\_118},
}

@inproceedings{BurDohKva:2014:742139,
    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},
    booktitle = {Examining Robustness and Vulnerability of Networked Systems},
    pages = {26--50},
    editor = {Butenko and S. and Pasiliao and E.L. and Shylo and V.},
    series = {NATO Science for Peace and Security Series - D: Information and Communication Security},
    volume = {37},
    publisher = {IOS Press},
    isbn = {978-1-61499-390-2, 978-1-61499-391-9},
    issn = {1874-6268},
    doi = {10.3233/978-1-61499-391-9-26},
}

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

@article{ConRudDoh:2014:736519,
    author = {Gianpaolo Conte and Piotr Rudol and Patrick Doherty},
    title = {{Evaluation of a Light-weight Lidar and a Photogrammetric System for Unmanned Airborne Mapping Applications: [Bewertung eines Lidar-systems mit geringem Gewicht und eines photogrammetrischen Systems f\"ur Anwendungen auf einem UAV]}},
    year = {2014},
    journal = {Photogrammetrie - Fernerkundung - Geoinformation},
    number = {4},
    pages = {287--298},
    publisher = {E. Schweizerbart'sche Verlagsbuchhandlung},
    issn = {1432-8364},
    doi = {10.1127/1432-8364/2014/0223},
}

@inproceedings{NilKvaDoh:2014:725791,
    author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Incremental Dynamic Controllability in Cubic Worst-Case Time}},
    year = {2014},
    booktitle = {Proceedings of the 21st International Symposium on Temporal Representation and Reasoning ({TIME})},
    pages = {17--26},
    editor = {Cesta and A; Combi and C; Laroussinie and F},
    series = {International Workshop on Temporal Representation and Reasoning. Proceedings},
    publisher = {IEEE Computer Society Digital Library},
    isbn = {978-1-4799-4227-5},
    issn = {1530-1311},
    doi = {10.1109/TIME.2014.13},
}

@inproceedings{NilKvaDoh:2014:685363,
    author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Efficient IDC: A Faster Incremental Dynamic Controllability Algorithm}},
    year = {2014},
    booktitle = {Proceedings of the 24th International Conference on Automated Planning and Scheduling ({ICAPS})},
    pages = {199--207},
    publisher = {AAAI Press},
    isbn = {978-1-57735-660-8},
}

@inproceedings{NilKvaDoh:2014:685353,
    author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Classical Dynamic Controllability Revisited: A Tighter Bound on the Classical Algorithm}},
    year = {2014},
    booktitle = {Proceedings of the 6th International Conference on Agents and Artificial Intelligence ({ICAART})},
    pages = {130--141},
    isbn = {978-989-758-015-4},
    doi = {10.5220/0004815801300141},
}

@inproceedings{DohHeiKva:2013:664665,
    author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\"om},
    title = {{Robotics, Temporal Logic and Stream Reasoning}},
    year = {2013},
    booktitle = {Proceedings of Logic for Programming Artificial Intelligence and Reasoning ({LPAR}), 2013},
}

@article{DohSza:2013:662860,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination}},
    year = {2013},
    journal = {Fundamenta Informaticae},
    volume = {127},
    number = {1-4},
    pages = {135--149},
    publisher = {IOS Press},
    issn = {0169-2968},
    doi = {10.3233/FI-2013-900},
    note = {Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS||ELLIIT Excellence Center at Linkoping-Lund in Information Technology||CUAS project||SSF, the Swedish Foundation for Strategic Research||},
}

@inproceedings{ConKleEtAl:2013:639341,
    author = {Gianpaolo Conte and Alexander Kleiner and Piotr Rudol and Karol Korwel and Mariusz Wzorek and Patrick Doherty},
    title = {{Performance evaluation of a light weight multi-echo LIDAR for unmanned rotorcraft applications}},
    year = {2013},
    booktitle = {International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Volume XL-1/W2},
    series = {International Archives of Photogrammetry, Remote Sensing and Spatial Information Sciences},
    publisher = {Copernicus Gesellschaft MBH},
    issn = {2194-9034},
}

@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},
    volume = {1},
    number = {1},
    pages = {75--119},
    publisher = {World Scientific},
    issn = {2301-3850},
    doi = {10.1142/S2301385013500052},
}

@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},
    volume = {27},
    number = {2},
    pages = {119--128},
    publisher = {Springer},
    issn = {0933-1875},
    doi = {10.1007/s13218-013-0239-2},
}

@inproceedings{WarKvaDoh:2013:605391,
    author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Exploiting Fully Observable and Deterministic Structures in Goal POMDPs}},
    year = {2013},
    booktitle = {Proceedings of the 23rd International Conference on Automated Planning and Scheduling ({ICAPS})},
    pages = {242--250},
    editor = {Daniel Borrajo and Subbarao Kambhampati and Angelo Oddi and Simone Fratini},
    publisher = {AAAI Press},
    isbn = {978-1-57735-609-7},
}

@inproceedings{NilKvaDoh:2013:605388,
    author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Incremental Dynamic Controllability Revisited}},
    year = {2013},
    booktitle = {Proceedings of the 23rd International Conference on Automated Planning and Scheduling ({ICAPS})},
    publisher = {AAAI Press},
    isbn = {978-1-57735-609-7},
}

@incollection{DohMey:2012:605381,
    author = {Patrick Doherty and John-Jules Ch. Meyer},
    title = {{On the Logic of Delegation - Relating Theory and Practice}},
    year = {2012},
    booktitle = {The Goals of Cognition: Essays in honour of Cristiano Castelfranchi},
    pages = {467--496},
    editor = {Fabio Paglieri and Luca Tummolini and Rino Falcone and Maria Miceli},
    publisher = {College Publications},
    isbn = {978-1848900943},
}

@inproceedings{DohHeiLan:2012:601009,
    author = {Patrick Doherty and Fredrik Heintz and David Land\'en},
    title = {{A Distributed Task Specification Language for Mixed-Initiative Delegation}},
    year = {2012},
    booktitle = {Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers},
    pages = {42--57},
    editor = {Nirmit Desai and Alan Liu and Michael Winikoff},
    series = {Lecture Notes in Computer Science},
    volume = {7057},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-25919-7, 978-3-642-25920-3},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-25920-3\_4},
}

@inproceedings{LanHeiDoh:2012:601008,
    author = {David Land\'en and Fredrik Heintz and Patrick Doherty},
    title = {{Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study}},
    year = {2012},
    booktitle = {Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers},
    pages = {288--303},
    editor = {Nirmit Desai and Alan Liu and Michael Winikoff},
    series = {Lecture Notes in Computer Science},
    volume = {7057},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-25919-7, 978-3-642-25920-3},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-25920-3\_20},
}

@inproceedings{MarMelEtAl:2012:588775,
    author = {L. Marconi and C. Melchiorri and M. Beetz and D. Pangercic and R. Siegwart and S. Leutenegger and R. Carloni and S. Stramigioli and H. Bruyninckx and Patrick Doherty and Alexander Kleiner and V. Lippiello and A. Finzi and B. Siciliano and A. Sala and N. Tomatis},
    title = {{The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments}},
    year = {2012},
    booktitle = {Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics ({SSRR})},
    pages = {1--4},
    publisher = {IEEE},
    isbn = {978-1-4799-0164-7, 978-1-4799-0163-0, 978-1-4799-0165-4},
    doi = {10.1109/SSRR.2012.6523905},
}

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

@inproceedings{DohHei:2012:546435,
    author = {Patrick Doherty and Fredrik Heintz},
    title = {{Delegation-Based Collaboration}},
    year = {2012},
    booktitle = {Proceedings of the 5th International Conference on Cognitive Systems (CogSys)},
}

@inproceedings{DohKvaSza:2012:489882,
    author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas},
    title = {{Temporal Composite Actions with Constraints}},
    year = {2012},
    booktitle = {Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
    pages = {478--488},
    publisher = {AAAI Press},
    isbn = {978-1-57735-560-1, 978-1-57735-561-8},
}

@inproceedings{ConDoh:2011:505007,
    author = {Gianpaolo Conte and Patrick Doherty},
    title = {{A Visual Navigation System for UAS Based on Geo-referenced Imagery}},
    year = {2011},
    booktitle = {International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol. XXXVIII-1/C22Proceedings of the International Conference on Unmanned Aerial Vehicle in Geomatics, Zurich, Switzerland, September 14-16, 2011},
    series = {International Archives of Photogrammetry, Remote Sensing and Spatial Information Sciences},
    issn = {2194-9034},
}

@inproceedings{DohHeiLan:2011:463629,
    author = {Patrick Doherty and Fredrik Heintz and David Land\'en},
    title = {{A Delegation-Based Collaborative Robotic Framework}},
    year = {2011},
    booktitle = {Proceedings of the 3rd International Workshop on Collaborative Agents - Research and development},
    editor = {Christian Guttmann},
}

@incollection{DohHeiLan:2011:463627,
    author = {Patrick Doherty and Fredrik Heintz and David Land\'en},
    title = {{A Delegation-Based Architecture for Collaborative Robotics}},
    year = {2011},
    booktitle = {Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers},
    pages = {205--247},
    editor = {Danny Weyns and Marie-Pierre Gleizes},
    series = {Lecture Notes in Computer Science},
    volume = {6788},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-22635-9},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-22636-6\_13},
}

@inproceedings{DohHei:2011:463624,
    author = {Patrick Doherty and Fredrik Heintz},
    title = {{A Delegation-Based Cooperative Robotic Framework}},
    year = {2011},
    booktitle = {Proceedings of the IEEE International Conference on Robotics and Biomimetic},
    pages = {2955--2962},
    publisher = {IEEE conference proceedings},
    isbn = {978-1-4577-2136-6},
    doi = {10.1109/ROBIO.2011.6181755},
}

@inproceedings{DohDunSza:2011:461565,
    author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Tractable model checking for fragments of higher-order coalition logic}},
    year = {2011},
    booktitle = {Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2},
    pages = {743--750},
    editor = {Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum},
    publisher = {AAAI Press},
    isbn = {0-9826571-6-1, 978-0-9826571-6-4},
}

@inproceedings{DohMicEtAl:2011:461555,
    author = {Patrick Doherty and Tomasz Michalak and Jacek Sroka and Andrzej Szalas},
    title = {{Contextual Coalitional Games}},
    year = {2011},
    booktitle = {Proceedings of the 4th Indian Conference on Logic and its Applications ({ICLA})},
    pages = {65--78},
    editor = {Mohua Banerjee and Anil Seth},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {6521},
    publisher = {Springer Berlin/Heidelberg},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-18026-2\_7},
}

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

@inproceedings{DohKvaEtAl:2010:355063,
    author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz and David Land\'en and Per-Magnus Olsson},
    title = {{Research with Collaborative Unmanned Aircraft Systems}},
    year = {2010},
    booktitle = {Proceedings of the Dagstuhl Workshop on Cognitive Robotics},
    editor = {Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
    series = {Dagstuhl Seminar Proceedings},
    volume = {10081},
    publisher = {Leibniz-Zentrum f\"ur Informatik},
    issn = {1862-4405},
}

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

@inproceedings{RudWzoDoh:2010:354593,
    author = {Piotr Rudol and Mariusz Wzorek and Patrick Doherty},
    title = {{Vision-based Pose Estimation for Autonomous Indoor Navigation of Micro-scale Unmanned Aircraft Systems}},
    year = {2010},
    booktitle = {Proceedings of the 2010 IEEE International Conference on Robotics and Automation ({ICRA})},
    pages = {1913--1920},
    series = {Proceedings - IEEE International Conference on Robotics and Automation},
    volume = {2010},
    publisher = {IEEE conference proceedings},
    isbn = {978-1-4244-5038-1},
    issn = {1050-4729},
    doi = {10.1109/ROBOT.2010.5509203},
}

@inproceedings{WzoKvaDoh:2010:354495,
    author = {Mariusz Wzorek and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Choosing Path Replanning Strategies for Unmanned Aircraft Systems}},
    year = {2010},
    booktitle = {Proceedings of the Twentieth International Conference on Automated Planning and Scheduling ({ICAPS})},
    pages = {193--200},
    editor = {Ronen Brafman and H\'ector Geffner and J\"org Hoffmann and Henry Kautz},
    publisher = {AAAI Press},
    isbn = {978-1-57735-449-9},
}

@inproceedings{HeiKvaDoh:2010:354332,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Stream-Based Reasoning in DyKnow}},
    year = {2010},
    booktitle = {Proceedings of the Dagstuhl Workshop on Cognitive Robotics},
    editor = {Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
    series = {Dagstuhl Seminar Proceedings},
    volume = {10081},
    publisher = {Leibniz-Zentrum f\"ur Informatik},
    issn = {1862-4405},
}

@inproceedings{HeiKvaDoh:2010:354331,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Stream-Based Middleware Support for Embedded Reasoning}},
    year = {2010},
    booktitle = {Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems ({ER})},
    publisher = {AAAI Press},
    isbn = {978-157735458-1},
}

@inproceedings{HeiKvaDoh:2010:354329,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Stream-Based Reasoning Support for Autonomous Systems}},
    year = {2010},
    booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence ({ECAI})},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {215},
    publisher = {IOS Press},
    isbn = {978-1-60750-605-8},
    issn = {0922-6389},
    doi = {10.3233/978-1-60750-606-5-183},
}

@inproceedings{HeiDoh:2010:354328,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs}},
    year = {2010},
    booktitle = {Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision ({ICARCV})},
    pages = {1063--1069},
    publisher = {IEEE conference proceedings},
    isbn = {978-1-4244-7814-9},
    doi = {10.1109/ICARCV.2010.5707967},
}

@inproceedings{KvaDoh:2010:353977,
    author = {Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Automated Planning for Collaborative UAV Systems}},
    year = {2010},
    booktitle = {Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision ({ICARCV})},
    pages = {1078--1085},
    publisher = {IEEE conference proceedings},
    isbn = {978-1-4244-7813-2, 978-1-4244-7814-9},
    doi = {10.1109/ICARCV.2010.5707969},
}

@inproceedings{OlsKvaEtAl:2010:353975,
    author = {Per-Magnus Olsson and Jonas Kvarnstr\"om and Patrick Doherty and Oleg Burdakov and Kaj Holmberg},
    title = {{Generating UAV Communication Networks for Monitoring and Surveillance}},
    year = {2010},
    booktitle = {Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010)},
    pages = {1070--1077},
    publisher = {IEEE conference proceedings},
    isbn = {978-1-4244-7814-9},
    doi = {10.1109/ICARCV.2010.5707968},
}

@inproceedings{WarKvaDoh:2010:353971,
    author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Iterative Bounding LAO*}},
    year = {2010},
    booktitle = {ECAI 2010: 19th European Conference on Artificial Intelligence - Volume 215 Frontiers in Artificial Intelligence and Applications},
    pages = {341--346},
    editor = {Helder Coelho and Rudi Studer and Mike Wooldridge},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {215},
    publisher = {IOS Press},
    isbn = {978-1-60750-605-8, 978-1-60750-606-5},
    issn = {0922-6389},
    doi = {10.3233/978-1-60750-606-5-341},
}

@inproceedings{DohSza:2010:353173,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{On the Correctness of Rough-Set Based Approximate Reasoning}},
    year = {2010},
    booktitle = {Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing ({RSCTC})},
    pages = {327--336},
    editor = {M. Szczuka and M. Kryszkiewicz and S. Ramanna and R. Jensen and Q. Hu},
    series = {Lecture Notes in Computer Science},
    volume = {6086},
    publisher = {Springer},
    isbn = {978-3-642-13528-6},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-13529-3\_35},
}

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

@inproceedings{BurDohEtAl:2010:242169,
    author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson},
    title = {{Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks}},
    year = {2010},
    booktitle = {Robotics: Science and Systems V},
    pages = {257--264},
    editor = {J. Trinkle and Y. Matsuoka and J.A. Castellanos},
    publisher = {MIT Press},
    isbn = {978-0-262-51463-7},
}

@inproceedings{WarKvaDoh:2009:273347,
    author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Planning as Heuristic Search for Incremental Fault Diagnosis and Repair}},
    year = {2009},
    booktitle = {Proceedings of the Scheduling and Planning Applications Workshop ({SPARK}) at the 19th International Conference on Automated Planning and Scheduling ({ICAPS})},
}

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

@incollection{DohKva:2009:257634,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{Temporal Action Logics}},
    year = {2009},
    booktitle = {Handbook of Knowledge Representation},
    pages = {709--757},
    editor = {V. Lifschitz and F. van Harmelen and and F. Porter},
    series = {Foundations of Artificial Intelligence},
    volume = {3},
    publisher = {Elsevier},
    isbn = {978-0-444-52211-5},
    issn = {1574-6526},
    doi = {10.1016/S1574-6526(07)03018-0},
}

@inproceedings{MagLanDoh:2009:249052,
    author = {Martin Magnusson and David Land\'en and Patrick Doherty},
    title = {{Logical Agents that Plan, Execute, and Monitor Communication}},
    year = {2009},
    booktitle = {Proceedings of the 2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2)},
}

@inproceedings{MagDoh:2009:249049,
    author = {Martin Magnusson and Patrick Doherty},
    title = {{Planning Speech Acts in a Logic of Action and Change}},
    year = {2009},
    booktitle = {The Swedish AI Society Workshop 2009, SAIS 2009},
    pages = {39--48},
    editor = {Fredrik Heintz and Jonas Kvarnstr\"om},
    series = {Link\"oping Electronic Conference Proceedings},
    volume = {35},
    publisher = {Link\"oping University Electronic Press, Link\"opings universitet},
    issn = {1650-3686},
}

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

@inproceedings{HeiKvaDoh:2009:249045,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Stream Reasoning in DyKnow: A Knowledge Processing Middleware System}},
    year = {2009},
    booktitle = {Proceedings of the Stream Reasoning Workshop},
    series = {CEUR Workshop Proceedings},
    volume = {466},
    publisher = {M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen},
    issn = {1613-0073},
}

@inproceedings{MagKvaDoh:2009:242160,
    author = {Martin Magnusson and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Abductive Reasoning with Filtered Circumscription}},
    year = {2009},
    booktitle = {Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change ({NRAC})},
    publisher = {UTSePress},
    isbn = {978-0-9802840-7-2},
}

@inproceedings{HeiKvaDoh:2009:242158,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{A Stream-Based Hierarchical Anchoring Framework}},
    year = {2009},
    booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems ({IROS})},
    pages = {5254--},
    publisher = {IEEE conference proceedings},
    isbn = {978-1-4244-3803-7},
    doi = {10.1109/IROS.2009.5354372},
}

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

@inproceedings{ConDoh:2008:505233,
    author = {Gianpaolo Conte and Patrick Doherty},
    title = {{Use of Geo-referenced Images with Unmanned Aerial Systems}},
    year = {2008},
    booktitle = {Workshop Proceedings of SIMPAR 2008, International Conference on Simulation, Modeling and Programming for Autonomous Robots. Venice(Italy) 2008 November,3-4.},
    pages = {444--454},
    isbn = {978-88-95872-01-8},
}

@inproceedings{NybDoh:2008:343146,
    author = {Per Nyblom and Patrick Doherty},
    title = {{Towards Automatic Model Generation by Optimization}},
    year = {2008},
    booktitle = {Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence ({SCAI})},
    pages = {114--123},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {173},
    publisher = {IOS Press},
    isbn = {978-1-58603-867-0, e-978-1-60750-335-4},
    issn = {0922-6389},
}

@inproceedings{ConDoh:2008:265523,
    author = {Gianpaolo Conte and Patrick Doherty},
    title = {{An Integrated UAV Navigation System Based on Aerial Image Matching}},
    year = {2008},
    booktitle = {IEEE Aerospace Conference 2008,2008},
    pages = {3142--3151},
    series = {IEEE Aerospace Conference},
    publisher = {IEEE},
    isbn = {978-1-4244-1487-1, 978-1-4244-1488-8},
    issn = {1095-323X},
    doi = {10.1109/AERO.2008.4526556},
}

@inproceedings{ConHemEtAl:2008:265519,
    author = {Gianpaolo Conte and Maria Hempel and Piotr Rudol and David Lundstr\"om and Simone Duranti and Mariusz Wzorek and Patrick Doherty},
    title = {{High Accuracy Ground Target Geo-Location Using Autonomous Micro Aerial Vehicle Platforms}},
    year = {2008},
    booktitle = {Proceedings of the AIAA Guidance, Navigation, and Control Conference ({GNC})},
    publisher = {AIAA},
    isbn = {978-1-56347-945-8},
}

@inproceedings{RudDoh:2008:265516,
    author = {Piotr Rudol and Patrick Doherty},
    title = {{Human Body Detection and Geolocalization for UAV Search and Rescue Missions Using Color and Thermal Imagery}},
    year = {2008},
    booktitle = {Proceedings of the IEEE Aerospace Conference},
    pages = {1--8},
    series = {Aerospace Conference Proceedings},
    volume = {2008},
    publisher = {IEEE},
    isbn = {978-1-4244-1488-8, 978-1-4244-1487-1},
    issn = {1095-323X},
    doi = {10.1109/AERO.2008.4526559},
}

@inproceedings{DohSza:2008:265481,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription}},
    year = {2008},
    booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
    pages = {560--570},
    editor = {Gerhard Brewka and J\'er\^ome Lang},
    publisher = {AAAI Press},
    isbn = {978-1-57735-384-3},
}

@inproceedings{HeiDoh:2008:265439,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{DyKnow Federations: Distributing and Merging Information Among UAVs}},
    year = {2008},
    booktitle = {Proceedings of the 11th International Conference on Information Fusion ({FUSION})},
    publisher = {IEEE conference proceedings},
    isbn = {978-3-8007-3092-6},
}

@inproceedings{MagDoh:2008:265435,
    author = {Martin Magnusson and Patrick Doherty},
    title = {{Temporal Action Logic for Question Answering in an Adventure Game}},
    year = {2008},
    booktitle = {Artificial General Intelligence, AGI 2008},
    pages = {236--247},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {15},
    publisher = {IOS Press},
    isbn = {978-1-58603-833-5},
    issn = {0922-6389},
}

@inproceedings{MagLanDoh:2008:265434,
    author = {Martin Magnusson and David Land\'en and Patrick Doherty},
    title = {{Planning, Executing, and Monitoring Communication in a Logic-Based Multi-Agent System}},
    year = {2008},
    booktitle = {ECAI 2008},
    pages = {933--934},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {178},
    publisher = {IOS Press},
    isbn = {978-1-58603-891-5},
    issn = {0922-6389},
    doi = {10.3233/978-1-58603-891-5-933},
}

@inproceedings{MagDoh:2008:265433,
    author = {Martin Magnusson and Patrick Doherty},
    title = {{Deductive Planning with Inductive Loops}},
    year = {2008},
    booktitle = {Proceedings               of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
    pages = {528--534},
    publisher = {AAAI Press},
    isbn = {978-1-57735-384-3},
}

@inproceedings{MagDoh:2008:265431,
    author = {Martin Magnusson and Patrick Doherty},
    title = {{Logical Agents for Language and Action}},
    year = {2008},
    booktitle = {4th International Artificial Intelligence and Interactive Digital Entertainment Conference AIIDE 2008,2008},
    publisher = {AAAI Press},
    isbn = {978-1-57735-391-1},
}

@inproceedings{HeiKvaDoh:2008:265428,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing}},
    year = {2008},
    booktitle = {IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms},
    editor = {Martin Hulse and Manfred Hild},
    note = {No proceedings, but CD},
}

@inproceedings{KvaHeiDoh:2008:265425,
    author = {Jonas Kvarnstr\"om and Fredrik Heintz and Patrick Doherty},
    title = {{A Temporal Logic-Based Planning and Execution Monitoring System}},
    year = {2008},
    booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling ({ICAPS})},
    pages = {198--},
    publisher = {AAAI Press},
    isbn = {978-1-57735-386-7, 978-1-57735-387-4},
}

@inproceedings{OlsDoh:2008:265414,
    author = {Per-Magnus Olsson and Patrick Doherty},
    title = {{The Observer Algorithm For Visibility Approximation}},
    year = {2008},
    booktitle = {10th Scandinavian Conference on Artificial Intelligence, SCAI 2008},
    pages = {3--11},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {173},
    publisher = {IOS Press},
    isbn = {978-1-58603-867-0, e-978-1-60750-335-4},
    issn = {0922-6389},
}

@inproceedings{RudWzoEtAl:2008:261718,
    author = {Piotr Rudol and Mariusz Wzorek and Gianpaolo Conte and Patrick Doherty},
    title = {{Micro unmanned aerial vehicle visual servoing for cooperative indoor exploration}},
    year = {2008},
    booktitle = {Proceedings of the IEEE Aerospace Conference},
    series = {Aerospace Conference Proceedings},
    volume = {2008},
    publisher = {IEEE conference proceedings},
    isbn = {978-1-4244-1487-1},
    issn = {1095-323X},
    doi = {10.1109/AERO.2008.4526558},
}

@inproceedings{HeiKvaDoh:2008:249050,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Knowledge Processing Middleware}},
    year = {2008},
    booktitle = {Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots ({SIMPAR})},
    pages = {147--158},
    editor = {S. Carpin and I. Noda and E. Pagello and M. Reggiani and O. von Stryk},
    series = {Lecture Notes in Computer Science},
    volume = {5325},
    publisher = {Springer},
    isbn = {978-3-540-89075-1, 978-3-540-89076-8},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-89076-8\_17},
}

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

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

@inproceedings{DurConEtAl:2007:261743,
    author = {Simone Duranti and Gianpaolo Conte and David Lundstr\"om and Piotr Rudol and Mariusz Wzorek and Patrick Doherty},
    title = {{LinkMAV, a prototype rotary wing micro aerial vehicle}},
    year = {2007},
    booktitle = {17th IFAC Symposium on Automatic Control in Aerospace,2007},
    publisher = {Elsevier},
}

@inproceedings{DohDunSza:2007:261725,
    author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Dynamics of approximate information fusion}},
    year = {2007},
    booktitle = {Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms ({RSEISP})},
    pages = {668--677},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {4585},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-540-73450-5},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-73451-2\_70},
}

@inproceedings{DohMey:2007:261722,
    author = {Patrick Doherty and John-Jules Meyer},
    title = {{Towards a delegation framework for aerial robotic mission scenarios}},
    year = {2007},
    booktitle = {Proceedings of the 11th International Workshop on Cooperative Information Agents ({CIA})},
    pages = {5--26},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-540-75118-2},
    doi = {10.1007/978-3-540-75119-9\_2},
}

@inproceedings{DohRud:2007:261721,
    author = {Patrick Doherty and Piotr Rudol},
    title = {{A UAV search and rescue scenario with human body detection and geolocalization}},
    year = {2007},
    booktitle = {Proceedings of the 20th Australian Joint Conference on Artificial Intelligence ({AI})},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-540-76926-2},
}

@inproceedings{MejCamEtAl:2007:261715,
    author = {Luis Mejias and Pascual Campoy and Iv\'an F. Mondrag\'on and Patrick Doherty},
    title = {{Stereo visual system for autonomous air vehicle navigation}},
    year = {2007},
    booktitle = {6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume\# 6 | Part\# 1},
    pages = {203--208},
    series = {IFAC Proceedings series},
    publisher = {Elsevier},
    isbn = {978-3-902661-65-4},
    issn = {1474-6670},
    doi = {10.3182/20070903-3-FR-2921.00037},
}

@inproceedings{HeiRudDoh:2007:261704,
    author = {Fredrik Heintz and Piotr Rudol and Patrick Doherty},
    title = {{From Images to Traffic Behavior - A UAV Tracking and Monitoring Application}},
    year = {2007},
    booktitle = {Proceedings of the 10th International Conference on Information Fusion ({FUSION})},
    publisher = {IEEE conference proceedings},
    isbn = {978-0-662-45804-3, 978-0-662-47830-0},
    doi = {10.1109/ICIF.2007.4408103},
}

@inproceedings{HeiRudDoh:2007:261681,
    author = {Fredrik Heintz and Piotr Rudol and Patrick Doherty},
    title = {{Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework}},
    year = {2007},
    booktitle = {Proceedings of the 30th Annual German Conference on Artificial Intelligence ({KI})},
    pages = {460--463},
    editor = {Joachim Hertzberg and Michael Beetz and Roman Englert},
    series = {Lecture Notes in Computer Science},
    volume = {4667},
    publisher = {Springer},
    isbn = {978-3-540-74564-8},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-74565-5\_40},
}

@inproceedings{MagDoh:2007:260498,
    author = {Martin Magnusson and Patrick Doherty},
    title = {{Deductive Planning with Temporal Constraints}},
    year = {2007},
    booktitle = {Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning,2007},
    publisher = {AAAI Press},
    isbn = {978-1-57735-314-0},
}

@inproceedings{KleDorEtAl:2006:460006,
    author = {Alexander Kleiner and Christian Dornhege and Rainer K\"ummerle and Michael Ruhnke and Bastian Steder and Bernhard Nebel and Patrick Doherty and Mariusz Wzorek and Piotr Rudol and Gianpaolo Conte and Simone Duranti and David Lundstr\"om},
    title = {{RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany)}},
    year = {2006},
    booktitle = {RoboCup 2006 (CDROM Proceedings), Team Description Paper, Rescue Robot League},
    note = {(1st place in the autonomy competition)},
}

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

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

@inproceedings{MagDoh:2006:260499,
    author = {Martin Magnusson and Patrick Doherty},
    title = {{Deductive Planning with Temporal Constraints using TAL}},
    year = {2006},
    booktitle = {Proceedings of the International Symposium on Practical Cognitive Agents and Robots ({PCAR})},
    pages = {141--},
    publisher = {UWA Press},
    isbn = {1-74052-130-7},
    doi = {10.1145/1232425.1232444},
}

@inproceedings{WzoLanDoh:2006:257647,
    author = {Mariusz Wzorek and David Land\'en and Patrick Doherty},
    title = {{GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle}},
    year = {2006},
    booktitle = {Proceedings of the 21st Bristol International UAV Systems Conference ({UAVS})},
    publisher = {University of Bristol, Department of Aerospace engineering},
    isbn = {0-9552644-0-5},
    note = {ISBN: 0-9552644-0-5},
}

@inproceedings{WzoConEtAl:2006:257641,
    author = {Mariusz Wzorek and Gianpaolo Conte and Piotr Rudol and Torsten Merz and Simone Duranti and Patrick Doherty},
    title = {{From Motion Planning to Control - A Navigation Framework for an Autonomous Unmanned Aerial Vehicle}},
    year = {2006},
    booktitle = {Proceedings of the 21st Bristol UAV Systems Conference ({UAVS})},
}

@inproceedings{WzoDoh:2006:257639,
    author = {Mariusz Wzorek and Patrick Doherty},
    title = {{The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning}},
    year = {2006},
    booktitle = {Software Demonstrations at the International Conference on Automated Planning  Scheduling (ICAPS-SD)},
    pages = {36--37},
}

@inproceedings{WzoDoh:2006:257638,
    author = {Mariusz Wzorek and Patrick Doherty},
    title = {{Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle}},
    year = {2006},
    booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling ({ICAPS})},
    pages = {438--441},
    editor = {Derek Long and Stephen F. Smith and Daniel Borrajo and Lee McCluskey},
    publisher = {AAAI Press},
    isbn = {978-1-57735-270-9},
}

@inproceedings{WzoDoh:2006:257637,
    author = {Mariusz Wzorek and Patrick Doherty},
    title = {{Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle}},
    year = {2006},
    booktitle = {ICHIT 2006 - International Conference on Hybrid Information Technology,2006},
}

@book{DohLukEtAl:2006:252617,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas},
    title = {{Knowledge Representation Techniques.: a rough set approach}},
    year = {2006},
    series = {Studies in Fuzziness and Soft Computing},
    volume = {202},
    publisher = {Springer},
    isbn = {978-3-540-33518-4, 3-540-33518-8},
    issn = {1434-9922},
    doi = {10.1007/3-540-33519-6},
}

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

@inproceedings{DohSzaLuk:2005:262236,
    author = {Patrick Doherty and Andrzej Szalas and Witold Lukaszewicz},
    title = {{Similarity, approximations and vagueness}},
    year = {2005},
    booktitle = {Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC)},
    pages = {541--550},
    editor = {Dominik Slezak and Guoyin Wang and Marcin S. Szczuka and Ivo D\"untsch and Yiyu Yao},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {3641},
    publisher = {Springer},
    isbn = {3-540-28653-5},
    issn = {0302-9743},
    doi = {10.1007/11548669\_56},
}

@inproceedings{HeiDoh:2005:262231,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{A knowledge processing middleware framework and its relation to the JDL data fusion model}},
    year = {2005},
    booktitle = {The 8th International Conference on Information Fusion,2005},
}

@inproceedings{WzoDoh:2005:252677,
    author = {Mariusz Wzorek and Patrick Doherty},
    title = {{Reconfigurable path planning for an autonomous unmanned aerial vehicle}},
    year = {2005},
    booktitle = {National Swedish Workshop on Autonomous Systems, SWAR 05,2005},
}

@inproceedings{WzoDoh:2005:252676,
    author = {Mariusz Wzorek and Patrick Doherty},
    title = {{Preliminary report: Reconfigurable path planning for an autonomous unmanned aerial vehicle}},
    year = {2005},
    booktitle = {Proceedings of the 24th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG)},
}

@inproceedings{Doh:2005:252619,
    author = {Patrick Doherty},
    title = {{Knowledge representation and unmanned aerial vehicles}},
    year = {2005},
    booktitle = {Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology ({IAT})},
    pages = {9--16},
    publisher = {IEEE Computer Society},
    isbn = {0-7695-2416-8},
    doi = {10.1109/IAT.2005.93},
}

@inproceedings{HeiDoh:2005:252610,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model}},
    year = {2005},
    booktitle = {SWAR 05,2005},
    pages = {50--51},
}

@inproceedings{HeiDoh:2005:252608,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model}},
    year = {2005},
    booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence an Learning Systems,2005},
    pages = {68--},
    publisher = {M\"alardalens University},
}

@inproceedings{MagDohSza:2005:252325,
    author = {Martin Magnusson and Patrick Doherty and Andrzej Szalas},
    title = {{An Experimental Platform for Approximate Databases}},
    year = {2005},
    booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005},
    pages = {124--},
}

@inproceedings{PetDoh:2005:252323,
    author = {Per Olof Pettersson and Patrick Doherty},
    title = {{Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter}},
    year = {2005},
    booktitle = {Proceedings of the 3rd joint SAIS-SSLS event on Artificial Intelligence and Learning Systems (SAIS-SSLS)},
    editor = {Peter Funk and Thorsteinn R\"ognvaldsson and Ning Xiong},
    publisher = {M\"alardalen University},
}

@inproceedings{HeiDoh:2004:354322,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems}},
    year = {2004},
    booktitle = {Proceedings of the Second Joint SAIS/SSLS Workshop},
}

@inproceedings{DohKerEtAl:2004:269164,
    author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas},
    title = {{Towards a logical analysis of biochemical pathways}},
    year = {2004},
    booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence ({JELIA})},
    pages = {667--679},
    editor = {Jos\'e J\'ulio Alferes and João Alexandre Leite},
    series = {Lecture Notes in Computer Science},
    volume = {3229},
    publisher = {Springer},
    isbn = {978-3-540-23242-1},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-30227-8\_55},
}

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

@inproceedings{Doh:2004:243367,
    author = {Patrick Doherty},
    title = {{Advanced Research with Autonomous Unmanned Aerial Vehicles}},
    year = {2004},
    booktitle = {Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning},
    pages = {731--732},
    publisher = {AAAI Press},
    isbn = {978-1-57735-199-3},
}

@inproceedings{PetDoh:2004:243320,
    author = {Per Olof Pettersson and Patrick Doherty},
    title = {{Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle}},
    year = {2004},
    booktitle = {ICAPS-04 Workshop on Connecting Planning Theory with Practice,2004},
    pages = {49--55},
}

@inproceedings{DohHasEtAl:2004:243301,
    author = {Patrick Doherty and Patrik Haslum and Fredrik Heintz and Torsten Merz and Per Nyblom and Tommy Persson and Bj\"orn Wingman},
    title = {{A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation}},
    year = {2004},
    booktitle = {7th International Symposium on Distributed Autonomous Robotic Systems,2004},
    pages = {221--},
    publisher = {LAAS},
}

@inproceedings{HeiDoh:2004:243295,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{Managing Dynamic Object Structures using Hypothesis Generation and Validation}},
    year = {2004},
    booktitle = {AAAI Workshop on Anchoring Symbols to Sensor Data,2004},
    pages = {54--62},
    publisher = {AAAI Press},
}

@inproceedings{HeiDoh:2004:243294,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems}},
    year = {2004},
    booktitle = {Proceedings of the International Workshop on Monitoring, Security, and Rescue Techniques in Multi-Agent Systems ({MSRAS})},
    pages = {479--492},
    editor = {Barbara Dunin-Keplicz and Andrzej Jankowski and Andrzej Skowron and Marcin Szczuka},
    series = {Advances in Soft Computing},
    volume = {28},
    publisher = {Springer},
    isbn = {978-3540232452},
    issn = {1867-5662},
    doi = {10.1007/3-540-32370-8\_37},
}

@inproceedings{DohKerEtAl:2004:243283,
    author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas},
    title = {{Towards a Logical Analysis of Biochemical Reactions (Extended abstract)}},
    year = {2004},
    booktitle = {Proceedings of the 16th European Conference on Artificial Intelligence ({ECAI})},
    pages = {997--998},
    editor = {Ramon L\'opez de M\'antaras and Lorenza Saitta},
    publisher = {IOS Press},
    isbn = {1-58603-452-9},
}

@inproceedings{DohLukSza:2004:243282,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities}},
    year = {2004},
    booktitle = {Proceedings of the 7th International Conference on Information Fusion},
    pages = {175--182},
    publisher = {ISIF},
    isbn = {91-7056-115-X},
}

@inproceedings{DohSza:2004:243281,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{On the Correspondence between Approximations and Similarity}},
    year = {2004},
    booktitle = {Proceedings of the International Conference on Rough Sets and Current Trends in Computing ({RSCTC})},
    pages = {143--152},
    editor = {Shusaku Tsumoto and Roman Slowinski and Jan Komorowski and Jerzy W. Grzymala-Busse},
    series = {Lecture Notes in Computer Science},
    volume = {3066},
    publisher = {Springer},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-25929-9\_16},
}

@inproceedings{DohLukSza:2004:243280,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities}},
    year = {2004},
    booktitle = {Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning},
    pages = {459--468},
    editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams},
    publisher = {AAAI Press},
    isbn = {978-1-57735-199-3},
}

@incollection{DohKacSza:2004:243266,
    author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases}},
    year = {2004},
    booktitle = {Rough-Neural Computing: Techniques for Computing with Words},
    pages = {219--250},
    editor = {Andrzej Skowron andLech Polkowski  andSankar K Pal},
    series = {Cognitive Technologies},
    publisher = {Springer},
    isbn = {9783540430599},
    issn = {1611-2482},
}

@incollection{DohLukEtAl:2004:243264,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas},
    title = {{Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge}},
    year = {2004},
    booktitle = {Rough-Neural Computing: Techniques for Computing with Words},
    pages = {189--218},
    editor = {Andrzej Skowron andLech Polkowski  andSankar K Pal},
    series = {Cognitive Technologies},
    publisher = {Springer},
    isbn = {9783540430599, 3540430598},
    issn = {1611-2482},
}

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

@inproceedings{SanDohEtAl:2003:370382,
    author = {Erik Sandewall and Patrick Doherty and Oliver Lemon and Stanley Peters},
    title = {{Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle}},
    year = {2003},
    booktitle = {Proceedings of the 26th German Conference on Artificial Intelligence ({KI})},
    pages = {52--63},
    series = {Lecture Notes in Computer Science},
    volume = {2821},
    publisher = {Springer Verlag},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-39451-8\_5},
}

@article{DohSkoEtAl:2003:269316,
    author = {Patrick Doherty and Andrew Skowron and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Preface}},
    year = {2003},
    journal = {Fundamenta Informaticae},
    volume = {57},
    number = {2-4},
    pages = {i--iii},
    publisher = {IOS Press},
    issn = {0169-2968},
}

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

@inproceedings{DohLukSza:2003:262459,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{On mutual understanding among communicating agents}},
    year = {2003},
    booktitle = {Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems ({FAMAS})},
    pages = {83--97},
    editor = {B. Dunin-Keplicz and R. Verbrugge},
}

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

@inproceedings{DohLukSza:2003:243274,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Tolerance Spaces and Approximative Representational Structures}},
    year = {2003},
    booktitle = {Proceedings of the 26th German Conference on Artificial Intelligence ({KI})},
    pages = {475--489},
    series = {Lecture Notes in Computer Science},
    volume = {2821},
    publisher = {Springer},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-39451-8\_35},
}

@inproceedings{DohLukSza:2003:243269,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Information Granules for Intelligent Knowledge Structures}},
    year = {2003},
    booktitle = {Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC)},
    pages = {405--412},
    editor = {Guoyin Wang and Qing Liu and Yiyu Yao and Andrzej Skowron},
    series = {Lecture Notes in Computer Science},
    volume = {2639},
    publisher = {Springer},
    isbn = {978-3-540-14040-5},
    issn = {0302-9743},
    doi = {10.1007/3-540-39205-X\_68},
}

@incollection{MeyDoh:2002:262493,
    author = {John-Jules Meyer and Patrick Doherty},
    title = {{Preferential Action Semantics}},
    year = {2002},
    booktitle = {Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 7:: Agent-Based Defeasible Control in Dynamic Environments},
    editor = {John-Jules Ch Meyer; Jan Treur},
    series = {Handbook of Defeasible Reasoning and Uncertainty Management Systems},
    volume = {7},
    publisher = {Kluwer},
    isbn = {978-1-4020-0834-4, 14-02-0-0834-1},
}

@inproceedings{NorDohEtAl:2002:262461,
    author = {Klas Nordberg and Patrick Doherty and Gunnar Farneb\"ack and Per-Erik Forss\'en and G\"osta Granlund and Anders Moe and Johan Wiklund},
    title = {{Vision for a UAV helicopter}},
    year = {2002},
    booktitle = {International Conference on Intelligent Robots and Systems ({IROS}), Workshop on Aerial Robotics: Lausanne, Switzerland},
}

@inproceedings{DohLukSza:2002:262460,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{CAKE: A computer aided knowledge engineering technique}},
    year = {2002},
    booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,2002},
    pages = {220--224},
    editor = {Frank van Harmelen},
    publisher = {IOS Press},
}

@inproceedings{AndKucEtAl:2002:246033,
    author = {Per Andersson and Krzysztof Kuchcinski and Klas Nordberg and Patrick Doherty},
    title = {{Integrating a computational model and a run time system for image processing on a UAV}},
    year = {2002},
    booktitle = {Euromicro Symposium on Digital System Design ({DSD})},
    pages = {102--109},
    doi = {10.1109/DSD.2002.1115357},
}

@inproceedings{HeiDoh:2001:354323,
    author = {Fredrik Heintz and Patrick Doherty},
    title = {{Chronicle Recognition in the WITAS UAV Project: A Preliminary Report}},
    year = {2001},
    booktitle = {Proceedings of the Swedish AI Society Workshop},
}

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

@inproceedings{DohLukSza:2001:262451,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Computing strongest necessary and weakest sufficient conditions of first-order formulas}},
    year = {2001},
    booktitle = {17th International Joint Conference on Artificial Intelligence,2001},
    pages = {145--151},
    publisher = {Morgan Kaufmann Publishers Inc.},
    isbn = {1-55860-812-5, 978-1-558-60812-2},
}

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

@inproceedings{KvaDohHas:2000:262450,
    author = {Jonas Kvarnstr\"om and Patrick Doherty and Patrik Haslum},
    title = {{Extending TALplanner with concurrency and resources}},
    year = {2000},
    booktitle = {Proceedings of the 14th European Conference on Artificial Intelligence ({ECAI})},
    pages = {501--505},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {54},
    publisher = {IOS Press},
    isbn = {4274903885, 1586030132},
    issn = {0922-6389},
}

@inproceedings{DohLukSza:2000:262444,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Efficient reasoning using the local closed-world assumption}},
    year = {2000},
    booktitle = {Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications ({AIMSA})},
    pages = {49--58},
    series = {Lecture Notes in Computer Science},
    volume = {1904},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-540-41044-7, 978-3-540-45331-4},
    issn = {0302-9743},
    doi = {10.1007/3-540-45331-8\_5},
}

@inproceedings{DohGraEtAl:2000:262443,
    author = {Patrick Doherty and G\"osta Granlund and Krzysztof Kuchcinski and Erik Johan Sandewall and Klas Nordberg and Erik Skarman and Johan Wiklund},
    title = {{The WITAS unmanned aerial vehicle project}},
    year = {2000},
    booktitle = {Proceedings of the 14th European Conference on Artificial Intelligence ({ECAI})},
    pages = {747--755},
    editor = {Werner Horn},
    publisher = {IOS Press},
    isbn = {1-58603-013-2, 4-274-90388-5},
}

@inproceedings{GraNorEtAl:2000:246122,
    author = {G\"osta Granlund and Klas Nordberg and Johan Wiklund and Patrick Doherty and Erik Skarman and Erik Sandewall},
    title = {{WITAS: An Intelligent Autonomous Aircraft Using Active Vision}},
    year = {2000},
    booktitle = {Proceedings of the UAV 2000 International Technical Conference and Exhibition ({UAV})},
    publisher = {Euro UVS},
}

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

@inproceedings{DohLukMad:1999:262449,
    author = {Patrick Doherty and Witold Lukaszewicz and E. Madalin´ska-Bugaj},
    title = {{Computing MPMA updates using dijkstra's semantics}},
    year = {1999},
    booktitle = {12th International Symposium on Methodologies for Intelligent Systems,1999},
    publisher = {Springer},
}

@inproceedings{DohKva:1999:262448,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{TALplanner: An empirical investigation of a temporal logic-based forward chaining planner}},
    year = {1999},
    booktitle = {6th International Workshop on Temporal Representation and Reasoning (TIME-99)},
    pages = {47--},
    editor = {Clare Dixon and Michael Fisher},
    publisher = {IEEE Computer Society},
    isbn = {0-7695-0173-7},
}

@inproceedings{MeyDoh:1999:262303,
    author = {John-Jules Meyer and Patrick Doherty},
    title = {{Preferential action semantics (preliminary report)}},
    year = {1999},
    booktitle = {Formal Models of Agents: ESPRIT Project Modelage Final Workshop Selected Papers},
    pages = {187--201},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {1760},
    publisher = {Springer},
    isbn = {3-540-67027-0},
    issn = {0302-9743},
    doi = {10.1007/3-540-46581-2\_13},
    note = {Preliminary report},
}

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

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

@inproceedings{KarGusDoh:1998:262441,
    author = {Lars Karlsson and Joakim Gustafsson and Patrick Doherty},
    title = {{Delayed effects of actions}},
    year = {1998},
    booktitle = {Proceedings of the 13th European Conference on Artificial Intelligence ({ECAI})},
    pages = {542--546},
    publisher = {John Wiley \& Sons},
    isbn = {978-0471984313},
}

@inproceedings{DohLukMad:1998:262308,
    author = {Patrick Doherty and Witold Lukaszewicz and Ewa Madalinska-Bugaj},
    title = {{The PMA and relativizing change for action update}},
    year = {1998},
    booktitle = {Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
    pages = {258--269},
    publisher = {Morgan Kaufmann Publishers},
}

@inproceedings{DohKva:1998:262304,
    author = {Patrick Doherty and Jonas Kvarnstr\"om},
    title = {{Tackling the qualification problem using fluent dependency constraints}},
    year = {1998},
    booktitle = {Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98)},
    pages = {97--},
    editor = {Lina Khatib and Robert Morris},
    publisher = {IEEE Computer Society},
    isbn = {0-8186-8473-9},
    note = {Preliminary report},
}

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

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

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

@incollection{DohLuk:1996:262489,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{A study in modal embeddings of NML3}},
    year = {1996},
    booktitle = {Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information.},
    pages = {145--168},
    editor = {Patrick Doherty},
    publisher = {CSLI Publications},
    isbn = {1-57586-031-7, 1-57586-030-9},
}

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

@inproceedings{GusDoh:1996:262307,
    author = {Joakim Gustafsson and Patrick Doherty},
    title = {{Embracing occlusion in specifying the indirect effects of actions}},
    year = {1996},
    booktitle = {Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning},
    pages = {87--98},
    editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart C. Shapiro},
    publisher = {Morgan Kaufmann Publishers},
    isbn = {1-55860-421-9},
}

@inproceedings{DohLukSza:1996:262302,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Explaining explanation closure}},
    year = {1996},
    booktitle = {Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996},
    pages = {521--530},
    editor = {Zbigniew W. Ras and Maciek Michalewicz},
    series = {Lecture Notes in Computer Science},
    volume = {1079},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {3-540-61286-6},
    issn = {0302-9743},
    doi = {10.1007/3-540-61286-6\_176},
}

@inproceedings{DohLukSza:1996:262299,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{General domain circumscription and its first-order reduction}},
    year = {1996},
    booktitle = {Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning ({FAPR})},
    pages = {93--109},
    editor = {Dov Gabbay and Hans Olbach},
    series = {Lecture Notes in Computer Science},
    volume = {1085},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-540-61313-8},
    issn = {0302-9743},
    doi = {10.1007/3-540-61313-7\_65},
}

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

@inproceedings{DohLukSza:1995:262301,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
    title = {{Computing circumscription revisited}},
    year = {1995},
    booktitle = {Proceedings of the 14th International Joint Conference on Artificial Intelligence ({IJCAI})},
    pages = {1502--1508},
    isbn = {978-1558603639},
    note = {Volume 2. Preliminary report},
}

@inproceedings{DohPep:1995:262300,
    author = {Patrick Doherty and P. Peppas},
    title = {{A comparison between two approaches to ramification:  PMON(R) and AR0}},
    year = {1995},
    booktitle = {8th Australian Joint Conference on Artificial Intelligence,1995},
    pages = {267--},
    note = {World Scientific},
}

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

@inproceedings{DohLuk:1994:262298,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{Circumscribing features and fluents. A fluent logic for reasoning about action and change}},
    year = {1994},
    booktitle = {8th International Symposium on Methodologies for Intelligent Systems,1994},
    publisher = {Springer Verlag},
}

@incollection{DohLuk:1994:262296,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{Circumscribing features and fluents}},
    year = {1994},
    booktitle = {Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11--14, 1994 Proceedings},
    pages = {82--100},
    editor = {Dov M. Gabbay and Hans J\"urgen Ohlbach},
    series = {Lecture Notes in Computer Science},
    volume = {827},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {354058241X, 038758241X},
    issn = {0302-9743},
    doi = {10.1007/BFb0013982},
}

@inproceedings{Doh:1994:262283,
    author = {Patrick Doherty},
    title = {{Reasoning about action and change using occlusion}},
    year = {1994},
    booktitle = {11th European Conference on Artificial Intelligence,1994},
    publisher = {John Wiley and Sons},
}

@incollection{DohDri:1993:262486,
    author = {Patrick Doherty and Dimiter Driankov},
    title = {{Nonmonotonicity, fuzziness, and multi-values}},
    year = {1993},
    booktitle = {Fuzzy Logic: State of the Art. Series D: System Theory, Knowledge Engineering and Problem Solving.},
    editor = {R. Lowen and M. Roubens},
    series = {Volume 12},
    volume = {12},
    publisher = {Kluwer Academic Publishers},
    isbn = {0792323246, 9780792323242},
}

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

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

@incollection{DohLuk:1992:262488,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{Distinguishing between facts and default assumptions}},
    year = {1992},
    booktitle = {Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops.},
    editor = {W. van der Hoek},
    publisher = {Ellis Horwood Ltd.},
    isbn = {0136251463, 9780136251460},
}

@incollection{DriDoh:1992:262487,
    author = {Dimiter Driankov and Patrick Doherty},
    title = {{A non-monotonic fuzzy logic}},
    year = {1992},
    booktitle = {Fuzzy Logic for the Management of Uncertainty},
    pages = {171--190},
    editor = {Lotfi A. Zadeh and Janusz Kacprzyk},
    publisher = {John Wiley \& Sons},
    isbn = {0-471-54799-9},
}

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

@inproceedings{DohLuk:1992:262282,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{Defaults as first-class citizens}},
    year = {1992},
    booktitle = {Proceedings of the 22nd International Symposium on Multiple-Valued Logic ({SMVL})},
    pages = {146--154},
    series = {Proceedings of the International Symposium on Multiple Valued Logic},
    publisher = {IEEE Computer Society},
    isbn = {0-8186-2680-1},
    issn = {0195-623X},
}

@inproceedings{DohLuk:1992:262281,
    author = {Patrick Doherty and Witold Lukaszewicz},
    title = {{FONML3 - A first-order non-monotonic logic with explicit defaults}},
    year = {1992},
    booktitle = {European Conference on Artificial Intelligence, ECAI-92,1992},
    publisher = {John Wiley and Sons},
}

@inproceedings{DohDriHel:1992:262280,
    author = {Patrick Doherty and Dimiter Driankov and H. Hellendoorn},
    title = {{Fuzzy if-then-unless rules and their implementation}},
    year = {1992},
    booktitle = {International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU92,1992},
    publisher = {Springer},
}

@inproceedings{DohDriTso:1992:262273,
    author = {Patrick Doherty and Dimiter Driankov and A. Tsoukias},
    title = {{Partial logics and partial preferences}},
    year = {1992},
    booktitle = {International Conference on Economics/Management and Information Technology,1992},
    pages = {525--},
}

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

@inproceedings{DohDri:1991:262274,
    author = {Patrick Doherty and Dimiter Driankov},
    title = {{A non-monotonic fuzzy logic}},
    year = {1991},
    booktitle = {International Fuzzy Systems Association, Fourth World Congress,1991},
}

@phdthesis{Doh:1991:262271,
    author = {Patrick Doherty},
    title = {{NML3: a non-monotonic formalism with explicit defaults}},
    year = {1991},
    series = {Link\"oping Studies in Science and Technology. Dissertations},
    volume = {258},
    publisher = {Link\"opings tekniska h\"ogskola},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {91-7870-816-8},
    issn = {0345-7524},
}

@inproceedings{Doh:1991:262265,
    author = {Patrick Doherty},
    title = {{A constraint-based approach to proof procedures for multi-valued logics}},
    year = {1991},
    booktitle = {Proceedings of the 1st World Conference on Fundamentals of Artificial Intelligence ({WOCFAI})},
    publisher = {Springer},
}

@phdthesis{Doh:1990:262875,
    author = {Patrick Doherty},
    title = {{A three-valued approach to non-monotonic reasoning}},
    year = {1990},
    type = {Licentiate Thesis},
    series = {Link\"oping Studies in Science and Technology. Thesis},
    volume = {230},
    publisher = {Link\"oping University},
    school = {Link"opings universitet},
    institution = {Link"opings universitet, Department of Computer and Information Science},
    isbn = {9178706726},
    issn = {0280-7971},
}

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

@inproceedings{Doh:1990:262272,
    author = {Patrick Doherty},
    title = {{NME - A three-valued non-monotonic formalism}},
    year = {1990},
    booktitle = {Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems ({ISMIS})},
    note = {Preliminary report},
}

@inproceedings{Doh:1990:262264,
    author = {Patrick Doherty},
    title = {{NM3 - A three-valued cumulative non-monotonic formalism}},
    year = {1990},
    booktitle = {Logics in AI, European Workshop ({JELIA})},
    pages = {196--211},
    editor = {Jan van Eijck},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {478},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-540-53686-4},
    issn = {0302-9743},
    doi = {10.1007/BFb0018442},
}

@inproceedings{Doh:1989:262270,
    author = {Patrick Doherty},
    title = {{A correspondence between inheritance hierarchies and a logic of preferential entailment}},
    year = {1989},
    booktitle = {Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems ({ISMIS})},
    editor = {M. L. Emrich and M. S. Pfeifer and M. Hadzikadic and and Z. W. Ras},
    publisher = {University of North Carolina Press},
}

@inproceedings{Doh:1989:262263,
    author = {Patrick Doherty},
    title = {{A semantics for inheritance hierarchies with exceptions using a logic of preferential entailment}},
    year = {1989},
    booktitle = {Proceedings of the 2nd Scandinavian Conference on Artificial Intelligence ({SCAI})},
    publisher = {IOS Press},
}

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