Patrick Doherty

Patrick Doherty, Elcio Hideiti Shiguemori, Haroldo F. de Campos Velho, 2016, 2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV).

Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification

Patrick Doherty, Jonas Kvarnström, Mikael Nilsson, 2016, Acta Informatica.

Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract

Stanley Peters, Oliver Lemon, Patrick Doherty, 2003, KI.

Robotics, Temporal Logic and Stream Reasoning

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2013, LPAR.

Combining Visual Tracking and Person Detection for Long Term Tracking on a UAV

Michael Felsberg, Fahad Shahbaz Khan, Patrick Doherty, 2016, ISVC.

Partial logics and partial preferences.

Patrick Doherty, Alexis Tsoukiàs, Dimiter Driankov, 1992 .

Planning as Heuristic Search for Incremental Fault Diagnosis and Repair

Patrick Doherty, Jonas Kvarnström, Håkan Warnquist, 2009, ICAPS 2009.

Integrating a computational model and a run time system for image processing on a UAV

Krzysztof Kuchcinski, Patrick Doherty, Per Andersson, 2002, Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools.

A stream-based hierarchical anchoring framework

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

STEREO VISUAL SYSTEM FOR AUTONOMOUS AIR VEHICLE NAVIGATION

Patrick Doherty, Pascual Campoy, Luis Mejias, 2007 .

Stability, Supportedness, Minimality and Kleene Answer Set Programs

Patrick Doherty, Andrzej Szalas, A. Szałas, 2014, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.

EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm

Patrick Doherty, Jonas Kvarnström, Mikael Nilsson, 2014, ICAPS.

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

Patrick Doherty, Johan Wiklund, Per Andersson, 2006, Int. J. Pattern Recognit. Artif. Intell..

Keynote speeches: Intelligent collaborative systems and their application to emergency rescue scenario

Patrick Doherty, 2018, ICNSC.

A Framework for Safe Navigation of Unmanned Aerial Vehicles in Unknown Environments

Patrick Doherty, Mariusz Wzorek, Cyrille Berger, 2017, 2017 25th International Conference on Systems Engineering (ICSEng).

Automated planning for collaborative UAV systems

Patrick Doherty, Jonas Kvarnström, P. Doherty, 2010, 2010 11th International Conference on Control Automation Robotics & Vision.

DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems

Patrick Doherty, Fredrik Heintz, 2004, MSRAS.

Inter-residue distances derived from fold contact propensities correlate with evolutionary substitution costs

Patrick Doherty, Gareth Williams, 2004, BMC Bioinformatics.

Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework

Patrick Doherty, Fredrik Heintz, Piotr Rudol, 2007, KI.

Choosing Path Replanning Strategies for Unmanned Aircraft Systems

Patrick Doherty, Jonas Kvarnström, Mariusz Wzorek, 2010, ICAPS.

TAL: Temporal Action Logics Language Specification and Tutorial

Patrick Doherty, Lars Karlsson, Jonas Kvarnström, 1998, Electron. Trans. Artif. Intell..

Computing Circumscription Revisited: Preliminary Report

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 1995, IJCAI.

A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles

Patrick Doherty, Jonas Kvarnström, Mariusz Wzorek, 2016, PRIMA.

Local Search for Hop-Constrained Directed Steiner Tree Problem with Application to UAV-Based Multi-Target Surveillance

Patrick Doherty, Jonas Kvarnström, Oleg Burdakov, 2014, Examining Robustness and Vulnerability of Networked Systems.

Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles

Patrick Doherty, Jonas Kvarnström, Oleg Burdakov, 2017, Ann. Oper. Res..

TALplanner: A temporal logic based forward chaining planner

Patrick Doherty, Jonas Kvarnström, P. Doherty, 2001, Annals of Mathematics and Artificial Intelligence.

Temporal Action Logics

Patrick Doherty, Jonas Kvarnström, P. Doherty, 2008, Handbook of Knowledge Representation.

Real-Time Robotic Search using Structural Spatial Point Processes

Johan Dahlin, Patrick Doherty, Olov Andersson, 2019, UAI.

