Patrick Doherty
#174,529
Most Influential Person Now
Patrick Doherty's AcademicInfluence.com Rankings
Patrick Dohertyengineering Degrees
Engineering
#7992
World Rank
#9449
Historical Rank
Robotics
#173
World Rank
#175
Historical Rank
Electrical Engineering
#2497
World Rank
#2617
Historical Rank

Patrick Dohertycomputer-science Degrees
Computer Science
#10782
World Rank
#11353
Historical Rank
Machine Learning
#4918
World Rank
#4975
Historical Rank
Artificial Intelligence
#5295
World Rank
#5366
Historical Rank
Database
#7764
World Rank
#8072
Historical Rank

Download Badge
Engineering Computer Science
Why Is Patrick Doherty Influential?
(Suggest an Edit or Addition)Patrick Doherty's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization (2007) (310)
- Human Body Detection and Geolocalization for UAV Search and Rescue Missions Using Color and Thermal Imagery (2008) (283)
- An Integrated UAV Navigation System Based on Aerial Image Matching (2008) (194)
- TALplanner: A temporal logic based forward chaining planner (2001) (165)
- Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information (2009) (163)
- A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems (2009) (160)
- The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments (2012) (130)
- Computing Circumscription Revisited: A Reduction Algorithm (1997) (128)
- NML3 : a non-monotonic formalism with explicit defaults (1991) (117)
- TAL: Temporal Action Logics Language Specification and Tutorial (1998) (115)
- TALplanner: A Temporal Logic-Based Planner (2001) (101)
- A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation (2004) (93)
- Probabilistic roadmap based path planning for an autonomous unmanned helicopter (2006) (91)
- From images to traffic behavior - A UAV tracking and monitoring application (2007) (89)
- Embracing Occlusion in Specifying the Indirect Effects of Actions (1996) (79)
- Reasoning about Action and Change Using Occlusion (1994) (77)
- Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle (2006) (72)
- Relay Positioning for Unmanned Aerial Vehicle Surveillance* (2010) (71)
- Advanced Research with Autonomous Unmanned Aerial Vehicles (2004) (69)
- Generating UAV communication networks for monitoring and surveillance (2010) (67)
- Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing (2010) (64)
- Positioning unmanned aerial vehicles as communication relays for surveillance tasks (2009) (64)
- Knowledge Representation Techniques - A Rough Set Approach (2006) (63)
- Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle (2004) (60)
- Micro Unmanned Aerial Vehicle Visual Servoing for Cooperative Indoor Exploration (2008) (59)
- Vision for a UAV helicopter (2002) (56)
- TALplanner: an empirical investigation of a temporal logic-based forward chaining planner (1999) (55)
- DyKnow: An approach to middleware for knowledge processing (2004) (54)
- Optimal placement of UV-based communications relay nodes (2010) (53)
- Temporal Action Logics (2008) (52)
- Extending TALplanner with Concurrency and Resources (2000) (51)
- Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study (2010) (47)
- High-Level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems Using Delegation (2013) (46)
- High Accuracy Ground Target Geo-location Using Autonomous Micro Aerial Vehicle Platforms (2008) (44)
- Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas (2001) (44)
- Deep Learning Quadcopter Control via Risk-Aware Active Learning (2017) (44)
- Vision-based pose estimation for autonomous indoor navigation of micro-scale Unmanned Aircraft Systems (2010) (43)
- From Motion Planning to Control - A Navigation Framework for an Autonomous Unmanned Aerial Vehicle (2006) (40)
- A three-valued approach to non-monotonic reasoning (1990) (38)
- Tolerance Spaces and Approximative Representational Structures (2003) (37)
- A knowledge processing middleware framework and its relation to the JDL data fusion model (2005) (37)
- Efficient Reasoning Using the Local Closed-World Assumption (2000) (37)
- GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle (2006) (35)
- Automated planning for collaborative UAV systems (2010) (35)
- Algorithms and Complexity for Temporal and Spatial Formalisms (2007) (34)
- An image matching system for autonomous UAV navigation based on neural network (2016) (34)
- On the Correspondence between Approximations and Similarity (2004) (33)
- Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases (2004) (31)
- A Distributed Architecture for Intelligent Unmanned Aerial Vehicle Experimentation (2004) (31)
- Knowledge Representation Techniques (Studies in Fuzziness and Soft Computing) (2006) (31)
- Model-predictive control with stochastic collision avoidance using Bayesian policy optimization (2016) (30)
- Choosing Path Replanning Strategies for Unmanned Aircraft Systems (2010) (30)
- Towards Affordance-based Robot Control (2008) (29)
- A Distributed Task Specification Language for Mixed-Initiative Delegation (2010) (26)
- Computing Circumscription Revisited: Preliminary Report (1995) (26)
- Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (2006) (26)
- The PMA and relativizing change for action update (1998) (26)
- Cicumscribing Features and Fluents (1994) (25)
- Towards a Framework for Approximate Ontologies (2003) (25)
- A stream-based hierarchical anchoring framework (2009) (24)
- Tackling the qualification problem using fluent dependency constraints: preliminary report (1998) (23)
- A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems (2014) (22)
- Incremental Dynamic Controllability Revisited (2013) (22)
- Delayed Effects of Actions (1998) (21)
- Collaborative 3D Reconstruction Using Heterogeneous UAVs: System and Experiments (2016) (21)
- Proceedings of the 20th European Conference on Artificial Intelligence (2012) (21)
- Towards a Delegation Framework for Aerial Robotic Mission Scenarios (2007) (21)
- Partiality, Modality and Nonmonotonicity (1996) (21)
- WITAS : An Intelligent Autonomous Aircraft Using Active Vision (2000) (20)
- Communication between agents with heterogeneous perceptual capabilities (2007) (20)
- Stream Reasoning in DyKnow: A Knowledge Processing Middleware System (2009) (19)
- Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract (2003) (19)
- A Temporal Logic-Based Planning and Execution Monitoring System (2008) (19)
- A VISUAL NAVIGATION SYSTEM FOR UAS BASED ON GEO-REFERENCED IMAGERY (2012) (19)
- LinkMAV, a protoype rotary wing micro aerial vehicle (2007) (19)
- Area coverage with heterogeneous UAVs using scan patterns (2016) (19)
- Stream-Based Reasoning Support for Autonomous Systems (2010) (18)
- A Reduction Result for Circumscribed Semi-Horn Formulas (1996) (18)
- The PMA and Relativizing Minimal Change for Action Update (1998) (18)
- Incremental Dynamic Controllability in Cubic Worst-Case Time (2014) (18)
- Notes on PMON circumscription. (1994) (18)
- HDRC3 - A Distributed Hybrid Deliberative/Reactive Architecture for Unmanned Aircraft Systems (2014) (17)
- DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems (2004) (17)
- General Domain Circumscription and its Effective Reductions (1998) (17)
- Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge (2004) (17)
- Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization (2015) (17)
- Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities (2004) (16)
- Knowledge Representation and Unmanned Aerial Vehicles (2005) (16)
- Dynamics of Approximate Information Fusion (2007) (15)
- Managing Dynamic Object Structures using Hypothesis Generation and Validation (2004) (15)
- Deductive Planning with Inductive Loops (2008) (14)
- Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating (2004) (14)
- Explaining Explanation Closure (1996) (14)
- Declarative PTIME Queries for Relational Databases using Quantifier Elimination (1999) (14)
- A Flexible Runtime System for Image Processing in a Distributed Computational Environment for an Unmanned Aerial Vehicle (2006) (13)
- A Roadmap for Research in Robot Planning (2003) (13)
- Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change (1994) (13)
- Logical Agents for Language and Action (2008) (13)
- NML3. A Non-Monotonic Logic with Explicit Defaults (1992) (13)
- Chronicle Recognition in the WITAS UAV Project: A Preliminary Report (2001) (12)
- A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles (2016) (12)
- DyKnow federations: Distributing and merging information among UAVs (2008) (12)
- Partial logics and partial preferences. (1992) (12)
- Preliminary report: NM3—a three-valued non-monotonic formalism (1991) (12)
- Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles (2017) (12)
- EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm (2014) (12)
- Iterative Bounding LAO (2010) (12)
- Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities (2004) (11)
- Stream-Based Hierarchical Anchoring (2013) (11)
- PERFORMANCE EVALUATION OF A LIGHT-WEIGHT MULTI-ECHO LIDAR FOR UNMANNED ROTORCRAFT APPLICATIONS (2013) (11)
- CAKE: A Computer-Aided Knowledge Engineering Technique (2002) (11)
- 06231 Executive Summary - Towards Affordance-based Robot Control (2006) (10)
- Planning as Heuristic Search for Incremental Fault Diagnosis and Repair (2009) (10)
- Temporal Composite Actions with Constraints (2012) (10)
- Approximate databases: a support tool for approximate reasoning (2006) (10)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (2014) (10)
- Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm (2014) (10)
- A constraint-based approach to proof procedures for multi-valued logics (1992) (10)
- PMON+ : A fluent logic for action and change - formal specification, version 1.0. (1996) (10)
- Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification (2016) (10)
- A Delegation-Based Architecture for Collaborative Robotics (2010) (10)
- Combining Visual Tracking and Person Detection for Long Term Tracking on a UAV (2016) (9)
- Research with Collaborative Unmanned Aircraft Systems (2010) (8)
- Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework (2007) (8)
- Knowledge Processing Middleware (2008) (8)
- NM3 - A Three-Valued Cumulative Non-Monotonic Formalism (1990) (8)
- Information Granules for Intelligent Knowledge Structures (2003) (8)
- A delegation-based cooperative robotic framework (2011) (8)
- Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System (2008) (8)
- Federated DyKnow, a distributed information fusion system for collaborative UAVs (2010) (7)
- On the Logic of Delegation - Relating Theory and Practice (2012) (7)
- Similarity, Approximations and Vagueness (2005) (7)
- A Comparison between Two Approaches to Ramiication: Pmon(r) and Ar 0 (1995) (7)
- Logical formalizations of commonsense reasoning : papers from the AAAI Spring Symposium (2011) (7)
- Meta-Queries on Deductive Databases (1999) (7)
- Abductive Reasoning with Filtered Circumscription (2009) (7)
- Use of Geo-referenced Images with Unmanned Aerial Systems (2008) (7)
- A Modeling Framework for Troubleshooting Automotive Systems (2016) (6)
- Towards a Logical Analysis of Biochemical Pathways (2004) (6)
- STEREO VISUAL SYSTEM FOR AUTONOMOUS AIR VEHICLE NAVIGATION (2007) (6)
- A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. (2007) (6)
- A comparison between two approaches to ramification : PMON(R) and AR0. (1995) (6)
- Delayed effects of actions = direct effects + causal rules (1998) (6)
- Deployment of Ad Hoc Network Nodes Using UAVs for Search and Rescue Missions (2018) (5)
- General Domain Circumscription in its First-Order Reduction (1996) (5)
- Deductive Planning with Temporal Constraints (2007) (5)
- Temporal Action Logic for Question Answering in an Adventure Game (2008) (5)
- On mutual understanding among communicating agents (2003) (5)
- A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning (2007) (5)
- Robotics, Temporal Logic and Stream Reasoning (2013) (5)
- The 27th annual workshop of the Swedish Artificial Intelligence Society (SAIS) (2010) (4)
- Partiality, para-consistency and preference modeling : Preliminary version. (1992) (4)
- A nonmonotonic fuzzy logic (1992) (4)
- Router and gateway node placement in wireless mesh networks for emergency rescue scenarios (2021) (4)
- Optimal placement of communications relay nodes (2009) (4)
- A Single Domain Shark Antibody Targeting the Transferrin Receptor 1 Delivers a TrkB Agonist Antibody to the Brain and Provides Full Neuroprotection in a Mouse Model of Parkinson’s Disease (2022) (4)
- Choosing Replanning Strategies for Unmanned Aircraft Systems (2010) (4)
- Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription (2008) (4)
- Preferential Action Semantics (Preliminary Report) (1997) (4)
- Unmanned aerial vehicle research: challenges and prospects (2006) (4)
- A correspondence between inheritance hierarchies and a logic of preferential entailment. (1990) (4)
- Stream-Based Reasoning in DyKnow (2010) (4)
- Real-Time Robotic Search using Structural Spatial Point Processes (2019) (4)
- Distinguishing between facts and default assumptions. (1992) (4)
- Router Node Placement in Wireless Mesh Networks for Emergency Rescue Scenarios (2019) (3)
- Integrating a computational model and a run time system for image processing on a UAV (2002) (3)
- The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning (2006) (3)
- Bridging the mission-control gap: A flight command layer for mediating flight behaviours and continuous control (2016) (3)
- Evaluation of Human Body Detection Using Deep Neural Networks with Highly Compressed Videos for UAV Search and Rescue Missions (2019) (3)
- Deductive planning with temporal constraints using TAL (2006) (3)
- A Delegation-Based Collaborative Robotic Framework (2011) (3)
- Rough set reasoning using answer set programs (2020) (3)
- Hastily formed knowledge networks and distributed situation awareness for collaborative robotics (2021) (3)
- Deep RL for autonomous robots: limitations and safety challenges (2019) (3)
- WARA-PS: a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation (2021) (3)
- Logical Agents that Plan, Execute, and Monitor Communication (2009) (3)
- Nonmonotonicity, fuzziness, and multi-values. (1993) (3)
- Proceedings, Tenth International Conference on principles of knowledge representation and reasoning (2006) (3)
- Local Search for Hop-Constrained Directed Steiner Tree Problem with Application to UAV-Based Multi-Target Surveillance (2014) (3)
- Bridging the Sense-Reasoning Gap : DyKnow - A Middleware Component for Knowledge Processing (2008) (3)
- A Framework for Safe Navigation of Unmanned Aerial Vehicles in Unknown Environments (2017) (3)
- Preliminary report : Reconfigurable path planning for an autonomous unmanned aerial vehicle (2005) (3)
- General Domain Circumscription and Its First-order Reduction General Domain Circumscription and Its First-order Reduction (1996) (2)
- Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (2006) (2)
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract) (2016) (2)
- A landscape and implementation framework for probabilistic rough sets using ProbLog (2021) (2)
- Delayed Eeects of Actions = Direct Eeects + Causal Rules Linkk Oping Electronic Articles in Computer and Information Science (2)
- Particle Filters and MAP Sequence Estimation for Vehicle Tracking (2008) (2)
- Stream-Based Middleware Support for Embedded Reasoning (2010) (2)
- LinkBoard: Advanced flight control system for micro unmanned aerial vehicles (2017) (2)
- An Entailment Procedure for Kleene Answer Set Programs (2016) (2)
- A Rough Set Approach to Machine Learning (2006) (2)
- Fuzzy if-then-Unless Rules and their Implementation (1993) (2)
- Exploiting Fully Observable and Deterministic Structures in Goal POMDPs (2013) (2)
- A non-monotonic fuzzy logic. (1991) (1)
- An Experimental Platform for Approximate Databases (2005) (1)
- Polygon Area Decomposition Using a Compactness Metric (2021) (1)
- Linkk Oping Electronic Articles in Temporal Action Logics Tal: Language Speciication and Tutorial Linkk Oping Electronic Articles in Computer and Information Science (1998) (1)
- Use of Artificial Neural Networks for Automatic Categorical Change Detection in Satellite Imagery (2016) (1)
- Operational Aspects of JTIDS Relative Navigation (1988) (1)
- A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment (1989) (1)
- FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults (1992) (1)
- Rough Forgetting (2020) (1)
- Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters (2018) (1)
- Pmon + : a Fluent Logic for Action and Change: Formal Speciication, Version 1.0 Linkk Oping Electronic Articles in Computer and Information Science (1)
- 06231 Abstracts Collection - Towards Affordance-Based Robot Control (2006) (1)
- Defaults as first-class citizens (1992) (1)
- Encoding Definitional Fragments of Temporal Action Logic into Logic Programming (2014) (1)
- A characterization result for circumscribed normal logic programs. Revised version accepted for publication : Special issue of honor of H. Rasiowa, Fundamenta Informaticae. (1995) (1)
- Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis (2014) (1)
- NME - A three-valued non-monotonic formalism (1990) (1)
- HDRC 3 : A Distributed Hybrid Deliberative / Reactive Architecture for Unmanned Aircraft Systems September 10 , 2013 1 Affiliation (2013) (1)
- Combining Rough and Crisp Knowledge (2006) (1)
- Towards a Logical Analysis of Biochemical Reactions (Extended abstract) (2004) (1)
- Pmon + : a Fluent Logic for Action and Change Formal Speciication, Version 1.0 Pmon + : a Fluent Logic for Action and Change Formal Speciication, Version 1.0 (1996) (1)
- Planning Speech Acts in a Logic of Action and Change (2009) (1)
- Real-Time Robotic Search using Hierarchical Spatial Point Processes (2019) (1)
- Contextual Coalitional Games (2011) (1)
- Bridging Reactive and Control Architectural Layers for Cooperative Missions Using VTOL Platforms (2017) (1)
- From Motion Planning to ControlA Navigation Framework for an Autonomous Unmanned Aerial Vehicle From Motion Planning to ControlA Navigation Framework for an Autonomous Unmanned Aerial Vehicle (2006) (1)
- NM3 - A three-valued non-monotonic formalism. Preliminary report (1990) (1)
- Towards Affordance-based Robot Control Dagstuhl Seminar 06231 June 5 – 9 , 2006 (2006) (1)
- Signed Dual Tableaux for Kleene Answer Set Programs (2018) (1)
- A Collaborative Framework for 3 D Mapping Using Unmanned Aerial Vehicles (2016) (1)
- Reports of the AAAI 2011 Spring Symposia (2011) (1)
- IJCAI '03 Workshop (2004) (0)
- Executable logic for dialogical argumentation (2012) (0)
- UAV Learning Process: A Case Study (2006) (0)
- International Workshop on Knowledge Representation and Approximate Reasoning (2003) (0)
- Relational and Deductive Databases (2006) (0)
- Action Awareness – Enabling Autonomous Robots to Optimize , Transform , and Coordinate Plans (2006) (0)
- Towards Automatic Model Generation by Optimization (2008) (0)
- Table of Contents IEEE/WIC/ACM International Conference on Intelligent Agent Technology IAT 2005 (2005) (0)
- Knowledge Representation and Approximate Reasoning (2003) (0)
- Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification (2015) (0)
- Artificial Intelligence and Unmanned Aerial Vehicles (2006) (0)
- CAKE: Computer Aided Knowledge Engineering (2006) (0)
- 1st International workshop on knowledge representation and approximate reasoning (KR&AR) (2003) (0)
- Declarative ptime queries to relational databases. (1996) (0)
- Keynote speeches: Intelligent collaborative systems and their application to emergency rescue scenario (2018) (0)
- A rule interpreter for an emycin-like expert system tool. (1985) (0)
- A Distrib uted Ar chitecture for Intelligent UnmannedAerial Vehicle Experimentation (2003) (0)
- A study in modal embeddings of NML3 (1996) (0)
- Color camera Thermal camera Heli state estimation Chronicle recognition Temporal logic Reasoning Engines GIS Databases Image processing (2007) (0)
- Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 (2006) (0)
- Non-Monotonic Reasoning (2006) (0)
- Computing MPMA Updates Using Dijkstra's Semantics (1999) (0)
- Towards a Logical Analysis of Biochemical Reactions (2004) (0)
- Drone Autonomous Navigation by Hardware Image Processing (2019) (0)
- The Observer Algorithm for Visibility Approximation (2008) (0)
- Logical formalization of commonsense reasoning : papers from the 2003 AAAI Symposium, March 24-26, Stanford, California (2003) (0)
- The 26th annual workshop of the Swedish Artificial Intelligence Society (SAIS), 20–21 May 2010, Uppsala, Sweden (2010) (0)
- The WITAS UAV System Demonstration (2006) (0)
- Stream-Based Hierarchical Anchoring (2013) (0)
- Stream-Based Reasoning Support for Autonomous Systems 1 (2010) (0)
- Delegation-Based Collaboration (2012) (0)
- Rough Knowledge Databases (2006) (0)
- Preferential Action Semantics (2002) (0)
- Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles (2016) (0)
- Preferential Action Semantics (preliminary Report) Preferential Action Semantics (preliminary Report) (1996) (0)
- Tractable model checking for fragments of higher-order coalition logic (2011) (0)
- 2003 AAAI Spring Symposium Series (2003) (0)
- Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination (2013) (0)
- On the Correctness of Rough-Set Based Approximate Reasoning (2010) (0)
- Weakest Sufficient and Strongest Necessary Conditions (2006) (0)
- Formalization of Default Logic Using CAKE (2006) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Patrick Doherty?
Patrick Doherty is affiliated with the following schools: