Patrick Doherty

According to our database1, Patrick Doherty
  • authored at least 135 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles.
Annals OR, 2017

Deep Learning Quadcopter Control via Risk-Aware Active Learning.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification.
Acta Inf., 2016

A Modeling Framework for Troubleshooting Automotive Systems.
Applied Artificial Intelligence, 2016

Bridging the mission-control gap: A flight command layer for mediating flight behaviours and continuous control.
Proceedings of the 2016 IEEE International Symposium on Safety, 2016

Area coverage with heterogeneous UAVs using scan patterns.
Proceedings of the 2016 IEEE International Symposium on Safety, 2016

A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

An Entailment Procedure for Kleene Answer Set Programs.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2016

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract).
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Combining Visual Tracking and Person Detection for Long Term Tracking on a UAV.
Proceedings of the Advances in Visual Computing - 12th International Symposium, 2016

Model-predictive control with stochastic collision avoidance using Bayesian policy optimization.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

An image matching system for autonomous UAV navigation based on neural network.
Proceedings of the 14th International Conference on Control, 2016

2015
Stability, Supportedness, Minimality and Kleene Answer Set Programs.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Local Search for Hop-Constrained Directed Steiner Tree Problem with Application to UAV-Based Multi-Target Surveillance.
Proceedings of the Examining Robustness and Vulnerability of Networked Systems, 2014

Incremental Dynamic Controllability in Cubic Worst-Case Time.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis.
Proceedings of the Agents and Artificial Intelligence - 6th International Conference, 2014

Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm.
Proceedings of the ICAART 2014, 2014

A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems.
Proceedings of the Computer Vision - ECCV 2014 Workshops, 2014

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Stream-Based Hierarchical Anchoring.
KI, 2013

Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination.
Fundam. Inform., 2013

Robotics, Temporal Logic and Stream Reasoning.
Proceedings of the LPAR 2013, 2013

Exploiting Fully Observable and Deterministic Structures in Goal POMDPs.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Incremental Dynamic Controllability Revisited.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2012

Temporal Composite Actions with Constraints.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011
Reports of the AAAI 2011 Spring Symposia.
AI Magazine, 2011

A delegation-based cooperative robotic framework.
Proceedings of the 2011 IEEE International Conference on Robotics and Biomimetics, 2011

Contextual Coalitional Games.
Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

Tractable model checking for fragments of higher-order coalition logic.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Organizing Committee.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Optimal placement of UV-based communications relay nodes.
J. Global Optimization, 2010

Relay Positioning for Unmanned Aerial Vehicle Surveillance.
I. J. Robotics Res., 2010

Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.
Advanced Engineering Informatics, 2010

On the Correctness of Rough-Set Based Approximate Reasoning.
Proceedings of the Rough Sets and Current Trends in Computing, 2010

Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

A Distributed Task Specification Language for Mixed-Initiative Delegation.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Vision-based pose estimation for autonomous indoor navigation of micro-scale Unmanned Aircraft Systems.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Generating UAV communication networks for monitoring and surveillance.
Proceedings of the 11th International Conference on Control, 2010

Automated planning for collaborative UAV systems.
Proceedings of the 11th International Conference on Control, 2010

Federated DyKnow, a distributed information fusion system for collaborative UAVs.
Proceedings of the 11th International Conference on Control, 2010

Iterative Bounding LAO.
Proceedings of the ECAI 2010, 2010

Stream-Based Reasoning Support for Autonomous Systems.
Proceedings of the ECAI 2010, 2010

Stream-Based Reasoning in DyKnow.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Research with Collaborative Unmanned Aircraft Systems.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

A Delegation-Based Architecture for Collaborative Robotics.
Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

Choosing Path Replanning Strategies for Unmanned Aircraft Systems.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

Stream-Based Middleware Support for Embedded Reasoning.
Proceedings of the Embedded Reasoning, 2010

2009
Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information.
EURASIP J. Adv. Sig. Proc., 2009

A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems.
Autonomous Agents and Multi-Agent Systems, 2009

Positioning unmanned aerial vehicles as communication relays for surveillance tasks.
Proceedings of the Robotics: Science and Systems V, University of Washington, Seattle, USA, June 28, 2009

A stream-based hierarchical anchoring framework.
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

2008
Temporal Action Logics.
Proceedings of the Handbook of Knowledge Representation, 2008

Knowledge Processing Middleware.
Proceedings of the Simulation, 2008

The Observer Algorithm for Visibility Approximation.
Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008

Towards Automatic Model Generation by Optimization.
Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008

Deductive Planning with Inductive Loops.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

DyKnow federations: Distributing and merging information among UAVs.
Proceedings of the 11th International Conference on Information Fusion, 2008

Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System.
Proceedings of the ECAI 2008, 2008

A Temporal Logic-Based Planning and Execution Monitoring System.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Logical Agents for Language and Action.
Proceedings of the Fourth Artificial Intelligence and Interactive Digital Entertainment Conference, 2008

Temporal Action Logic for Question Answering in an Adventure Game.
Proceedings of the Artificial General Intelligence 2008, 2008

2007
Communication between agents with heterogeneous perceptual capabilities.
Information Fusion, 2007

A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning.
Fundam. Inform., 2007

Dynamics of Approximate Information Fusion.
Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

From images to traffic behavior - A UAV tracking and monitoring application.
Proceedings of the 10th International Conference on Information Fusion, 2007

