Publications for Patrick Doherty
Co-author map based on ISI articles 2007-

Keywords

vehicles unmanned uavs trees temporal tasks system specification reasoning model missions knowledge delegation constraint collaborative autonomous algorithm aircraft aerial action

Journal Articles

Gianpaolo Conte, Piotr Rudol and Patrick Doherty
  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ür Anwendungen auf einem UAV]
  Photogrammetrie - Fernerkundung - Geoinformation, 2014, (4), 287-298.
 Web of Science® Times Cited: 1

Patrick Doherty and Andrzej Szalas
  Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination
  Fundamenta Informaticae, 2013, 127(1-4), 135-149.

Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream-Based Hierarchical Anchoring
  Künstliche Intelligenz, 2013, 27(2), 119-128.

Patrick Doherty, Fredrik Heintz and Jonas Kvarnström
  High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation
  Unmanned Systems, 2013, 1(1), 75-119.

Mark Buller, Paul Cuddihy, Ernest Davis, Patrick Doherty, Finale Doshi-Velez, Esra Erdem, Douglas Fisher, Nancy Green, Knut Hinkelmann, James McLurkin, Mary Lou Maher, Rajiv Maheswaran, Sara Rubinelli, Nathan Schurr, Donia Scott, Dylan Shell, Pedro Szekely, Barbara Thoenssen and Arnold B Urken
  Reports of the AAAI 2011 Spring Symposia
  The AI Magazine, 2011, 32(3), 119-127.

Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing
  Advanced Engineering Informatics, 2010, 24(1), 14-26.
 Web of Science® Times Cited: 8

Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson
  Optimal placement of UV-based communications relay nodes
  Journal of Global Optimization, 2010, 48(4), 511-531.
   Fulltext  PDF  
 Web of Science® Times Cited: 11

Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson
  Relay Positioning for Unmanned Aerial Vehicle Surveillance
  The international journal of robotics research, 2010, 29(8), 1069-1087.
 Web of Science® Times Cited: 11

Patrick Doherty, Jonas Kvarnström and Fredrik Heintz
  A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems
  Autonomous Agents and Multi-Agent Systems, 2009, 19(3), 332-377.
 Web of Science® Times Cited: 13

Gianpaolo Conte and Patrick Doherty
  Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information
  EURASIP Journal on Advances in Signal Processing, 2009, 2009(387308), 1-18.
   Fulltext  PDF  
 Web of Science® Times Cited: 11

Patrick Doherty and Andrzej Szalas
  A correspondence framework between three-valued logics and similarity-based approximate reasoning
  Fundamenta Informaticae, 2007, 75(1-4), 179-193.
 Web of Science® Times Cited: 2

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Communication between agents with heterogeneous perceptual capabilities
  Information Fusion, 2007, 8(1), 56-69.
 Web of Science® Times Cited: 10

Per Olof Pettersson and Patrick Doherty
  Probabilistic roadmap based path planning for an autonomous unmanned helicopter
  Journal of Intelligent & Fuzzy Systems, 2006, 17(4), 395-405.
 Web of Science® Times Cited: 16

Fredrik Heintz and Patrick Doherty
  A knowledge processing middleware framework and its relation to the JDL data fusion model
  Journal of Intelligent & Fuzzy Systems, 2006, 17(4), 335-351.
 Web of Science® Times Cited: 6

Klas Nordberg, Patrick Doherty, Per-Erik Forssén, Johan Wiklund and Per Andersson
  A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle
  International Journal of Pattern Recognition and Artificial Intelligence, 2006, 20(5), 763-780.
 Web of Science® Times Cited: 3

Patrick Doherty, Martin Magnusson and Andrzej Szalas
  Approximate Databases: A support tool for approximate reasoning
  Journal of applied non-classical logics, 2006, 16(1-2), 87-118.

Fredrik Heintz and Patrick Doherty
  DyKnow: An approach to middleware for knowledge processing
  Journal of Intelligent & Fuzzy Systems, 2004, 15(1), 3-13.
 Web of Science® Times Cited: 10

Ubbo Visser and Patrick Doherty
  Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating
  The AI Magazine, 2004, 25(2), 137-138.

Patrick Doherty, M Grabowski, Witold Lukaszewicz and Andrzej Szalas
  Towards a framework for approximate ontologies
  Fundamenta Informaticae, 2003, 57(2-4), 147-165.
 Web of Science® Times Cited: 14

Patrick Doherty and et al
  2003 AAAI Spring Symposium Series
  The AI Magazine, 2003, 24(3), 131-140.

Patrick Doherty and Jonas Kvarnström
  TALPLANNER - A temporal logic-based planner
  The AI Magazine, 2001, 22(3), 95-102.
 Web of Science® Times Cited: 16

Jonas Kvarnström and Patrick Doherty
  Tackling the qualification problem using fluent dependency constraints
  Computational intelligence, 2000, 16(2), 169-209.
 Web of Science® Times Cited: 6

Patrick Doherty, Witold Lukaszewicz and E. Madalin´ska-Bugaj
  The PMA and relativizing minimal change for action update
  Fundamenta Informaticae, 2000, 44(1-2), 95-131.

Patrick Doherty and Jonas Kvarnström
  TALplanner: A temporal logic based forward chaining planner
  Annals of Mathematics and Artificial Intelligence, 2000, 30(1-4), 119-169.
 Web of Science® Times Cited: 17

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Declarative PTIME queries for relational databases using quantifier elimination
  Journal of logic and computation (Print), 1999, 9(5), 737-758.

Patrick Doherty, Jaroslaw Kachniarz and Andrzej Szalas
  Meta-queries on deductive databases
  Fundamenta Informaticae, 1999, 40(1), 17-30.

Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnström
  (TAL) temporal action logics: Language specification and tutorial.
  Electronic Transactions on Artifical Intelligence, 1998, 2(3-4), 273-306.

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  General domain circumscription and its effective reductions.
  Fundamenta Informaticae, 1998, 36(1), 23-55.

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Computing circumscription revisited: A reduction algorithm
  Journal of automated reasoning, 1997, 18(3), 297-336.

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  A reduction result for circumscribed semi-horn formulas
  Fundamenta Informaticae, 1996, 28(3,4), 261-272.

Patrick Doherty, Dimiter Driankov and Hans Hellendoorn
  Fuzzy if-then-unless rules and their implementation
  International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 1993, 1(2), 167-182.

Patrick Doherty and Witold Lukaszewicz
  NML-3 - A non-monotonic logic with explicit defaults
  Journal of applied non-classical logics, 1992, 2(1), 9-48.

Books

Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron and Andrzej Szalas
  Knowledge Representation Techniques.: a rough set approach
    Studies in Fuzziness and Soft Computing, 202, Springer, 2006.


Chapters in Books

Patrick Doherty and Andrzej Szalas
  Stability, Supportedness, Minimality and Kleene Answer Set Programs
  Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, Springer, 2015, 125-140.


Oleg Burdakov, Patrick Doherty and Jonas Kvarnström
  Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance
  Examining Robustness and Vulnerability of Networked Systems, IOS Press, 2014, 26-50.


  Fulltext PDF

Patrick Doherty, Jonas Kvarnström, Mariusz Wzorek, Piotr Rudol, Fredrik Heintz and Gianpaolo Conte
  HDRC3 - A Distributed Hybrid Deliberative/Reactive Architecture for Unmanned Aircraft Systems
  Handbook of Unmanned Aerial Vehicles, Springer Science+Business Media B.V., 2014, 849-952.


Patrick Doherty and John-Jules Ch. Meyer
  On the Logic of Delegation - Relating Theory and Practice
  The Goals of Cognition: Essays in honour of Cristiano Castelfranchi, College Publications, 2012, 467-496.


David Landén, Fredrik Heintz and Patrick Doherty
  Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study
  Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers, Springer Berlin/Heidelberg, 2012, 288-303.


Patrick Doherty, Fredrik Heintz and David Landén
  A Distributed Task Specification Language for Mixed-Initiative Delegation
  Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers, Springer Berlin/Heidelberg, 2012, 42-57.


Patrick Doherty, Fredrik Heintz and David Landén
  A Delegation-Based Architecture for Collaborative Robotics
  Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers, Springer Berlin/Heidelberg, 2011, 205-247.


  Fulltext PDF

Patrick Doherty and Jonas Kvarnström
  Temporal Action Logics
  Handbook of Knowledge Representation, Elsevier, 2009, 709-757.


Patrick Doherty, Jaroslaw Kachniarz and Andrzej Szalas
  Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases
  Rough-Neural Computing: Techniques for Computing with Words, Springer, 2004, 219-250.


Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron and Andrzej Szalas
  Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge
  Rough-Neural Computing: Techniques for Computing with Words, Springer, 2004, 189-218.


John-Jules Meyer and Patrick Doherty
  Preferential Action Semantics
  Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 7:: Agent-Based Defeasible Control in Dynamic Environments, Kluwer, 2002, -479.


