Skip to content

Patrick Doherty

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

60

Venues

25

Active years

1990–2021

Best venue rank

A*

Where they publish

Papers

60 indexed papers, newest first.

YearVenueTitleAuthors
2021CHIr/Coronavirus and the Viral Pandemic: A source of truth, comfort and companionship during COVID19.Jennifer Cole, Cas van de Ven, Curtis Matt Sharkey, Phillip Williamson, Patrick Doherty, Freya Robb
2019AMIARequirements for a quality dashboard: Lessons from National Clinical Audits.Rebecca Randell, Natasha Alvarado, Lynn McVey, Roy A. Ruddle, Patrick Doherty, Chris Gale, Mamas Mamas, Dawn Dowding
2019ESANNDeep RL for autonomous robots: limitations and safety challenges.Olov Andersson, Patrick Doherty
2019PRICAIEvaluation of Human Body Detection Using Deep Neural Networks with Highly Compressed Videos for UAV Search and Rescue Missions.Piotr Rudol, Patrick Doherty
2019PRICAIRouter Node Placement in Wireless Mesh Networks for Emergency Rescue Scenarios.Mariusz Wzorek, Cyrille Berger, Patrick Doherty
2019UAIReal-Time Robotic Search using Structural Spatial Point Processes.Olov Andersson, Per Sidn, Johan Dahlin, Patrick Doherty, Mattias Villani
2017AAAIDeep Learning Quadcopter Control via Risk-Aware Active Learning.Olov Andersson, Mariusz Wzorek, Patrick Doherty
2017ICSEngBridging Reactive and Control Architectural Layers for Cooperative Missions Using VTOL Platforms.Piotr Rudol, Patrick Doherty
2017ICSEngA Framework for Safe Navigation of Unmanned Aerial Vehicles in Unknown Environments.Mariusz Wzorek, Cyrille Berger, Patrick Doherty
2016ICARCVAn image matching system for autonomous UAV navigation based on neural network.Jos R. G. Braga, Haroldo F. de Campos Velho, Gianpaolo Conte, Patrick Doherty, Elcio H. Shiguemori
2016ICRAModel-predictive control with stochastic collision avoidance using Bayesian policy optimization.Olov Andersson, Mariusz Wzorek, Piotr Rudol, Patrick Doherty
2016ISVCCombining Visual Tracking and Person Detection for Long Term Tracking on a UAV.Gustav Hger, Goutam Bhat, Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Piotr Rudol, Patrick Doherty
2016JELIAIteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract).Patrick Doherty, Jonas Kvarnstrm, Andrzej Szalas
2016PRIMAA Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles.Patrick Doherty, Jonas Kvarnstrm, Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte, Cyrille Berger, Timo Hinzmann, Thomas Stastny
2015AAAIModel-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization.Olov Andersson, Fredrik Heintz, Patrick Doherty
2014ECAIEncoding Definitional Fragments of Temporal Action Logic into Logic Programming.Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer
2014ECCVA Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems.Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Karl Granstrm, Fredrik Heintz, Piotr Rudol, Mariusz Wzorek, Jonas Kvarnstrm, Patrick Doherty
2014ICAARTClassical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm.Mikael Nilsson, Jonas Kvarnstrm, Patrick Doherty
2014ICAARTRevisiting Classical Dynamic Controllability: A Tighter Complexity Analysis.Mikael Nilsson, Jonas Kvarnstrm, Patrick Doherty
2014TIMEIncremental Dynamic Controllability in Cubic Worst-Case Time.Mikael Nilsson, Jonas Kvarnstrm, Patrick Doherty
2013LPARRobotics, Temporal Logic and Stream Reasoning.Patrick Doherty, Fredrik Heintz, Jonas Kvarnstrm
2012KRTemporal Composite Actions with Constraints.Patrick Doherty, Jonas Kvarnstrm, Andrzej Szalas
2010ECAIStream-Based Reasoning Support for Autonomous Systems.Fredrik Heintz, Jonas Kvarnstrm, Patrick Doherty
2010ECAIIterative Bounding LAO.Hkan Warnquist, Jonas Kvarnstrm, Patrick Doherty
2010ICARCVFederated DyKnow, a distributed information fusion system for collaborative UAVs.Fredrik Heintz, Patrick Doherty
2010ICARCVAutomated planning for collaborative UAV systems.Jonas Kvarnstrm, Patrick Doherty
2010ICARCVGenerating UAV communication networks for monitoring and surveillance.Per-Magnus Olsson, Jonas Kvarnstrm, Patrick Doherty, Oleg Burdakov, Kaj Holmberg
2010ICRAVision-based pose estimation for autonomous indoor navigation of micro-scale Unmanned Aircraft Systems.Piotr Rudol, Mariusz Wzorek, Patrick Doherty
2010PRIMAA Distributed Task Specification Language for Mixed-Initiative Delegation.Patrick Doherty, Fredrik Heintz, David Landn
2010PRIMAComplex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study.David Landn, Fredrik Heintz, Patrick Doherty
2009IROSA stream-based hierarchical anchoring framework.Fredrik Heintz, Jonas Kvarnstrm, Patrick Doherty
2008ECAIPlanning, Executing, and Monitoring Communication in a Logic-based Multi-agent System.Martin Magnusson, David Landn, Patrick Doherty
2008FUSIONDyKnow federations: Distributing and merging information among UAVs.Fredrik Heintz, Patrick Doherty
2008KRReasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription.Patrick Doherty, Andrzej Szalas
2008KRDeductive Planning with Inductive Loops.Martin Magnusson, Patrick Doherty
2007FUSIONFrom images to traffic behavior - A UAV tracking and monitoring application.Fredrik Heintz, Piotr Rudol, Patrick Doherty
2007KIBridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework.Fredrik Heintz, Piotr Rudol, Patrick Doherty
2004ECAITowards a Logical Analysis of Biochemical Reactions.Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
2004JELIATowards a Logical Analysis of Biochemical Pathways.Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
2004KRAdvanced Research with Autonomous Unmanned Aerial Vehicles.Patrick Doherty
2004KRApproximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities.Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz
2003KITolerance Spaces and Approximative Representational Structures.Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2003KIWords at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract.Erik Sandewall, Patrick Doherty, Oliver Lemon, Stanley Peters
2002DSDIntegrating a Computational Model and a Run Time System for Image Processing on a UAV.Per Andersson, Krzysztof Kuchcinski, Klas Nordberg, Patrick Doherty
2002ECAICAKE: A Computer-Aided Knowledge Engineering Technique.Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2001IJCAIComputing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2000AIMSAEfficient Reasoning Using the Local Closed-World Assumption.Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2000ECAIExtending TALplanner with Concurrency and Resources.Jonas Kvarnstrm, Patrick Doherty, Patrik Haslum
1999ISMISComputing MPMA Updates Using Dijkstra's Semantics.Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1999TIMETALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.Patrick Doherty, Jonas Kvarnstrm
1998ECAIDelayed Effects of Actions.Lars Karlsson, Joakim Gustafsson, Patrick Doherty
1998KRThe PMA and Relativizing Minimal Change for Action Update.Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1998TIMETackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.Patrick Doherty, Jonas Kvarnstrm
1996ISMISExplaining Explanation Closure.Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1996KREmbracing Occlusion in Specifying the Indirect Effects of Actions.Joakim Gustafsson, Patrick Doherty
1995IJCAIComputing Circumscription Revisited: Preliminary Report.Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1994ECAIReasoning about Action and Change Using Occlusion.Patrick Doherty
1994ISMISCircumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.Patrick Doherty, Witold Lukaszewicz
1992ECAIFONML3 - A First-Order Non-monotonic Logic with Explicit Defaults.Patrick Doherty, Witold Lukaszewicz
1990JELIANM3 - A Three-Valued Cumulative Non-Monotonic Formalism.Patrick Doherty