NM3 - A Three-Valued Cumulative Non-Monotonic Formalism

Patrick Doherty, 1990, JELIA.

Real-Time Robotic Search using Hierarchical Spatial Point Processes pdf

Johan Dahlin, Patrick Doherty, Olov Andersson, 2019, ArXiv.

Preliminary report : Reconfigurable path planning for an autonomous unmanned aerial vehicle

Patrick Doherty, Mariusz Wzorek, 2005 .

TALplanner: A Temporal Logic-Based Planner

Patrick Doherty, Jonas Kvarnström, P. Doherty, 2001, AI Mag..

Explaining Explanation Closure

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 1996, ISMIS.

Stream-Based Reasoning Support for Autonomous Systems

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2010, ECAI.

Collaborative 3D Reconstruction Using Heterogeneous UAVs: System and Experiments

Roland Siegwart, Patrick Doherty, Igor Gilitschenski, 2016, ISER.

Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006

John Mylopoulos, Patrick Doherty, Christopher A. Welty, 2006, KR.

Generating UAV communication networks for monitoring and surveillance

Patrick Doherty, Jonas Kvarnström, Oleg Burdakov, 2010, 2010 11th International Conference on Control Automation Robotics & Vision.

Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 2004, KR.

IJCAI '03 Workshop

Patrick Doherty, Ubbo Visser, 2004, Künstliche Intell..

Meta-Queries on Deductive Databases

Patrick Doherty, Andrzej Szalas, Jaroslaw Kachniarz, 1999, Fundam. Informaticae.

High-Level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems Using Delegation

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2013 .

Non-Monotonic Reasoning

Andrzej Skowron, Patrick Doherty, Andrzej Szałas, 2006 .

A Distributed Task Specification Language for Mixed-Initiative Delegation

Patrick Doherty, Fredrik Heintz, David Landén, 2010, PRIMA.

DyKnow: An approach to middleware for knowledge processing

Patrick Doherty, Fredrik Heintz, F. Heintz, 2004, J. Intell. Fuzzy Syst..

Knowledge representation and unmanned aerial vehicles

Patrick Doherty, 2005 .

Use of Artificial Neural Networks for Automatic Categorical Change Detection in Satellite Imagery

Patrick Doherty, Haroldo F. de Campos Velho, Elcio H. Shiguemori, 2016 .

Logical formalizations of commonsense reasoning : papers from the AAAI Spring Symposium

Patrick Doherty, Esra Erdem, Ernest Davis, 2011 .

Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge

Andrzej Skowron, Patrick Doherty, Andrzej Szalas, 2004, Rough-Neural Computing: Techniques for Computing with Words.

Deductive Planning with Inductive Loops

Patrick Doherty, Martin Magnusson, P. Doherty, 2008, KR.

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract)

Patrick Doherty, Andrzej Szalas, Jonas Kvarnström, 2016, JELIA.

A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning

Patrick Doherty, Andrzej Szalas, A. Szałas, 2007, Fundam. Informaticae.

DyKnow federations: Distributing and merging information among UAVs

Patrick Doherty, Fredrik Heintz, F. Heintz, 2008, 2008 11th International Conference on Information Fusion.

Probabilistic roadmap based path planning for an autonomous unmanned helicopter

Patrick Doherty, Per Olof Pettersson, P. Doherty, 2006, J. Intell. Fuzzy Syst..

TALplanner: an empirical investigation of a temporal logic-based forward chaining planner

Patrick Doherty, Jonas Kvarnström, P. Doherty, 1999, Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99.

Iterative Bounding LAO

Patrick Doherty, Jonas Kvarnström, Håkan Warnquist, 2010, ECAI.

The Observer Algorithm for Visibility Approximation

Patrick Doherty, Per-Magnus Olsson, 2008, SCAI.

Relay Positioning for Unmanned Aerial Vehicle Surveillance*

Patrick Doherty, Jonas Kvarnström, Oleg Burdakov, 2010, Int. J. Robotics Res..

CAKE: A Computer-Aided Knowledge Engineering Technique

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 2002, ECAI.

Bridging the mission-control gap: A flight command layer for mediating flight behaviours and continuous control