Patrick Doherty and Witold Lukaszewicz
  A study in modal embeddings of NML3.
  Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information., CSLI Publications, 1996, 145-168.


Patrick Doherty and Witold Lukaszewicz
  Circumscribing features and fluents
  Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings, Springer Berlin/Heidelberg, 1994, 82-100.


Patrick Doherty and Dimiter Driankov
  Nonmonotonicity, fuzziness, and multi-values.
  Fuzzy Logic: State of the Art. Series D: System Theory, Knowledge Engineering and Problem Solving., Kluwer Academic Publishers, 1993, .


Patrick Doherty and Witold Lukaszewicz
  Distinguishing between facts and default assumptions.
  Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops., Ellis Horwood Ltd., 1992, .


Dimiter Driankov and Patrick Doherty
  A non-monotonic fuzzy logic
  Fuzzy Logic for the Management of Uncertainty, John Wiley & Sons, 1992, 171-190.


Conference Proceedings

Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz and Peter Lucas
  Proceedings of the 20th European Conference on Artificial Intelligence (ECAI)
  Frontiers in Artificial Intelligence and Applications, 242, IOS Press, 2012.


Patrick Doherty, John Mylopoulos and Christopher Welty
  Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning
  AAAI Press, 2006.


Patrick Doherty, W. Lukaszewicz, Skowron Andrzej and Andrzej Szalas
  Knowledge Representation and Approximate Reasoning
  Fundamenta Informaticae, 2003(57):2-4, IOS Press, 2003.


Conference Articles

Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Karl Granström, Fredrik Heintz, Piotr Rudol, Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty
  A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems
  Computer Vision - ECCV 2014 Workshops, Zurich, Switzerland, September 6-7 and 12, 2015.


Olov Andersson, Fredrik Heintz and Patrick Doherty
  Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization
  Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI), 2015.


  Fulltext PDF

Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
  Classical Dynamic Controllability Revisited: A Tighter Bound on the Classical Algorithm
  Proceedings of the 6<em>th International Conference on Agents and Artificial Intelligence (ICAART)</em>, 2014.


Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
  EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm
  Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), 2014.


Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
  Incremental Dynamic Controllability in Cubic Worst-Case Time
  Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), 2014.


Patrick Doherty, Fredrik Heintz and Jonas Kvarnström
  Robotics, Temporal Logic and Stream Reasoning
  Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013, 2013.


Gianpaolo Conte, Alexander Kleiner, Piotr Rudol, Karol Korwel, Mariusz Wzorek and Patrick Doherty
  Performance evaluation of a light weight multi-echo LIDAR for unmanned rotorcraft applications
  International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Volume XL-1/W2, 2013.


Mikael Nilsson, Jonas Kvarnström and Patrick Doherty
  Incremental Dynamic Controllability Revisited
  Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS), 2013.


Håkan Warnquist, Jonas Kvarnström and Patrick Doherty
  Exploiting Fully Observable and Deterministic Structures in Goal POMDPs
  Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS), 2013.


L. Marconi, C. Melchiorri, M. Beetz, D. Pangercic, R. Siegwart, S. Leutenegger, R. Carloni, S. Stramigioli, H. Bruyninckx, Patrick Doherty, Alexander Kleiner, V. Lippiello, A. Finzi, B. Siciliano, A. Sala and N. Tomatis
  The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments
  Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR), 2012.


Patrick Doherty and Fredrik Heintz
  Delegation-Based Collaboration
  Proceedings of the 5th International Conference on Cognitive Systems (CogSys), 2012.


Patrick Doherty, Jonas Kvarnström and Andrzej Szalas
  Temporal Composite Actions with Constraints
  Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2012.


Gianpaolo Conte and Patrick Doherty
  A Visual Navigation System for UAS Based on Geo-referenced Imagery
  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, 2011.


Patrick Doherty, Tomasz Michalak, Jacek Sroka and Andrzej Szalas
  Contextual Coalitional Games
  Proceedings of the 4th Indian Conference on Logic and its Applications (ICLA), 2011.


Patrick Doherty, Barbara Dunin-Keplicz and Andrzej Szalas
  Tractable model checking for fragments of higher-order coalition logic
  Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, 2011.


Patrick Doherty and Fredrik Heintz
  A Delegation-Based Cooperative Robotic Framework
  Proceedings of the IEEE International Conference on Robotics and Biomimetic, 2011.


  Fulltext PDF

