Publications for Patrick Doherty

Publications for Patrick DohertyCo-author map based on ISI articles 2007-

Keywords

vehicles unmanned task system specification required relay reasoning processing planning model knowledge dyknow delegation collaborative autonomous approximate algorithm aircraft aerial

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.

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

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.

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

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.

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: 9

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: 6

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: 7

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: 10

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: 9

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

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

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

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: 14

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

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: 15

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: 16

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.

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, Jaroslaw Kachniarz and Andrzej Szalas
  Meta-queries on deductive databases
  Fundamenta Informaticae, 1999, 40(1), 17-30.

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

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 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.


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.


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 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

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 21th 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.


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.


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.


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, 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 and Fredrik Heintz
  A Delegation-Based Cooperative Robotic Framework
  Proceedings of the IEEE International Conference on Robotics and Biomimetic, 2011.


  Fulltext PDF

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, 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, 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: 5

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.


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.


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.


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.


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: 1

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: 2

Håkan Warnquist, Jonas Kvarnström and Patrick Doherty
  Iterative Bounding LAO*
  Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), 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.


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.


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


Martin Magnusson and Patrick Doherty
  Planning Speech Acts in a Logic of Action and Change
  The Swedish AI Society Workshop 2009, SAIS 2009, 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.


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.


Gianpaolo Conte and Patrick Doherty
  An Integrated UAV Navigation System Based on Aerial Image Matching
  IEEE Aerospace Conference 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.


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.


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.


Martin Magnusson and Patrick Doherty
  Logical Agents for Language and Action
  4th International Artificial Intelligence and Interactive Digital Entertainment Conference AIIDE 2008,2008, 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.


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.


Per-Magnus Olsson and Patrick Doherty
  The Observer Algorithm For Visibility Approximation
  10th Scandinavian Conference on Artificial Intelligence, SCAI 2008, 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.


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

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.


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.


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

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 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: 10

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.


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

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

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.


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


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 and Patrick Doherty
  Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle
  ICHIT 2006 - International Conference on Hybrid Information Technology,2006, 2006.


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

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.


Mariusz Wzorek and Patrick Doherty
  Reconfigurable path planning for an autonomous unmanned aerial vehicle
  National Swedish Workshop on Autonomous Systems, 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.


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.


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.


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.


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.


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
  Advanced Research with Autonomous Unmanned Aerial Vehicles
  Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, 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, 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.


Fredrik Heintz and Patrick Doherty
  Managing Dynamic Object Structures using Hypothesis Generation and Validation
  AAAI Workshop on Anchoring Symbols to Sensor Data,2004, 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.


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


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
  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.


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
  Tolerance Spaces and Approximative Representational Structures
  Proceedings of the 26th German Conference on Artificial Intelligence (KI), 2003.


 Web of Science® Times Cited: 11

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

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.


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.


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.


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


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.


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
  Explaining explanation closure
  Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996, 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
  Computing circumscription revisited.
  Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), 1995.


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 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 and Witold Lukaszewicz
  Defaults as first-class citizens
  Proceedings of the 22nd International Symposium on Multiple-Valued Logic (SMVL), 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, 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, 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
  NME - A three-valued non-monotonic formalism
  Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS), 1990.


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


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.


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.


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

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


  Fulltext PDF

Per-Magnus Olsson
  Positioning Algorithms for Surveillance Using Unmanned Aerial Vehicles
  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.


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


John-Jules Meyer and Patrick Doherty
  Preferential action semantics, preliminary report
  LITH-IDA-R, , 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, Witold Lukaszewicz and Andrzej Szalas
  Computing circumscription revisited: A reduction algorithm.
  LITH-IDA-R, 94-42, 1994.


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


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


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


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


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


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


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


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


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