Patrick Doherty

166 papers A* 21A 14B 7C 15Misc 4Journal 48Unranked 51

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	A Summary of the RGS AAMAS Cyrille Berger, Patrick Doherty, Piotr Rudol, Mariusz Wzorek
2024	—	`conf`	An Autonomous Search System for Maritime Applications. MIWAI (2) Mariusz Wzorek, Cyrille Berger, Piotr Rudol, Patrick Doherty, Alexandre Reeberg de Mello, Murilo M. Ozol, Bo Granbom
2024	J	`jnl`	Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions. Artif. Intell. Patrick Doherty, Andrzej Szalas
2024	—	`conf`	Fusing Object Detections to Obtain Geolocated Salient Points Using Aerial Images. MIWAI (2) Piotr Rudol, Mariusz Wzorek, Patrick Doherty
2024	J	`jnl`	Techniques for Measuring the Inferential Strength of Forgetting Policies. CoRR Patrick Doherty, Andrzej Szalas
2024	J	`jnl`	UAV-Based Human Body Detector Selection and Fusion for Geolocated Saliency Map Generation. CoRR Piotr Rudol, Patrick Doherty, Mariusz Wzorek, Chattrakul Sombattheera
2023	—	`conf`	Collaborative Qualitative Environment Mapping. AI (2) Adeline Secolo, Paulo E. Santos, Patrick Doherty, Zoran Sjanic
2023	J	`jnl`	Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions. CoRR Patrick Doherty, Andrzej Szalas
2023	J	`jnl`	RGS Auton. Agents Multi Agent Syst. Cyrille Berger, Patrick Doherty, Piotr Rudol, Mariusz Wzorek
2022	J	`jnl`	A landscape and implementation framework for probabilistic rough sets using ProbLog. Inf. Sci. Patrick Doherty, Andrzej Szalas
2021	J	`jnl`	Hastily Formed Knowledge Networks and Distributed Situation Awareness for Collaborative Robotics. CoRR Cyrille Berger, Patrick Doherty, Piotr Rudol, Mariusz Wzorek
2021	J	`jnl`	Hastily formed knowledge networks and distributed situation awareness for collaborative robotics. Auton. Intell. Syst. Patrick Doherty, Cyrille Berger, Piotr Rudol, Mariusz Wzorek
2021	J	`jnl`	Polygon Area Decomposition Using a Compactness Metric. CoRR Mariusz Wzorek, Cyrille Berger, Patrick Doherty
2021	J	`jnl`	Rough set reasoning using answer set programs. Int. J. Approx. Reason. Patrick Doherty, Andrzej Szalas
2021	J	`jnl`	Router and gateway node placement in wireless mesh networks for emergency rescue scenarios. Auton. Intell. Syst. Mariusz Wzorek, Cyrille Berger, Patrick Doherty
2021	J	`jnl`	WARA-PS: a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation. Auton. Intell. Syst. Olov Andersson, Patrick Doherty, Mårten Lager, Jens-Olof Lindh, Linnea Persson, Elin Anna Topp, Jesper Tordenlid, Bo Wahlberg
2020	—	`conf`	Rough Forgetting. IJCRS Patrick Doherty, Andrzej Szalas
2019	B	`conf`	Deep RL for autonomous robots: limitations and safety challenges. ESANN Olov Andersson, Patrick Doherty
2019	—	`conf`	Evaluation of Human Body Detection Using Deep Neural Networks with Highly Compressed Videos for UAV Search and Rescue Missions. PRICAI (3) Piotr Rudol, Patrick Doherty
2019	J	`jnl`	Real-Time Robotic Search using Hierarchical Spatial Point Processes. CoRR Olov Andersson, Per Sidén, Johan Dahlin, Patrick Doherty, Mattias Villani
2019	A	`conf`	Real-Time Robotic Search using Structural Spatial Point Processes. UAI Olov Andersson, Per Sidén, Johan Dahlin, Patrick Doherty, Mattias Villani
2019	—	`conf`	Router Node Placement in Wireless Mesh Networks for Emergency Rescue Scenarios. PRICAI (2) Mariusz Wzorek, Cyrille Berger, Patrick Doherty
2018	—	`conf`	Keynote speeches: Intelligent collaborative systems and their application to emergency rescue scenario. ICNSC Patrick Doherty
2018	A*	`conf`	Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters. ICAPS Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
2017	C	`conf`	A Framework for Safe Navigation of Unmanned Aerial Vehicles in Unknown Environments. ICSEng Mariusz Wzorek, Cyrille Berger, Patrick Doherty
2017	C	`conf`	Bridging Reactive and Control Architectural Layers for Cooperative Missions Using VTOL Platforms. ICSEng Piotr Rudol, Patrick Doherty
2017	A*	`conf`	Deep Learning Quadcopter Control via Risk-Aware Active Learning. AAAI Olov Andersson, Mariusz Wzorek, Patrick Doherty
2017	J	`jnl`	Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles. Ann. Oper. Res. Oleg Burdakov, Jonas Kvarnström, Patrick Doherty
2016	B	`conf`	A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles. PRIMA Patrick Doherty, Jonas Kvarnström, Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte, Cyrille Berger, Timo Hinzmann, Thomas Stastny
2016	J	`jnl`	A Modeling Framework for Troubleshooting Automotive Systems. Appl. Artif. Intell. Håkan Warnquist, Jonas Kvarnström, Patrick Doherty
2016	—	`conf`	An Entailment Procedure for Kleene Answer Set Programs. MIWAI Patrick Doherty, Andrzej Szalas
2016	C	`conf`	An image matching system for autonomous UAV navigation based on neural network. ICARCV José R. G. Braga, Haroldo F. de Campos Velho, Gianpaolo Conte, Patrick Doherty, Elcio H. Shiguemori
2016	—	`conf`	Area coverage with heterogeneous UAVs using scan patterns. SSRR Cyrille Berger, Mariusz Wzorek, Jonas Kvarnström, Gianpaolo Conte, Patrick Doherty, Alexander Eriksson
2016	—	`conf`	Bridging the mission-control gap: A flight command layer for mediating flight behaviours and continuous control. SSRR Piotr Rudol, Patrick Doherty
2016	—	`conf`	Collaborative 3D Reconstruction Using Heterogeneous UAVs: System and Experiments. ISER Timo Hinzmann, Thomas Stastny, Gianpaolo Conte, Patrick Doherty, Piotr Rudol, Mariusz Wzorek, Enric Galceran, Roland Siegwart, Igor Gilitschenski
2016	—	`conf`	Combining Visual Tracking and Person Detection for Long Term Tracking on a UAV. ISVC (1) Gustav Häger, Goutam Bhat, Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Piotr Rudol, Patrick Doherty
2016	J	`jnl`	Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. Acta Informatica Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
2016	B	`conf`	Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). JELIA Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
2016	A*	`conf`	Model-predictive control with stochastic collision avoidance using Bayesian policy optimization. ICRA Olov Andersson, Mariusz Wzorek, Piotr Rudol, Patrick Doherty
2015	A*	`conf`	Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization. AAAI Olov Andersson, Fredrik Heintz, Patrick Doherty
2015	—	`conf`	Stability, Supportedness, Minimality and Kleene Answer Set Programs. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Patrick Doherty, Andrzej Szalas
2014	—	`conf`	A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems. ECCV Workshops (1) Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Karl Granström, Fredrik Heintz, Piotr Rudol, Mariusz Wzorek, Jonas Kvarnström, Patrick Doherty
2014	—	`conf`	Classical Dynamic Controllability Revisited - A Tighter Bound on the Classical Algorithm. ICAART (1) Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
2014	A*	`conf`	EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm. ICAPS Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
2014	—	`conf`	Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. DARe@ECAI Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer
2014	C	`conf`	Incremental Dynamic Controllability in Cubic Worst-Case Time. TIME Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
2014	—	`ch.`	Local Search for Hop-Constrained Directed Steiner Tree Problem with Application to UAV-Based Multi-Target Surveillance. Examining Robustness and Vulnerability of Networked Systems Oleg Burdakov, Patrick Doherty, Jonas Kvarnström
2014	—	`conf`	Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis. ICAART (Revised Selected Papers) Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
2013	J	`jnl`	Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination. Fundam. Informaticae Patrick Doherty, Andrzej Szalas
2013	A*	`conf`	Exploiting Fully Observable and Deterministic Structures in Goal POMDPs. ICAPS Håkan Warnquist, Jonas Kvarnström, Patrick Doherty
2013	A*	`conf`	Incremental Dynamic Controllability Revisited. ICAPS Mikael Nilsson, Jonas Kvarnström, Patrick Doherty
2013	—	`conf`	Robotics, Temporal Logic and Stream Reasoning. LPAR (short papers) Patrick Doherty, Fredrik Heintz, Jonas Kvarnström
2013	J	`jnl`	Stream-Based Hierarchical Anchoring. Künstliche Intell. Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
2012	A	`ed.`	ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 ECAI Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas
2012	A*	`conf`	Temporal Composite Actions with Constraints. KR Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
2012	—	`conf`	The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments. SSRR Lorenzo Marconi, Claudio Melchiorri, Michael Beetz, Dejan Pangercic, Roland Siegwart, Stefan Leutenegger, Raffaella Carloni, Stefano Stramigioli, Herman Bruyninckx, Patrick Doherty, A. Kleiner, Vincenzo Lippiello, Alberto Finzi, Bruno Siciliano, Andrea Sala, Nicola Tomatis
2011	—	`conf`	A delegation-based cooperative robotic framework. ROBIO Patrick Doherty, Fredrik Heintz
2011	—	`conf`	Contextual Coalitional Games. ICLA Patrick Doherty, Tomasz P. Michalak, Jacek Sroka, Andrzej Szalas
2011	—	`conf`	Organizing Committee. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Ernest Davis, Patrick Doherty, Esra Erdem
2011	J	`jnl`	Reports of the AAAI 2011 Spring Symposia. AI Mag. Mark Buller, Paul Cuddihy, Ernest Davis, Patrick Doherty, Finale Doshi-Velez, Esra Erdem, Douglas H. Fisher, Nancy L. Green, Knut Hinkelmann, Mary Lou Maher, James McLurkin, Rajiv T. Maheswaran, Sara Rubinelli, Nathan Schurr, Donia Scott, Dylan A. Shell, Pedro A. Szekely, Barbara Thönssen, Arnold B. Urken
2011	A	`conf`	Tractable model checking for fragments of higher-order coalition logic. AAMAS Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas
2010	—	`conf`	A Delegation-Based Architecture for Collaborative Robotics. AOSE Patrick Doherty, Fredrik Heintz, David Landén
2010	B	`conf`	A Distributed Task Specification Language for Mixed-Initiative Delegation. PRIMA Patrick Doherty, Fredrik Heintz, David Landén
2010	C	`conf`	Automated planning for collaborative UAV systems. ICARCV Jonas Kvarnström, Patrick Doherty
2010	J	`jnl`	Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. Adv. Eng. Informatics Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
2010	A*	`conf`	Choosing Path Replanning Strategies for Unmanned Aircraft Systems. ICAPS Mariusz Wzorek, Jonas Kvarnström, Patrick Doherty
2010	B	`conf`	Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study. PRIMA David Landén, Fredrik Heintz, Patrick Doherty
2010	C	`conf`	Federated DyKnow, a distributed information fusion system for collaborative UAVs. ICARCV Fredrik Heintz, Patrick Doherty
2010	C	`conf`	Generating UAV communication networks for monitoring and surveillance. ICARCV Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov, Kaj Holmberg
2010	A	`conf`	Iterative Bounding LAO. ECAI Håkan Warnquist, Jonas Kvarnström, Patrick Doherty
2010	—	`conf`	On the Correctness of Rough-Set Based Approximate Reasoning. RSCTC Patrick Doherty, Andrzej Szalas
2010	J	`jnl`	Optimal placement of UV-based communications relay nodes. J. Glob. Optim. Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Per-Magnus Olsson
2010	J	`jnl`	Relay Positioning for Unmanned Aerial Vehicle Surveillance. Int. J. Robotics Res. Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström, Per-Magnus Olsson
2010	—	`conf`	Research with Collaborative Unmanned Aircraft Systems. Cognitive Robotics Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén, Per-Magnus Olsson
2010	—	`conf`	Stream-Based Middleware Support for Embedded Reasoning. AAAI Spring Symposium: Embedded Reasoning Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
2010	A	`conf`	Stream-Based Reasoning Support for Autonomous Systems. ECAI Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
2010	—	`conf`	Stream-Based Reasoning in DyKnow. Cognitive Robotics Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
2010	A*	`conf`	Vision-based pose estimation for autonomous indoor navigation of micro-scale Unmanned Aircraft Systems. ICRA Piotr Rudol, Mariusz Wzorek, Patrick Doherty
2009	A	`conf`	A stream-based hierarchical anchoring framework. IROS Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
2009	J	`jnl`	A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Auton. Agents Multi Agent Syst. Patrick Doherty, Jonas Kvarnström, Fredrik Heintz
2009	—	`conf`	Positioning unmanned aerial vehicles as communication relays for surveillance tasks. Robotics: Science and Systems Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström, Per-Magnus Olsson
2009	J	`jnl`	Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information. EURASIP J. Adv. Signal Process. Gianpaolo Conte, Patrick Doherty
2008	A*	`conf`	A Temporal Logic-Based Planning and Execution Monitoring System. ICAPS Jonas Kvarnström, Fredrik Heintz, Patrick Doherty
2008	A*	`conf`	Deductive Planning with Inductive Loops. KR Martin Magnusson, Patrick Doherty
2008	C	`conf`	DyKnow federations: Distributing and merging information among UAVs. FUSION Fredrik Heintz, Patrick Doherty
2008	—	`conf`	Knowledge Processing Middleware. SIMPAR Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
2008	—	`conf`	Logical Agents for Language and Action. AIIDE Martin Magnusson, Patrick Doherty
2008	A	`conf`	Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. ECAI Martin Magnusson, David Landén, Patrick Doherty
2008	A*	`conf`	Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. KR Patrick Doherty, Andrzej Szalas
2008	—	`conf`	Temporal Action Logic for Question Answering in an Adventure Game. AGI Martin Magnusson, Patrick Doherty
2008	—	`ch.`	Temporal Action Logics. Handbook of Knowledge Representation Patrick Doherty, Jonas Kvarnström
2008	—	`conf`	The Observer Algorithm for Visibility Approximation. SCAI Per-Magnus Olsson, Patrick Doherty
2008	—	`conf`	Towards Automatic Model Generation by Optimization. SCAI Per Nyblom, Patrick Doherty
2007	J	`jnl`	A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning. Fundam. Informaticae Patrick Doherty, Andrzej Szalas
2007	—	`conf`	A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization. Australian Conference on Artificial Intelligence Patrick Doherty, Piotr Rudol
2007	Misc	`conf`	Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework. KI Fredrik Heintz, Piotr Rudol, Patrick Doherty
2007	J	`jnl`	Communication between agents with heterogeneous perceptual capabilities. Inf. Fusion Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2007	—	`conf`	Deductive Planning with Temporal Constraints. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Martin Magnusson, Patrick Doherty
2007	—	`conf`	Dynamics of Approximate Information Fusion. RSEISP Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas
2007	C	`conf`	From images to traffic behavior - A UAV tracking and monitoring application. FUSION Fredrik Heintz, Piotr Rudol, Patrick Doherty
2007	—	`conf`	Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA Patrick Doherty, John-Jules Ch. Meyer
2006	—	`conf`	06231 Abstracts Collection - Towards Affordance-Based Robot Control. Towards Affordance-Based Robot Control Erich Rome, Patrick Doherty, Georg Dorffner, Joachim Hertzberg
2006	—	`conf`	06231 Executive Summary - Towards Affordance-based Robot Control. Towards Affordance-Based Robot Control Erich Rome, Joachim Hertzberg, Georg Dorffner, Patrick Doherty
2006	J	`jnl`	A Flexible Runtime System for Image Processing in a Distributed Computational Environment for an Unmanned Aerial Vehicle. Int. J. Pattern Recognit. Artif. Intell. Klas Nordberg, Patrick Doherty, Per-Erik Forssén, Johan Wiklund, Per Andersson
2006	J	`jnl`	A knowledge processing middleware framework and its relation to the JDL data fusion model. J. Intell. Fuzzy Syst. Fredrik Heintz, Patrick Doherty
2006	J	`jnl`	Approximate databases: a support tool for approximate reasoning. J. Appl. Non Class. Logics Patrick Doherty, Martin Magnusson, Andrzej Szalas
2006	—	`conf`	Artificial Intelligence and Unmanned Aerial Vehicles. STAIRS Patrick Doherty
2006	—	`book`	Knowledge Representation Techniques - A Rough Set Approach Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron, Andrzej Szalas
2006	J	`jnl`	Probabilistic roadmap based path planning for an autonomous unmanned helicopter. J. Intell. Fuzzy Syst. Per Olof Pettersson, Patrick Doherty
2006	A*	`ed.`	Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 KR Patrick Doherty, John Mylopoulos, Christopher A. Welty
2006	A*	`conf`	Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. ICAPS Mariusz Wzorek, Patrick Doherty
2006	—	`ed.`	Towards Affordance-Based Robot Control, 05.06. - 09.06.2006 Towards Affordance-Based Robot Control Erich Rome, Patrick Doherty, Georg Dorffner, Joachim Hertzberg
2005	—	`conf`	Knowledge Representation and Unmanned Aerial Vehicles. Web Intelligence Patrick Doherty
2005	—	`conf`	Similarity, Approximations and Vagueness. RSFDGrC (1) Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2004	—	`conf`	A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation. DARS Patrick Doherty, Patrik Haslum, Fredrik Heintz, T. Merz, Per Nyblom, T. Persson, B. Wingman
2004	A*	`conf`	Advanced Research with Autonomous Unmanned Aerial Vehicles. KR Patrick Doherty
2004	—	`ch.`	Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge. Rough-Neural Computing: Techniques for Computing with Words Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron, Andrzej Szalas
2004	A*	`conf`	Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. KR Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz
2004	—	`conf`	DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. MSRAS Fredrik Heintz, Patrick Doherty
2004	J	`jnl`	DyKnow: An approach to middleware for knowledge processing. J. Intell. Fuzzy Syst. Fredrik Heintz, Patrick Doherty
2004	J	`jnl`	IJCAI '03 Workshop. Künstliche Intell. Ubbo Visser, Patrick Doherty
2004	J	`jnl`	Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating. AI Mag. Ubbo Visser, Patrick Doherty
2004	—	`conf`	On the Correspondence between Approximations and Similarity. Rough Sets and Current Trends in Computing Patrick Doherty, Andrzej Szalas
2004	B	`conf`	Towards a Logical Analysis of Biochemical Pathways. JELIA Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
2004	A	`conf`	Towards a Logical Analysis of Biochemical Reactions. ECAI Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
2004	—	`ch.`	Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases. Rough-Neural Computing: Techniques for Computing with Words Patrick Doherty, Jaroslaw Kachniarz, Andrzej Szalas
2003	J	`jnl`	2003 AAAI Spring Symposium Series. AI Mag. Andreas Abecker, Erik K. Antonsson, Charles B. Callaway, Virginia Dignum, Patrick Doherty, Ludger van Elst, Michael Freed, Reva Freedman, Hans W. Guesgen, Gareth J. F. Jones, John R. Koza, David Kortenkamp, Mark T. Maybury, John McCarthy, Debasis Mitra, Jochen Renz, Debra Schreckenghost, Mary-Anne Williams
2003	—	`conf`	Information Granules for Intelligent Knowledge Structures. RSFDGrC Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2003	J	`jnl`	Preface. Fundam. Informaticae Patrick Doherty, Andrzej Skowron, Witold Lukaszewicz, Andrzej Szalas
2003	Misc	`conf`	Tolerance Spaces and Approximative Representational Structures. KI Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2003	J	`jnl`	Towards a Framework for Approximate Ontologies. Fundam. Informaticae Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas
2003	Misc	`conf`	Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract. KI Erik Sandewall, Patrick Doherty, Oliver Lemon, Stanley Peters
2002	A	`conf`	CAKE: A Computer-Aided Knowledge Engineering Technique. ECAI Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2002	C	`conf`	Integrating a Computational Model and a Run Time System for Image Processing on a UAV. DSD Per Andersson, Krzysztof Kuchcinski, Klas Nordberg, Patrick Doherty
2001	A*	`conf`	Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. IJCAI Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2001	J	`jnl`	TALplanner: A Temporal Logic-Based Planner. AI Mag. Patrick Doherty, Jonas Kvarnström
2000	Misc	`conf`	Efficient Reasoning Using the Local Closed-World Assumption. AIMSA Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
2000	A	`conf`	Extending TALplanner with Concurrency and Resources. ECAI Jonas Kvarnström, Patrick Doherty, Patrik Haslum
2000	J	`jnl`	TALplanner: A temporal logic based forward chaining planner. Ann. Math. Artif. Intell. Jonas Kvarnström, Patrick Doherty
2000	J	`jnl`	Tackling the Qualification Problem Using Fluent Dependency Constraints. Comput. Intell. Jonas Kvarnström, Patrick Doherty
2000	J	`jnl`	The PMA and Relativizing Minimal Change for Action Update. Fundam. Informaticae Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1999	C	`conf`	Computing MPMA Updates Using Dijkstra's Semantics. ISMIS Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1999	J	`jnl`	Declarative PTIME Queries for Relational Databases using Quantifier Elimination. J. Log. Comput. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1999	J	`jnl`	Meta-Queries on Deductive Databases. Fundam. Informaticae Patrick Doherty, Jaroslaw Kachniarz, Andrzej Szalas
1999	C	`conf`	TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. TIME Patrick Doherty, Jonas Kvarnström
1998	A	`conf`	Delayed Effects of Actions. ECAI Lars Karlsson, Joakim Gustafsson, Patrick Doherty
1998	J	`jnl`	General Domain Circumscription and its Effective Reductions. Fundam. Informaticae Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1998	J	`jnl`	TAL: Temporal Action Logics Language Specification and Tutorial. Electron. Trans. Artif. Intell. Patrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström
1998	C	`conf`	Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. TIME Patrick Doherty, Jonas Kvarnström
1998	A*	`conf`	The PMA and Relativizing Minimal Change for Action Update. KR Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
1997	J	`jnl`	Computing Circumscription Revisited: A Reduction Algorithm. J. Autom. Reason. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1997	—	`conf`	Preferential Action Semantics (Preliminary Report). ModelAge Workshop John-Jules Ch. Meyer, Patrick Doherty
1996	J	`jnl`	A Reduction Result for Circumscribed Semi-Horn Formulas. Fundam. Informaticae Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1996	A*	`conf`	Embracing Occlusion in Specifying the Indirect Effects of Actions. KR Joakim Gustafsson, Patrick Doherty
1996	C	`conf`	Explaining Explanation Closure. ISMIS Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1996	—	`conf`	General Domain Circumscription in its First-Order Reduction. FAPR Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1995	A*	`conf`	Computing Circumscription Revisited: Preliminary Report. IJCAI Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
1994	—	`conf`	Cicumscribing Features and Fluents. ICTL Patrick Doherty, Witold Lukaszewicz
1994	C	`conf`	Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. ISMIS Patrick Doherty, Witold Lukaszewicz
1994	A	`conf`	Reasoning about Action and Change Using Occlusion. ECAI Patrick Doherty
1993	J	`jnl`	Fuzzy if-then-Unless Rules and their Implementation. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Patrick Doherty, Dimiter Driankov, Hans Hellendoorn
1992	—	`conf`	Defaults as First-Class Citizens. ISMVL Patrick Doherty, Witold Lukaszewicz
1992	A	`conf`	FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. ECAI Patrick Doherty, Witold Lukaszewicz
1992	J	`jnl`	NML3. A Non-Monotonic Logic with Explicit Defaults. J. Appl. Non Class. Logics Patrick Doherty, Witold Lukaszewicz
1990	B	`conf`	NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. JELIA Patrick Doherty
1989	—	`conf`	A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment. SCAI Patrick Doherty