Patrick Doherty, Fredrik Heintz and David Landén
  A Delegation-Based Collaborative Robotic Framework
  Proceedings of the 3rd International Workshop on Collaborative Agents - Research and development, 2011.


  Fulltext PDF

Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén and Per-Magnus Olsson
  Research with Collaborative Unmanned Aircraft Systems
  Proceedings of the Dagstuhl Workshop on Cognitive Robotics, 2010.


Piotr Rudol, Mariusz Wzorek and Patrick Doherty
  Vision-based Pose Estimation for Autonomous Indoor Navigation of Micro-scale Unmanned Aircraft Systems
  Proceedings of the 2010 IEEE International Conference on Robotics and Automation (ICRA), 2010.


 Web of Science® Times Cited: 7

Håkan Warnquist, Jonas Kvarnström and Patrick Doherty
  Iterative Bounding LAO*
  Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), 2010.


Jonas Kvarnström and Patrick Doherty
  Automated Planning for Collaborative UAV Systems
  Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), 2010.


 Web of Science® Times Cited: 2

Fredrik Heintz and Patrick Doherty
  Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs
  Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), 2010.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream-Based Reasoning Support for Autonomous Systems
  Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), 2010.


 Web of Science® Times Cited: 1

Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty
  Choosing Path Replanning Strategies for Unmanned Aircraft Systems
  Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS), 2010.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream-Based Reasoning in DyKnow
  Proceedings of the Dagstuhl Workshop on Cognitive Robotics, 2010.


Patrick Doherty and Andrzej Szalas
  On the Correctness of Rough-Set Based Approximate Reasoning
  Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing (RSCTC), 2010.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream-Based Middleware Support for Embedded Reasoning
  Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER), 2010.


Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson
  Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks
  Robotics: Science and Systems V, 2010.


Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov and Kaj Holmberg
  Generating UAV Communication Networks for Monitoring and Surveillance
  Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), 2010.


 Web of Science® Times Cited: 4

Håkan Warnquist, Jonas Kvarnström and Patrick Doherty
  Planning as Heuristic Search for Incremental Fault Diagnosis and Repair
  Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 19th International Conference on Automated Planning and Scheduling (ICAPS), 2009.


Martin Magnusson and Patrick Doherty
  Planning Speech Acts in a Logic of Action and Change
  The Swedish AI Society Workshop 2009, SAIS 2009, 2009.


Martin Magnusson, David Landén and Patrick Doherty
  Logical Agents that Plan, Execute, and Monitor Communication
  Proceedings of the 2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2), 2009.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Stream Reasoning in DyKnow: A Knowledge Processing Middleware System
  Proceedings of the Stream Reasoning Workshop, 2009.


Martin Magnusson, Jonas Kvarnström and Patrick Doherty
  Abductive Reasoning with Filtered Circumscription
  Proceedings of the <em>IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC)</em>, 2009.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  A Stream-Based Hierarchical Anchoring Framework
  Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS), 2009.


 Web of Science® Times Cited: 1

Gianpaolo Conte and Patrick Doherty
  Use of Geo-referenced Images with Unmanned Aerial Systems
  Workshop Proceedings of SIMPAR 2008, International Conference on Simulation, Modeling and Programming for Autonomous Robots. Venice(Italy) 2008 November,3-4., 2008.


Per Nyblom and Patrick Doherty
  Towards Automatic Model Generation by Optimization
  Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence (SCAI), 2008.


Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte and Patrick Doherty
  Micro unmanned aerial vehicle visual servoing for cooperative indoor exploration
  Proceedings of the IEEE Aerospace Conference, 2008.


Martin Magnusson and Patrick Doherty
  Logical Agents for Language and Action
  4th International Artificial Intelligence and Interactive Digital Entertainment Conference AIIDE 2008,2008, 2008.


Gianpaolo Conte, Maria Hempel, Piotr Rudol, David Lundström, Simone Duranti, Mariusz Wzorek and Patrick Doherty
  High Accuracy Ground Target Geo-Location Using Autonomous Micro Aerial Vehicle Platforms
  Proceedings of the AIAA Guidance, Navigation, and Control Conference (GNC), 2008.


Patrick Doherty and Andrzej Szalas
  Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription
  Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2008.


Gianpaolo Conte and Patrick Doherty
  An Integrated UAV Navigation System Based on Aerial Image Matching
  IEEE Aerospace Conference 2008,2008, 2008.


Piotr Rudol and Patrick Doherty
  Human Body Detection and Geolocalization for UAV Search and Rescue Missions Using Color and Thermal Imagery
  Proceedings of the IEEE Aerospace Conference, 2008.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing
  IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms, 2008.


Per-Magnus Olsson and Patrick Doherty
  The Observer Algorithm For Visibility Approximation
  10th Scandinavian Conference on Artificial Intelligence, SCAI 2008, 2008.


Fredrik Heintz and Patrick Doherty
  DyKnow Federations: Distributing and Merging Information Among UAVs
  Proceedings of the 11th International Conference on Information Fusion (FUSION), 2008.


Martin Magnusson and Patrick Doherty
  Temporal Action Logic for Question Answering in an Adventure Game
  Artificial General Intelligence, AGI 2008, 2008.


Martin Magnusson, David Landén and Patrick Doherty
  Planning, Executing, and Monitoring Communication in a Logic-Based Multi-Agent System
  ECAI 2008, 2008.


Jonas Kvarnström, Fredrik Heintz and Patrick Doherty
  A Temporal Logic-Based Planning and Execution Monitoring System
  Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2008.


Martin Magnusson and Patrick Doherty
  Deductive Planning with Inductive Loops
  Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2008.


Fredrik Heintz, Jonas Kvarnström and Patrick Doherty
  Knowledge Processing Middleware
  Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), 2008.


  Fulltext PDF

Fredrik Heintz, Piotr Rudol and Patrick Doherty
  Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
  Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI), 2007.


 Web of Science® Times Cited: 1

Luis Mejias, Pascual Campoy, Iván F. Mondragón and Patrick Doherty
  Stereo visual system for autonomous air vehicle navigation
  6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume# 6 | Part# 1, 2007.


Fredrik Heintz, Piotr Rudol and Patrick Doherty
  From Images to Traffic Behavior - A UAV Tracking and Monitoring Application
  Proceedings of the 10th International Conference on Information Fusion (FUSION), 2007.


Patrick Doherty and Piotr Rudol
  A UAV search and rescue scenario with human body detection and geolocalization
  Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI), 2007.


 Web of Science® Times Cited: 17

Patrick Doherty and John-Jules Meyer
  Towards a delegation framework for aerial robotic mission scenarios.
  Proceedings of the 11th International Workshop on Cooperative Information Agents (CIA), 2007.


 Web of Science® Times Cited: 2

Patrick Doherty, Barbara Dunin-Keplicz and Andrzej Szalas
  Dynamics of approximate information fusion
  Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms (RSEISP), 2007.


 Web of Science® Times Cited: 9

Simone Duranti, Gianpaolo Conte, David Lundström, Piotr Rudol, Mariusz Wzorek and Patrick Doherty
  LinkMAV, a prototype rotary wing micro aerial vehicle.
  17th IFAC Symposium on Automatic Control in Aerospace,2007, 2007.


Martin Magnusson and Patrick Doherty
  Deductive Planning with Temporal Constraints
  Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning,2007, 2007.


Alexander Kleiner, Christian Dornhege, Rainer Kümmerle, Michael Ruhnke, Bastian Steder, Bernhard Nebel, Patrick Doherty, Mariusz Wzorek, Piotr Rudol, Gianpaolo Conte, Simone Duranti and David Lundström
  RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany)
  RoboCup 2006 (CDROM Proceedings), Team Description Paper, Rescue Robot League, 2006.


  Fulltext PDF

Mariusz Wzorek, Gianpaolo Conte, Piotr Rudol, Torsten Merz, Simone Duranti and Patrick Doherty
  From Motion Planning to Control - A Navigation Framework for an Autonomous Unmanned Aerial Vehicle
  Proceedings of the 21st Bristol UAV Systems Conference (UAVS), 2006.


Mariusz Wzorek and Patrick Doherty
  Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle
  ICHIT 2006 - International Conference on Hybrid Information Technology,2006, 2006.


Mariusz Wzorek and Patrick Doherty
  Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle
  Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS), 2006.


Mariusz Wzorek, David Landén and Patrick Doherty
  GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle
  Proceedings of the 21st Bristol International UAV Systems Conference (UAVS), 2006.


Mariusz Wzorek and Patrick Doherty
  The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning
  Software Demonstrations at the International Conference on Automated Planning Scheduling (ICAPS-SD), 2006.


Martin Magnusson and Patrick Doherty
  Deductive Planning with Temporal Constraints using TAL
  Proceedings of the International Symposium on Practical Cognitive Agents and Robots (PCAR), 2006.