Patrick Doherty, Piotr Rudol, 2016, 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).

Model-predictive control with stochastic collision avoidance using Bayesian policy optimization

Patrick Doherty, Mariusz Wzorek, Olov Andersson, 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA).

Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle

Patrick Doherty, Mariusz Wzorek, P. Doherty, 2006, 2006 International Conference on Hybrid Information Technology.

Logical Agents for Language and Action

Patrick Doherty, Martin Magnusson, 2008, AIIDE.

Exploiting Fully Observable and Deterministic Structures in Goal POMDPs

Patrick Doherty, Jonas Kvarnström, Håkan Warnquist, 2013, ICAPS.

Vision-based pose estimation for autonomous indoor navigation of micro-scale Unmanned Aircraft Systems

Patrick Doherty, Mariusz Wzorek, Piotr Rudol, 2010, 2010 IEEE International Conference on Robotics and Automation.

Extending TALplanner with Concurrency and Resources

Patrik Haslum, Patrick Doherty, Jonas Kvarnström, 2000, ECAI.

Stream-Based Reasoning in DyKnow

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2010, Cognitive Robotics.

Research with Collaborative Unmanned Aircraft Systems

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2010, Cognitive Robotics.

Fuzzy if-then-Unless Rules and their Implementation

Patrick Doherty, Dimiter Driankov, Hans Hellendoorn, 1993, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

Towards a Framework for Approximate Ontologies

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 2003, Fundam. Informaticae.

06231 Executive Summary - Towards Affordance-based Robot Control

Patrick Doherty, Joachim Hertzberg, Georg Dorffner, 2006, Towards Affordance-Based Robot Control.

Area coverage with heterogeneous UAVs using scan patterns

Patrick Doherty, Alexander Eriksson, Jonas Kvarnström, 2016, 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).

Partiality, Modality and Nonmonotonicity

Patrick Doherty, 1996 .

Bridging the Sense-Reasoning Gap : DyKnow - A Middleware Component for Knowledge Processing

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2008 .

Cicumscribing Features and Fluents

Patrick Doherty, Witold Lukaszewicz, 1994, ICTL.

A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization

Patrick Doherty, Piotr Rudol, P. Doherty, 2007, Australian Conference on Artificial Intelligence.

Stream-Based Middleware Support for Embedded Reasoning

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2010, AAAI Spring Symposium: Embedded Reasoning.

Incremental Dynamic Controllability in Cubic Worst-Case Time

Patrick Doherty, Jonas Kvarnström, Mikael Nilsson, 2014, 2014 21st International Symposium on Temporal Representation and Reasoning.

Knowledge Representation Techniques - A Rough Set Approach

Andrzej Skowron, Patrick Doherty, Andrzej Szalas, 2006, Studies in Fuzziness and Soft Computing.

Partiality, para-consistency and preference modeling : Preliminary version.

Patrick Doherty, Alexis Tsoukiàs, Dimiter Driankov, 1992 .

Towards Automatic Model Generation by Optimization

Patrick Doherty, Per Nyblom, P. Doherty, 2008, SCAI.

Declarative ptime queries to relational databases.

Patrick Doherty, Andrzej Szałas, Witold Lukaszewicz, 1996 .

A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation

Patrik Haslum, Patrick Doherty, Fredrik Heintz, 2004, DARS.

The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments

Roland Siegwart, Lorenzo Marconi, Vincenzo Lippiello, 2012, 2012 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).

Positioning unmanned aerial vehicles as communication relays for surveillance tasks

Patrick Doherty, Jonas Kvarnström, Oleg Burdakov, 2009, Robotics: Science and Systems.

A Modeling Framework for Troubleshooting Automotive Systems

Patrick Doherty, Jonas Kvarnström, Håkan Warnquist, 2016, Appl. Artif. Intell..

Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis

Patrick Doherty, Jonas Kvarnström, Mikael Nilsson, 2014, ICAART.

Deductive planning with temporal constraints using TAL

Patrick Doherty, Martin Magnusson, 2006, PCAR '06.

On the Correspondence between Approximations and Similarity