Towards a Delegation Framework for Aerial Robotic Mission Scenarios.
Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Deductive Planning with Temporal Constraints.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006
Probabilistic roadmap based path planning for an autonomous unmanned helicopter.
Journal of Intelligent and Fuzzy Systems, 2006

A knowledge processing middleware framework and its relation to the JDL data fusion model.
Journal of Intelligent and Fuzzy Systems, 2006

Approximate databases: a support tool for approximate reasoning.
Journal of Applied Non-Classical Logics, 2006

A Flexible Runtime System for Image Processing in a Distributed Computational Environment for an Unmanned Aerial Vehicle.
IJPRAI, 2006

Artificial Intelligence and Unmanned Aerial Vehicles.
Proceedings of the STAIRS 2006, 2006

06231 Executive Summary - Towards Affordance-based Robot Control.
Proceedings of the Towards Affordance-Based Robot Control, 05.06. - 09.06.2006, 2006

06231 Abstracts Collection - Towards Affordance-Based Robot Control.
Proceedings of the Towards Affordance-Based Robot Control, 05.06. - 09.06.2006, 2006

Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Knowledge Representation Techniques - A Rough Set Approach
Studies in Fuzziness and Soft Computing 202, Springer, ISBN: 978-3-540-33518-4, 2006

2005
Knowledge Representation and Unmanned Aerial Vehicles.
Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Similarity, Approximations and Vagueness.
Proceedings of the Rough Sets, 2005

2004
Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge.
Proceedings of the Rough-Neural Computing: Techniques for Computing with Words., 2004

Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases.
Proceedings of the Rough-Neural Computing: Techniques for Computing with Words., 2004

IJCAI '03 Workshop.
KI, 2004

DyKnow: An approach to middleware for knowledge processing.
Journal of Intelligent and Fuzzy Systems, 2004

Inter-residue distances derived from fold contact propensities correlate with evolutionary substitution costs.
BMC Bioinformatics, 2004

Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating.
AI Magazine, 2004

On the Correspondence between Approximations and Similarity.
Proceedings of the Rough Sets and Current Trends in Computing, 2004

Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Advanced Research with Autonomous Unmanned Aerial Vehicles.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Towards a Logical Analysis of Biochemical Pathways.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Towards a Logical Analysis of Biochemical Reactions.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Preface.
Fundam. Inform., 2003

Towards a Framework for Approximate Ontologies.
Fundam. Inform., 2003

2003 AAAI Spring Symposium Series.
AI Magazine, 2003

Information Granules for Intelligent Knowledge Structures.
Proceedings of the Rough Sets, 2003

Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Tolerance Spaces and Approximative Representational Structures.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

2002
CAKE: A Computer-Aided Knowledge Engineering Technique.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Integrating a Computational Model and a Run Time System for Image Processing on a UAV.
Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

2001
TALplanner: A Temporal Logic-Based Planner.
AI Magazine, 2001

Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
The PMA and Relativizing Minimal Change for Action Update.
Fundam. Inform., 2000

Tackling the Qualification Problem Using Fluent Dependency Constraints.
Computational Intelligence, 2000

TALplanner: A temporal logic based forward chaining planner.
Ann. Math. Artif. Intell., 2000

Extending TALplanner with Concurrency and Resources.
Proceedings of the ECAI 2000, 2000

Efficient Reasoning Using the Local Closed-World Assumption.
Proceedings of the Artificial Intelligence: Methodology, 2000

1999
Declarative PTIME Queries for Relational Databases using Quantifier Elimination.
J. Log. Comput., 1999

Meta-Queries on Deductive Databases.
Fundam. Inform., 1999

TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Computing MPMA Updates Using Dijkstra's Semantics.
Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1998
General Domain Circumscription and its Effective Reductions.
Fundam. Inform., 1998

TAL: Temporal Action Logics Language Specification and Tutorial.
Electron. Trans. Artif. Intell., 1998

Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

The PMA and Relativizing Minimal Change for Action Update.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Delayed Effects of Actions.
ECAI, 1998

1997
Computing Circumscription Revisited: A Reduction Algorithm.
J. Autom. Reasoning, 1997

Preferential Action Semantics (Preliminary Report).
Proceedings of the Formal Models of Agents, 1997

1996
A Reduction Result for Circumscribed Semi-Horn Formulas.
Fundam. Inform., 1996

Embracing Occlusion in Specifying the Indirect Effects of Actions.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Explaining Explanation Closure.
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

General Domain Circumscription in its First-Order Reduction.
Proceedings of the Practical Reasoning, 1996

1995
Computing Circumscription Revisited: Preliminary Report.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.
Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Cicumscribing Features and Fluents.
Proceedings of the Temporal Logic, First International Conference, 1994

Reasoning about Action and Change Using Occlusion.
ECAI, 1994

1993
Fuzzy if-then-Unless Rules and their Implementation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1993

1992
NML3. A Non-Monotonic Logic with Explicit Defaults.
Journal of Applied Non-Classical Logics, 1992

Defaults as First-Class Citizens.
Proceedings of the 22nd IEEE International Symposium on Multiple-Valued Logic, 1992

FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults.
ECAI, 1992

1990
NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.
Proceedings of the Logics in AI, European Workshop, 1990

1989
A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment.
SCAI, 1989


  Loading...