Fredrik Heintz and Patrick Doherty
  A knowledge processing middleware framework and its relation to the JDL data fusion model.
  The 8th International Conference on Information Fusion,2005, 2005.


Patrick Doherty, Andrzej Szalas and Witold Lukaszewicz
  Similarity, approximations and vagueness
  Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC), 2005.


 Web of Science® Times Cited: 3

Per Olof Pettersson and Patrick Doherty
  Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter
  Proceedings of the 3rd joint SAIS-SSLS event on Artificial Intelligence and Learning Systems (SAIS-SSLS), 2005.


Martin Magnusson, Patrick Doherty and Andrzej Szalas
  An Experimental Platform for Approximate Databases
  3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005, 2005.


Fredrik Heintz and Patrick Doherty
  A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model
  3rd joint SAIS-SSL event on Artificial Intelligence an Learning Systems,2005, 2005.


Patrick Doherty
  Knowledge representation and unmanned aerial vehicles
  Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), 2005.


Fredrik Heintz and Patrick Doherty
  A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model
  SWAR 05,2005, 2005.


Mariusz Wzorek and Patrick Doherty
  Preliminary report: Reconfigurable path planning for an autonomous unmanned aerial vehicle
  Proceedings of the 24th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), 2005.


Mariusz Wzorek and Patrick Doherty
  Reconfigurable path planning for an autonomous unmanned aerial vehicle
  National Swedish Workshop on Autonomous Systems, SWAR 05,2005, 2005.


Fredrik Heintz and Patrick Doherty
  DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems
  Proceedings of the Second Joint SAIS/SSLS Workshop, 2004.


Patrick Doherty, Steven Kertes, Martin Magnusson and Andrzej Szalas
  Towards a logical analysis of biochemical pathways
  Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA), 2004.


 Web of Science® Times Cited: 2

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities
  Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, 2004.


Patrick Doherty, Steven Kertes, Martin Magnusson and Andrzej Szalas
  Towards a Logical Analysis of Biochemical Reactions (Extended abstract)
  Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), 2004.


Patrick Doherty and Andrzej Szalas
  On the Correspondence between Approximations and Similarity
  Proceedings of the International Conference on Rough Sets and Current Trends in Computing (RSCTC), 2004.


 Web of Science® Times Cited: 17

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities
  Proceedings of the 7th International Conference on Information Fusion, 2004.


Per Olof Pettersson and Patrick Doherty
  Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle
  ICAPS-04 Workshop on Connecting Planning Theory with Practice,2004, 2004.


Patrick Doherty
  Advanced Research with Autonomous Unmanned Aerial Vehicles
  Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, 2004.


Fredrik Heintz and Patrick Doherty
  DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems
  Proceedings of the International Workshop on Monitoring, Security, and Rescue Techniques in Multi-Agent Systems (MSRAS), 2004.


Fredrik Heintz and Patrick Doherty
  Managing Dynamic Object Structures using Hypothesis Generation and Validation
  AAAI Workshop on Anchoring Symbols to Sensor Data,2004, 2004.


Patrick Doherty, Patrik Haslum, Fredrik Heintz, Torsten Merz, Per Nyblom, Tommy Persson and Björn Wingman
  A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation
  7th International Symposium on Distributed Autonomous Robotic Systems,2004, 2004.


Erik Sandewall, Patrick Doherty, Oliver Lemon and Stanley Peters
  Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle
  Proceedings of the 26th German Conference on Artificial Intelligence (KI), 2003.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  On mutual understanding among communicating agents
  Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS), 2003.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Information Granules for Intelligent Knowledge Structures
  Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC), 2003.


 Web of Science® Times Cited: 4

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Tolerance Spaces and Approximative Representational Structures
  Proceedings of the 26th German Conference on Artificial Intelligence (KI), 2003.


 Web of Science® Times Cited: 11

Klas Nordberg, Patrick Doherty, Gunnar Farnebäck, Per-Erik Forssén, Gösta Granlund, Anders Moe and Johan Wiklund
  Vision for a UAV helicopter
  International Conference on Intelligent Robots and Systems (IROS), Workshop on Aerial Robotics: Lausanne, Switzerland, 2002.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  CAKE: A computer aided knowledge engineering technique.
  Proceedings of the 15th European Conference on Artificial Intelligence,2002, 2002.


Per Andersson, Krzysztof Kuchcinski, Klas Nordberg and Patrick Doherty
  Integrating a computational model and a run time system for image processing on a UAV
  Euromicro Symposium on Digital System Design (DSD), 2002.


  Fulltext PDF