Patrick Doherty, Andrzej Szalas, A. Szałas, 2004, Rough Sets and Current Trends in Computing.

Delayed Effects of Actions

Patrick Doherty, Lars Karlsson, Joakim Gustafsson, 1998, European Conference on Artificial Intelligence.

Defaults as first-class citizens

Patrick Doherty, Witold Lukaszewicz, P. Doherty, 1992, [1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic.

A Temporal Logic-Based Planning and Execution Monitoring System

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2008, ICAPS.

Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases

Patrick Doherty, Andrzej Szalas, Jaroslaw Kachniarz, 2004, Rough-Neural Computing: Techniques for Computing with Words.

Unmanned aerial vehicle research: challenges and prospects

Patrick Doherty, 2006, PCAR '06.

Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription

Patrick Doherty, Andrzej Szalas, A. Szałas, 2008, KR.

A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment

Patrick Doherty, 1989, SCAI.

Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle

Patrick Doherty, Per Olof Pettersson, 2004 .

Reasoning about Action and Change Using Occlusion

Patrick Doherty, P. Doherty, 1994, ECAI.

Stream-Based Hierarchical Anchoring

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2013, KI - Künstliche Intelligenz.

A delegation-based cooperative robotic framework

Patrick Doherty, Fredrik Heintz, 2011, 2011 IEEE International Conference on Robotics and Biomimetics.

Information Granules for Intelligent Knowledge Structures

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 2003, RSFDGrC.

Knowledge Representation and Unmanned Aerial Vehicles

Patrick Doherty, P. Doherty, 2005, Web Intelligence.

A Distributed Architecture for Intelligent Unmanned Aerial Vehicle Experimentation

Patrik Haslum, Patrick Doherty, Fredrik Heintz, 2004 .

Communication between agents with heterogeneous perceptual capabilities

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 2007, Inf. Fusion.

An Entailment Procedure for Kleene Answer Set Programs

Patrick Doherty, Andrzej Szalas, A. Szałas, 2016, MIWAI.

A Reduction Result for Circumscribed Semi-Horn Formulas

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 1996, Fundam. Informaticae.

Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System

Patrick Doherty, Martin Magnusson, David Landén, 2008, ECAI.

Nonmonotonicity, fuzziness, and multi-values.

Patrick Doherty, Dimiter Driankov, 1993 .

From images to traffic behavior - A UAV tracking and monitoring application

Patrick Doherty, Fredrik Heintz, Piotr Rudol, 2007, 2007 10th International Conference on Information Fusion.

Abductive Reasoning with Filtered Circumscription

Patrick Doherty, Jonas Kvarnström, Martin Magnusson, 2009 .

Use of Geo-referenced Images with Unmanned Aerial Systems

Patrick Doherty, G. Conte, 2008 .

A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems

Michael Felsberg, Fahad Shahbaz Khan, Patrick Doherty, 2014, ECCV Workshops.

Declarative PTIME Queries for Relational Databases using Quantifier Elimination

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 1999, J. Log. Comput..

A non-monotonic fuzzy logic.

Patrick Doherty, Dimiter Driankov, 1991 .

GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle

Patrick Doherty, Mariusz Wzorek, David Landén, 2006 .

Probabilistic Approaches to Overcome Content Heterogeneity in Data Integration: A Study Case in Systematic Lupus Erythematosus

Patrick Doherty, Nophar Geifman, Niels Peek, 2020, MIE.

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

Patrick Doherty, Ubbo Visser, 2004, AI Mag..

Distinguishing between facts and default assumptions.

Patrick Doherty, Witold Lukaszewicz, 1992 .

General Domain Circumscription and its Effective Reductions

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 1998, Fundam. Informaticae.

Advanced Research with Autonomous Unmanned Aerial Vehicles

Patrick Doherty, 2004, KR.

Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization

Patrick Doherty, Fredrik Heintz, Olov Andersson, 2015, AAAI.

A Delegation-Based Collaborative Robotic Framework

Patrick Doherty, Fredrik Heintz, David Landén, 2011, CARE 2011.

Deep Learning Quadcopter Control via Risk-Aware Active Learning

Patrick Doherty, Mariusz Wzorek, Olov Andersson, 2017, AAAI.

Embracing Occlusion in Specifying the Indirect Effects of Actions

Patrick Doherty, Joakim Gustafsson, P. Doherty, 1996, KR.

Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 2001, IJCAI.

Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination

Patrick Doherty, Andrzej Szalas, A. Szałas, 2013, Fundam. Informaticae.

Combining Rough and Crisp Knowledge

Andrzej Skowron, Patrick Doherty, Andrzej Szałas, 2006 .

Managing Dynamic Object Structures using Hypothesis Generation and Validation

Patrick Doherty, Fredrik Heintz, 2004 .

Temporal Action Logic for Question Answering in an Adventure Game

Patrick Doherty, Martin Magnusson, 2008, AGI.

Tackling the Qualification Problem using Fluent Dependency Constraints

Patrick Doherty, Jonas Kvarnström, P. Doherty, 2000, Comput. Intell..

Approximate databases: a support tool for approximate reasoning

Patrick Doherty, Andrzej Szalas, Martin Magnusson, 2006, J. Appl. Non Class. Logics.

WITAS : An Intelligent Autonomous Aircraft Using Active Vision

Patrick Doherty, Erik Sandewall, Johan Wiklund, 2000 .

Preferential Action Semantics (Preliminary Report)

Patrick Doherty, John-Jules Ch. Meyer, 1997, ModelAge Workshop.

Vision for a UAV helicopter

Patrick Doherty, Johan Wiklund, Gösta H. Granlund, 2002 .

2003 AAAI Spring Symposium Series

Andreas Abecker, Mark T. Maybury, Michael Freed, 2003, AI Mag..

Planning Speech Acts in a Logic of Action and Change

Patrick Doherty, Martin Magnusson, P. Doherty, 2009 .

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz, 2005, RSFDGrC.

Towards a Logical Analysis of Biochemical Pathways

Patrick Doherty, Andrzej Szalas, Steve Kertes, 2004, JELIA.

Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm

Patrick Doherty, Jonas Kvarnström, Mikael Nilsson, 2014, ICAART.

Stream Reasoning in DyKnow: A Knowledge Processing Middleware System

Patrick Doherty, Fredrik Heintz, Jonas Kvarnström, 2009 .

Polygon Area Decomposition Using a Compactness Metric pdf

Patrick Doherty, Mariusz Wzorek, Cyrille Berger, 2021, ArXiv.

Hastily formed knowledge networks and distributed situation awareness for collaborative robotics pdf

Patrick Doherty, Mariusz Wzorek, Piotr Rudol, 2021, Autonomous Intelligent Systems.

A comparison between two approaches to ramification : PMON(R) and AR0.

Patrick Doherty, Pavlos Peppas, 1995 .

A Comparison between Two Approaches to Ramiication: Pmon(r) and Ar 0

Patrick Doherty, Pavlos Peppas, 1995 .

Knowledge Representation Techniques (Studies in Fuzziness and Soft Computing)

Andrzej Skowron, Patrick Doherty, Andrzej Szałas, 2006 .

NM3 - A three-valued non-monotonic formalism. Preliminary report

Patrick Doherty, 1990 .

A constraint-based approach to proof procedures for multi-valued logics

Patrick Doherty, 1992 .

Optimal placement of communications relay nodes

Patrick Doherty, Oleg Burdakov, Kaj Holmberg, 2009 .

Delayed effects of actions = direct effects + causal rules

Patrick Doherty, Joakim Gustafsson, 1998 .

A Collaborative Framework for 3 D Mapping Using Unmanned Aerial Vehicles

Patrick Doherty, Jonas Kvarnström, Timo Hinzmann, 2016 .

General Domain Circumscription and Its First-order Reduction General Domain Circumscription and Its First-order Reduction

Patrick Doherty, Witold Lukaszewicz, Andrzej Szaa, 1996 .

Towards Affordance-based Robot Control Dagstuhl Seminar 06231 June 5 – 9 , 2006

Patrick Doherty, Joachim Hertzberg, Georg Dorffner, 2006 .