Fredrik Heintz and Patrick Doherty
  Chronicle Recognition in the WITAS UAV Project: A Preliminary Report
  Proceedings of the Swedish AI Society Workshop, 2001.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Computing strongest necessary and weakest sufficient conditions of first-order formulas
  17th International Joint Conference on Artificial Intelligence,2001, 2001.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Efficient reasoning using the local closed-world assumption
  Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA), 2000.


 Web of Science® Times Cited: 4

Patrick Doherty, Gösta Granlund, Krzysztof Kuchcinski, Erik Johan Sandewall, Klas Nordberg, Erik Skarman and Johan Wiklund
  The WITAS unmanned aerial vehicle project
  Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), 2000.


Jonas Kvarnström, Patrick Doherty and Patrik Haslum
  Extending TALplanner with concurrency and resources
  Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), 2000.


Gösta Granlund, Klas Nordberg, Johan Wiklund, Patrick Doherty, Erik Skarman and Erik Sandewall
  WITAS: An Intelligent Autonomous Aircraft Using Active Vision
  Proceedings of the UAV 2000 International Technical Conference and Exhibition (UAV), 2000.


  Fulltext PDF

Patrick Doherty, Witold Lukaszewicz and E. Madalin´ska-Bugaj
  Computing MPMA updates using dijkstra's semantics.
  12th International Symposium on Methodologies for Intelligent Systems,1999, 1999.


Patrick Doherty and Jonas Kvarnström
  TALplanner: An empirical investigation of a temporal logic-based forward chaining planner
  6th International Workshop on Temporal Representation and Reasoning (TIME-99), 1999.


John-Jules Meyer and Patrick Doherty
  Preferential action semantics (preliminary report)
  Formal Models of Agents: ESPRIT Project Modelage Final Workshop Selected Papers, 1999.


Lars Karlsson, Joakim Gustafsson and Patrick Doherty
  Delayed effects of actions
  Proceedings of the 13th European Conference on Artificial Intelligence (ECAI), 1998.


Patrick Doherty and Jonas Kvarnström
  Tackling the qualification problem using fluent dependency constraints
  Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98), 1998.


Patrick Doherty, Witold Lukaszewicz and Ewa Madalinska-Bugaj
  The PMA and relativizing change for action update
  Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), 1998.


Joakim Gustafsson and Patrick Doherty
  Embracing occlusion in specifying the indirect effects of actions
  Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, 1996.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  General domain circumscription and its first-order reduction.
  Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning (FAPR), 1996.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Explaining explanation closure
  Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996, 1996.


Patrick Doherty and P. Peppas
  A comparison between two approaches to ramification: PMON(R) and AR0.
  8th Australian Joint Conference on Artificial Intelligence,1995, 1995.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Computing circumscription revisited.
  Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), 1995.


Patrick Doherty and Witold Lukaszewicz
  Circumscribing features and fluents. A fluent logic for reasoning about action and change.
  8th International Symposium on Methodologies for Intelligent Systems,1994, 1994.


Patrick Doherty
  Reasoning about action and change using occlusion.
  11th European Conference on Artificial Intelligence,1994, 1994.


Patrick Doherty, Dimiter Driankov and H. Hellendoorn
  Fuzzy if-then-unless rules and their implementation.
  International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU92,1992, 1992.


Patrick Doherty and Witold Lukaszewicz
  FONML3 - A first-order non-monotonic logic with explicit defaults.
  European Conference on Artificial Intelligence, ECAI-92,1992, 1992.


Patrick Doherty and Witold Lukaszewicz
  Defaults as first-class citizens
  Proceedings of the 22nd International Symposium on Multiple-Valued Logic (SMVL), 1992.


Patrick Doherty, Dimiter Driankov and A. Tsoukias
  Partial logics and partial preferences.
  International Conference on Economics/Management and Information Technology,1992, 1992.


Patrick Doherty and Dimiter Driankov
  A non-monotonic fuzzy logic.
  International Fuzzy Systems Association, Fourth World Congress,1991, 1991.


Patrick Doherty
  A constraint-based approach to proof procedures for multi-valued logics
  Proceedings of the 1st World Conference on Fundamentals of Artificial Intelligence (WOCFAI), 1991.


Patrick Doherty
  NM3 - A three-valued cumulative non-monotonic formalism
  Logics in AI, European Workshop (JELIA), 1990.


Patrick Doherty
  NME - A three-valued non-monotonic formalism
  Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS), 1990.


Patrick Doherty
  A semantics for inheritance hierarchies with exceptions using a logic of preferential entailment
  Proceedings of the 2nd Scandinavian Conference on Artificial Intelligence (SCAI), 1989.


Patrick Doherty
  A correspondence between inheritance hierarchies and a logic of preferential entailment.
  Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS), 1989.


Ph.D. Theses

Gianpaolo Conte
  Vision-Based Localization and Guidance for Unmanned Aerial Vehicles
  2009.


  Fulltext PDF

Fredrik Heintz
  DyKnow: A Stream-Based Knowledge Processing Middleware Framework
  2009.


  Fulltext PDF

Patrik Haslum
  Admissible Heuristics for Automated Planning
  2006.


  Fulltext PDF

Patrick Doherty  NML3: a non-monotonic formalism with explicit defaults
  1991.


Licentiate Theses

David Landén
  Complex Task Allocation for Delegation: From Theory to Practice
  2011.


  Fulltext PDF

Per-Magnus Olsson
  Positioning Algorithms for Surveillance Using Unmanned Aerial Vehicles
  2011.


  Fulltext PDF

Håkan Warnquist
  Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis
  2011.


  Fulltext PDF

Per Nyblom
  Dynamic Abstraction for Interleaved Task Planning and Execution
  2008.


  Fulltext PDF

Gianpaolo Conte
  Navigation Functionalities for an Autonomous UAV Helicopter
  2007.


Martin Magnusson
  Deductive Planning and Composite Actions in Temporal Action Logic
  2007.


  Fulltext PDF

Per Olof Pettersson
  Sampling-based Path Planning for an Autonomous Helicopter
  2006.


  Fulltext PDF

Patrik Haslum
  Prediction as a Knowledge Representation Problem: A Case Study in Model Design
  2002.


  Fulltext PDF

Patrick Doherty
  A three-valued approach to non-monotonic reasoning
  1990.


Reports

Oleg Burdakov, Patrick Doherty and Jonas Kvarnström
  Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance
  LiTH-MAT-R, 2014:10, 2014.


  Fulltext PDF

Oleg Burdakov, Patrick Doherty and Jonas Kvarnström
  Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles
  LiTH-MAT-R, 2014:09, 2014.


  Fulltext PDF

Oleg Burdakov, Kaj Holmberg, Patrick Doherty and Per-Magnus Olsson
  Optimal placement of communications relay nodes
  LiTH-MAT-R, 2009:3, 2009.


Patrick Doherty and Joakim Gustafsson
  Delayed effects of actions = direct effects + causal rules
  Linköping Electronic Articles in Computer and Information Science, 98-001, 1998.


Patrick Doherty
  PMON+: A fluent logic for action and change - formal specification, version 1.0.
  LITH-IDA-R, 33, 1996.


John-Jules Meyer and Patrick Doherty
  Preferential action semantics, preliminary report
  LITH-IDA-R, , 1996.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Declarative ptime queries to relational databases.
  LITH-IDA-R, 34, 1996.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  General domain circumscription and its first-order reduction.
  LITH-IDA-R, 1, 1996.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae.
  LITH-IDA-R, 20, 1995.


Patrick Doherty
  Notes on PMON circumscription.
  LITH-IDA-R, 43, 1994.


Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas
  Computing circumscription revisited: A reduction algorithm.
  LITH-IDA-R, 94-42, 1994.


Patrick Doherty
  A constraint-based approach to proof procedures for multi-valued logics
  LITH-IDA-R, 2, 1992.


Patrick Doherty, Dimiter Driankov and A. Tsoukias
  Partiality, para-consistency and preference modeling: Preliminary version.
  LITH-IDA-R, 18, 1992.


Patrick Doherty, Dimiter Driankov and H. Hellendoorn
  Fuzzy if-then-unless rules and their implementation.
  LITH-IDA-R, 21, 1992.


Patrick Doherty and Witold Lukaszewicz
  FONML3 - A first-order non-monotonic logic with explicit defaults.
  LITH-IDA-R, 20, 1992.


Patrick Doherty and Witold Lukaszewicz
  NML3 - A non-monotonic logic with explicit defaults.
  Användarrapport, 13, 1991.


Patrick Doherty
  A correspondence between inheritance hierarchies and a logic of preferential entailment.
  LITH-IDA-R, 0, 1990.


Patrick Doherty
  NM3 - A three-valued non-monotonic formalism. Preliminary report
  LITH-IDA-R, 44, 1990.


Patrick Doherty
  A rule interpreter for an emycin-like expert system tool.
  Aslab Memo, 85-05, 1985.