AIICS

Patrick Doherty

All Publications

Show abstracts (where available) BibTeX entries
2012
[178]		Patrick Doherty, Fredrik Heintz and David Landén. 2012. A Distributed Task Specification Language for Mixed-Initiative Delegation. Lecture Notes in Computer Science, 7057(??):42–57. Springer-verlag.
[177]		David Landén, Fredrik Heintz and Patrick Doherty. 2012. Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study. Lecture Notes in Computer Science, 7057(??):288–303. Springer-verlag.
[176]		L. Marconi, C. Melchiorri, M. Beetz, D. Pangercic, R. Siegwart, S. Leutenegger, R. Carloni, S. Stramigioli, H. Bruyninckx, Patrick Doherty, Alexander Kleiner, V. Lippiello, A. Finzi, B. Siciliano, A. Sala and N. Tomatis. 2012. The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments. In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR). Note: Accepted for publication
[175]		Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz and Peter Lucas. 2012. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI). Conference Proceedings. In series: Frontiers in Artificial Intelligence and Applications #242. IOS Press. 1056 pages. ISBN: 978-1-61499-097-0.
[174]		Patrick Doherty and Fredrik Heintz. 2012. Delegation-Based Collaboration. In Proceedings of the 5th International Conference on Cognitive Systems (CogSys).
[173]		Patrick Doherty, Jonas Kvarnström and Andrzej Szalas. 2012. Temporal Composite Actions with Constraints. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 478–488.
2011
[172]		Gianpaolo Conte and Patrick Doherty. 2011. A Visual Navigation System for UAS Based on Geo-referenced Imagery. In International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol. XXXVIII-1/C22Proceedings of the International Conference on Unmanned Aerial Vehicle in Geomatics, Zurich, Switzerland, September 14-16, 2011.
[171]		Patrick Doherty, Fredrik Heintz and David Landén. 2011. A Delegation-Based Collaborative Robotic Framework. In Christian Guttmann, editor, Proceedings of the 3rd International Workshop on Collaborative Agents - Research and development.
[170]		Patrick Doherty, Fredrik Heintz and David Landén. 2011. A Delegation-Based Architecture for Collaborative Robotics. In Danny Weyns and Marie-Pierre Gleizes, editors, Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers, pages 205–247. In series: Lecture Notes in Computer Science #6788. Springer Berlin/Heidelberg. ISBN: 978-3-642-22635-9. DOI: 10.1007/978-3-642-22636-6_13.
[169]		Patrick Doherty and Fredrik Heintz. 2011. A Delegation-Based Cooperative Robotic Framework. In Proceedings of the IEEE International Conference on Robotics and Biomimetic. IEEE conference proceedings.
[168]		Patrick Doherty, Barbara Dunin-Keplicz and Andrzej Szalas. 2011. Tractable model checking for fragments of higher-order coalition logic. In Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, editors, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, pages 743–750. AAAI Press. ISBN: 978-0-9826571-6-4.
[167]		Patrick Doherty, Tomasz Michalak, Jacek Sroka and Andrzej Szalas. 2011. Contextual Coalitional Games. In Mohua Banerjee, Anil Seth, editors, Proceedings of the 4th Indian Conference on Logic and its Applications (ICLA), pages 65–78. In series: Lecture Notes in Artificial Intelligence #6521. Springer Berlin/Heidelberg. DOI: 10.1007/978-3-642-18026-2_7.
[166]		Mark Buller, Paul Cuddihy, Ernest Davis, Patrick Doherty, Finale Doshi-Velez, Esra Erdem, Douglas Fisher, Nancy Green, Knut Hinkelmann, James McLurkin, Mary Lou Maher, Rajiv Maheswaran, Sara Rubinelli, Nathan Schurr, Donia Scott, Dylan Shell, Pedro Szekely, Barbara Thoenssen and Arnold B Urken. 2011. Reports of the AAAI 2011 Spring Symposia. The AI Magazine, 32(3):119–127. AAAI Press.
2010
[165]		Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén and Per-Magnus Olsson. 2010. Research with Collaborative Unmanned Aircraft Systems. In Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik.
[164]		Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson. 2010. Optimal placement of UV-based communications relay nodes. Journal of Global Optimization, 48(4):511–531. Springer. DOI: 10.1007/s10898-010-9526-8. Note: The original publication is available at www.springerlink.com:Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson, Optimal placement of UV-based communications relay nodes, 2010, Journal of Global Optimization, (48), 4, 511-531.http://dx.doi.org/10.1007/s10898-010-9526-8Copyright: Springer Science Business Mediahttp://www.springerlink.com/
[163]		Piotr Rudol, Mariusz Wzorek and Patrick Doherty. 2010. Vision-based Pose Estimation for Autonomous Indoor Navigation of Micro-scale Unmanned Aircraft Systems. In Proceedings of the 2010 IEEE International Conference on Robotics and Automation (ICRA), pages 1913–1920. In series: Proceedings - IEEE International Conference on Robotics and Automation #2010. IEEE conference proceedings. ISBN: 978-1-4244-5038-1. DOI: 10.1109/ROBOT.2010.5509203.
[162]		Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty. 2010. Choosing Path Replanning Strategies for Unmanned Aircraft Systems. In Ronen Brafman, Héctor Geffner, Jörg Hoffmann, Henry Kautz, editors, Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS), pages 193–200. AAAI Press. ISBN: 978-1-57735-449-9.
[161]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010. Stream-Based Reasoning in DyKnow. In Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik.
[160]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010. Stream-Based Middleware Support for Embedded Reasoning. In Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER).
[159]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010. Stream-Based Reasoning Support for Autonomous Systems. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI). In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8. DOI: 10.3233/978-1-60750-606-5-183.
[158]		Fredrik Heintz and Patrick Doherty. 2010. Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs. In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), pages 1063–1069. IEEE conference proceedings. ISBN: 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707967.
[157]		Jonas Kvarnström and Patrick Doherty. 2010. Automated Planning for Collaborative UAV Systems. In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), pages 1078–1085. IEEE conference proceedings. ISBN: 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707969.
[156]		Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov and Kaj Holmberg. 2010. Generating UAV Communication Networks for Monitoring and Surveillance. In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), pages 1070–1077. IEEE conference proceedings. ISBN: 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707968.
[155]		Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2010. Iterative Bounding LAO. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), pages 341–346. In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN:* 978-1-60750-606-5. DOI: 10.3233/978-1-60750-606-5-341.
[154]		Patrick Doherty and Andrzej Szalas. 2010. On the Correctness of Rough-Set Based Approximate Reasoning. In M. Szczuka, M. Kryszkiewicz, S. Ramanna, R. Jensen, Q. Hu, editors, Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing (RSCTC), pages 327–336. In series: Lecture Notes in Computer Science #6086. Springer. ISBN: 978-3-642-13528-6. DOI: 10.1007/978-3-642-13529-3_35.
[153]		Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson. 2010. Relay Positioning for Unmanned Aerial Vehicle Surveillance. The international journal of robotics research, 29(8):1069–1087. Sage Publications. DOI: 10.1177/0278364910369463.
[152]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. Advanced Engineering Informatics, 24(1):14–26. Elsevier. DOI: 10.1016/j.aei.2009.08.007.
[151]		Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson. 2010. Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks. In J. Trinkle, Y. Matsuoka and J.A. Castellanos, editors, Robotics: Science and Systems V, pages 257–264. MIT Press. ISBN: 978-0-262-51463-7.
2009
[150]		Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2009. Planning as Heuristic Search for Incremental Fault Diagnosis and Repair. In Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 19th International Conference on Automated Planning and Scheduling (ICAPS).
[149]		Oleg Burdakov, Kaj Holmberg, Patrick Doherty and Per-Magnus Olsson. 2009. Optimal placement of communications relay nodes. Techical Report. In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages.
[148]		Patrick Doherty and Jonas Kvarnström. 2009. Temporal Action Logics. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation, pages 709–757. In series: Foundations of Artificial Intelligence #3. Elsevier. ISBN: 978-0-444-52211-5. DOI: 10.1016/S1574-6526(07)03018-0.
[147]		Martin Magnusson, David Landén and Patrick Doherty. 2009. Logical Agents that Plan, Execute, and Monitor Communication. In Proceedings of the 2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2).
[146]		Martin Magnusson and Patrick Doherty. 2009. Planning Speech Acts in a Logic of Action and Change. In Proceedings of the 25th Workshop of the Swedish Artificial Intelligence Society (SAIS 2009). In series: Linköping Electronic Conference Proceedings #??. LiU E-Press.
[145]		Patrick Doherty, Jonas Kvarnström and Fredrik Heintz. 2009. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. Autonomous Agents and Multi-Agent Systems, 19(3):332–377. Springer. DOI: 10.1007/s10458-009-9079-8.
[144]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2009. Stream Reasoning in DyKnow: A Knowledge Processing Middleware System. In Proceedings of the Stream Reasoning Workshop. In series: CEUR Workshop Proceedings #466. M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.
[143]		Martin Magnusson, Jonas Kvarnström and Patrick Doherty. 2009. Abductive Reasoning with Filtered Circumscription. In Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC). UTSePress. ISBN: 978-0-9802840-7-2.
[142]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2009. A Stream-Based Hierarchical Anchoring Framework. In Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS). IEEE conference proceedings. ISBN: 978-1-4244-3803-7. DOI: 10.1109/IROS.2009.5354372.
[141]		Gianpaolo Conte and Patrick Doherty. 2009. Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information. EURASIP Journal on Advances in Signal Processing, 2009(387308):1–18. Hindawi Publishing Corporation. DOI: 10.1155/2009/387308.
2008
[140]		Gianpaolo Conte and Patrick Doherty. 2008. Use of Geo-referenced Images with Unmanned Aerial Systems. In Workshop Proceedings of SIMPAR 2008, International Conference on Simulation, Modeling and Programming for Autonomous Robots. Venice(Italy) 2008 November,3-4., pages 444–454. ISBN: 978-88-95872-01-8.
[139]		Per Nyblom and Patrick Doherty. 2008. Towards Automatic Model Generation by Optimization. In Proceedings of the 10th Scandinavian Conference on Artificial Intelligence (SCAI), pages 114–123. In series: Frontiers in Artificial Intelligence and Applications #173. IOS Press. ISBN: 978-1-60750-335-4. DOI: 10.3233/978-1-58603-867-0-114.
[138]		Gianpaolo Conte and Patrick Doherty. 2008. An Integrated UAV Navigation System Based on Aerial Image Matching. In IEEE Aerospace Conference 2008,2008.
[137]		Gianpaolo Conte, Maria Hempel, Piotr Rudol, David Lundström, Simone Duranti, Mariusz Wzorek and Patrick Doherty. 2008. High Accuracy Ground Target Geo-Location Using Autonomous Micro Aerial Vehicle Platforms. In Proceedings of the AIAA Guidance, Navigation, and Control Conference (GNC). AIAA. ISBN: 978-1-56347-945-8.
[136]		Piotr Rudol and Patrick Doherty. 2008. Human Body Detection and Geolocalization for UAV Search and Rescue Missions Using Color and Thermal Imagery. In Proceedings of the IEEE Aerospace Conference, pages 1–8. In series: Aerospace Conference Proceedings #2008. IEEE conference proceedings. ISBN: 978-1-4244-1487-1. DOI: 10.1109/Aero.2008.4526559.
[135]		Patrick Doherty and Andrzej Szalas. 2008. Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription. In Gerhard Brewka, Jérôme Lang, editors, Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 560–570. AAAI Press. ISBN: 978-1-57735-384-3.
[134]		Fredrik Heintz and Patrick Doherty. 2008. DyKnow Federations: Distributing and Merging Information Among UAVs. In Proceedings of the 11th International Conference on Information Fusion (FUSION). IEEE conference proceedings. ISBN: 978-3-8007-3092-6.
[133]		Martin Magnusson and Patrick Doherty. 2008. Temporal Action Logic for Question Answering in an Adventure Game. In Artificial General Intelligence 2008. The First AGI Conference,2008, pages 236–247. IOS Press. ISBN: 9781586038335.
[132]		Martin Magnusson, David Landén and Patrick Doherty. 2008. Planning, Executing, and Monitoring Communication in a Logic-Based Multi-Agent System. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI), pages 933–934. IOS Press. ISBN: 978-1-58603-891-5. DOI: 10.3233/978-1-58603-891-5-933.
[131]		Martin Magnusson and Patrick Doherty. 2008. Deductive Planning with Inductive Loops. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 528–534. AAAI Press. ISBN: 978-1-57735-384-3.
[130]		Martin Magnusson and Patrick Doherty. 2008. Logical Agents for Language and Action. In 4th International Artificial Intelligence and Interactive Digital Entertainment Conference AIIDE 2008,2008. AAAI Press. ISBN: 978-1-57735-391-1.
[129]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2008. Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing. In IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms,2008. Note: No proceedings, but CD
[128]		Jonas Kvarnström, Fredrik Heintz and Patrick Doherty. 2008. A Temporal Logic-Based Planning and Execution Monitoring System. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-387-4.
[127]		Per-Magnus Olsson and Patrick Doherty. 2008. The Observer Algorithm For Visibility Approximation. In Proceedings of the 10th Scandinavian Conference on Artificial Intelligence (SCAI), pages 3–11. In series: Frontiers in Artificial Intelligence and Applications #173. IOS Press. ISBN: 978-1-60750-335-4. DOI: 10.3233/978-1-58603-867-0-3.
[126]		Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte and Patrick Doherty. 2008. Micro unmanned aerial vehicle visual servoing for cooperative indoor exploration. In Proceedings of the IEEE Aerospace Conference. In series: Aerospace Conference Proceedings #2008. IEEE conference proceedings. ISBN: 978-1-4244-1487-1. DOI: 10.1109/AERO.2008.4526558.
[125]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2008. Knowledge Processing Middleware. In S. Carpin, I. Noda, E. Pagello, M. Reggiani and O. von Stryk, editors, Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), pages 147–158. In series: Lecture Notes in Artificial Intelligence #5325. Springer. ISBN: 978-3-540-89075-1. DOI: 10.1007/978-3-540-89076-8_17.
2007
[124]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2007. Communication between agents with heterogeneous perceptual capabilities. Information Fusion, 8(1):56–69. Elsevier. DOI: 10.1016/j.inffus.2005.05.006.
[123]		Patrick Doherty and Andrzej Szalas. 2007. A correspondence framework between three-valued logics and similarity-based approximate reasoning. Fundamenta Informaticae, 75(1-4):179–193. IOS Press.
[122]		Mariusz Wzorek and Patrick Doherty. 2007. A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. Manuscript (preprint).
[121]		Simone Duranti, Gianpaolo Conte, David Lundström, Piotr Rudol, Mariusz Wzorek and Patrick Doherty. 2007. LinkMAV, a prototype rotary wing micro aerial vehicle. In 17th IFAC Symposium on Automatic Control in Aerospace,2007. Elsevier.
[120]		Patrick Doherty, Barbara Dunin-Keplicz and Andrzej Szalas. 2007. Dynamics of approximate information fusion. In Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms (RSEISP), pages 668–677. In series: Lecture Notes in Artificial Intelligence #4585. Springer Berlin/Heidelberg. ISBN: 978-3-540-73450-5. DOI: 10.1007/978-3-540-73451-2_70.
[119]		Patrick Doherty and John-Jules Meyer. 2007. Towards a delegation framework for aerial robotic mission scenarios. In Proceedings of the 11th International Workshop on Cooperative Information Agents (CIA), pages 5–26. Springer Berlin/Heidelberg. ISBN: 978-3-540-75118-2. DOI: 10.1007/978-3-540-75119-9_2.
[118]		Patrick Doherty and Piotr Rudol. 2007. A UAV search and rescue scenario with human body detection and geolocalization. In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI). Springer Berlin/Heidelberg. ISBN: 978-3-540-76926-2.
[117]		Luis Mejias, Pascual Campoy, Iván F. Mondragón and Patrick Doherty. 2007. Stereo visual system for autonomous air vehicle navigation. In 6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume# 6 \| Part# 1, pages 203–208. In series: IFAC Proceedings series #??. Elsevier. ISBN: 978-3-902661-65-4. DOI: 10.3182/20070903-3-FR-2921.00037.
[116]		Fredrik Heintz, Piotr Rudol and Patrick Doherty. 2007. From Images to Traffic Behavior - A UAV Tracking and Monitoring Application. In Proceedings of the 10th International Conference on Information Fusion (FUSION). IEEE conference proceedings. ISBN: 978-0-662-47830-0. DOI: 10.1109/ICIF.2007.4408103.
[115]		Fredrik Heintz, Piotr Rudol and Patrick Doherty. 2007. Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework. In Joachim Hertzberg, Michael Beetz and Roman Englert, editors, Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI), pages 460–463. In series: Lecture Notes in Computer Science #4667. Springer. ISBN: 978-3-540-74564-8. DOI: 10.1007/978-3-540-74565-5_40.
[114]		Martin Magnusson and Patrick Doherty. 2007. Deductive Planning with Temporal Constraints. In Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning,2007. AAAI Press. ISBN: 978-1-57735-314-0.
2006
[113]		Alexander Kleiner, Christian Dornhege, Rainer Kümmerle, Michael Ruhnke, Bastian Steder, Bernhard Nebel, Patrick Doherty, Mariusz Wzorek, Piotr Rudol, Gianpaolo Conte, Simone Duranti and David Lundström. 2006. RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany). In RoboCup 2006 (CDROM Proceedings), Team Description Paper, Rescue Robot League. Note: (1st place in the autonomy competition)
[112]		Klas Nordberg, Patrick Doherty, Per-Erik Forssén, Johan Wiklund and Per Andersson. 2006. A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle. International Journal of Pattern Recognition and Artificial Intelligence, 20(5):763–780. DOI: 10.1142/S0218001406004867.
[111]		Per Olof Pettersson and Patrick Doherty. 2006. Probabilistic roadmap based path planning for an autonomous unmanned helicopter. Journal of Intelligent & Fuzzy Systems, 17(4):395–405. IOS Press.
[110]		Fredrik Heintz and Patrick Doherty. 2006. A knowledge processing middleware framework and its relation to the JDL data fusion model. Journal of Intelligent & Fuzzy Systems, 17(4):335–351. IOS Press.
[109]		Patrick Doherty, John Mylopoulos and Christopher Welty. 2006. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Conference Proceedings. AAAI Press. ISBN: 978-1-57735-281-5.
[108]		Martin Magnusson and Patrick Doherty. 2006. Deductive Planning with Temporal Constraints using TAL. In Proceedings of the International Symposium on Practical Cognitive Agents and Robots (PCAR). UWA Press. ISBN: 1-74052-130-7. DOI: 10.1145/1232425.1232444.
[107]		Mariusz Wzorek, David Landén and Patrick Doherty. 2006. GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle. In Proceedings of the 21st Bristol International UAV Systems Conference (UAVS). University of Bristol, Department of Aerospace engineering. ISBN: 0-9552644-0-5. Note: ISBN: 0-9552644-0-5
[106]		Mariusz Wzorek, Gianpaolo Conte, Piotr Rudol, Torsten Merz, Simone Duranti and Patrick Doherty. 2006. From Motion Planning to Control - A Navigation Framework for an Autonomous Unmanned Aerial Vehicle. In Proceedings of the 21st Bristol UAV Systems Conference (UAVS).
[105]		Mariusz Wzorek and Patrick Doherty. 2006. The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning. In Software Demonstrations at the International Conference on Automated Planning Scheduling (ICAPS-SD), pages 36–37.
[104]		Mariusz Wzorek and Patrick Doherty. 2006. Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. In Derek Long, Stephen F. Smith, Daniel Borrajo, Lee McCluskey, editors, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS), pages 438–441. AAAI Press. ISBN: 978-1-57735-270-9.
[103]		Mariusz Wzorek and Patrick Doherty. 2006. Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. In ICHIT 2006 - International Conference on Hybrid Information Technology,2006.
[102]		Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron and Andrzej Szalas. 2006. Knowledge Representation Techniques. A Rough Set Approach. Book. In series: Studies in Fuzziness and Soft Computing #202. Springer. 342 pages. ISBN: 978-3-540-33518-4. DOI: 10.1007/3-540-33519-6.
[101]		Patrick Doherty, Martin Magnusson and Andrzej Szalas. 2006. Approximate Databases: A support tool for approximate reasoning. Journal of applied non-classical logics, 16(1-2):87–118. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.16.87-117. Note: Special issue on implementation of logics
2005
[100]		Patrick Doherty, Andrzej Szalas and Witold Lukaszewicz. 2005. Similarity, approximations and vagueness. In Dominik Slezak, Guoyin Wang, Marcin S. Szczuka, Ivo Düntsch, Yiyu Yao, editors, Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC), pages 541–550. In series: Lecture Notes in Artificial Intelligence #3641. Springer. ISBN: 3-540-28653-5. DOI: 10.1007/11548669_56.
[99]		Fredrik Heintz and Patrick Doherty. 2005. A knowledge processing middleware framework and its relation to the JDL data fusion model. In The 8th International Conference on Information Fusion,2005.
[98]		Mariusz Wzorek and Patrick Doherty. 2005. Reconfigurable path planning for an autonomous unmanned aerial vehicle. In National Swedish Workshop on Autonomous Systems, SWAR 05,2005.
[97]		Mariusz Wzorek and Patrick Doherty. 2005. Preliminary report: Reconfigurable path planning for an autonomous unmanned aerial vehicle. In Proceedings of the 24th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG).
[96]		Patrick Doherty. 2005. Knowledge representation and unmanned aerial vehicles. In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pages 9–16. IEEE Computer Society. ISBN: 0-7695-2416-8. DOI: 10.1109/IAT.2005.93.
[95]		Fredrik Heintz and Patrick Doherty. 2005. A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model. In SWAR 05,2005, pages 50–51.
[94]		Fredrik Heintz and Patrick Doherty. 2005. A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model. In 3rd joint SAIS-SSL event on Artificial Intelligence an Learning Systems,2005. Mälardalens University.
[93]		Martin Magnusson, Patrick Doherty and Andrzej Szalas. 2005. An Experimental Platform for Approximate Databases. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005.
[92]		Per Olof Pettersson and Patrick Doherty. 2005. Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter. In Peter Funk, Thorsteinn Rögnvaldsson and Ning Xiong, editors, Proceedings of the 3rd joint SAIS-SSLS event on Artificial Intelligence and Learning Systems (SAIS-SSLS). Mälardalen University.
2004
[91]		Fredrik Heintz and Patrick Doherty. 2004. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Proceedings of the Second Joint SAIS/SSLS Workshop.
[90]		Patrick Doherty, Steven Kertes, Martin Magnusson and Andrzej Szalas. 2004. Towards a logical analysis of biochemical pathways. In José Júlio Alferes and João Alexandre Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA), pages 667–679. In series: Lecture Notes in Computer Science #3229. Springer. ISBN: 978-3-540-23242-1. DOI: 10.1007/978-3-540-30227-8_55.
[89]		Fredrik Heintz and Patrick Doherty. 2004. DyKnow: An approach to middleware for knowledge processing. Journal of Intelligent & Fuzzy Systems, 15(1):3–13. IOS Press.
[88]		Ubbo Visser and Patrick Doherty. 2004. Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating. The AI Magazine, 25(2):137–138. AAAI Press.
[87]		Patrick Doherty. 2004. Advanced Research with Autonomous Unmanned Aerial Vehicles. In Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, pages 731–732. AAAI Press. ISBN: 978-1-57735-199-3.
[86]		Per Olof Pettersson and Patrick Doherty. 2004. Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle. In ICAPS-04 Workshop on Connecting Planning Theory with Practice,2004, pages 49–55.
[85]		Patrick Doherty, Patrik Haslum, Fredrik Heintz, Torsten Merz, Per Nyblom, Tommy Persson and Björn Wingman. 2004. A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation. In 7th International Symposium on Distributed Autonomous Robotic Systems,2004. LAAS.
[84]		Fredrik Heintz and Patrick Doherty. 2004. Managing Dynamic Object Structures using Hypothesis Generation and Validation. In AAAI Workshop on Anchoring Symbols to Sensor Data,2004, pages 54–62. AAAI Press.
[83]		Fredrik Heintz and Patrick Doherty. 2004. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Barbara Dunin-Keplicz, Andrzej Jankowski, Andrzej Skowron, Marcin Szczuka, editors, Proceedings of the International Workshop on Monitoring, Security, and Rescue Techniques in Multi-Agent Systems (MSRAS), pages 479–492. In series: Advances in Soft Computing #28. Springer. ISBN: 978-3540232452. DOI: 10.1007/3-540-32370-8_37.
[82]		Patrick Doherty, Steven Kertes, Martin Magnusson and Andrzej Szalas. 2004. Towards a Logical Analysis of Biochemical Reactions (Extended abstract). In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), pages 997–998. IOS Press. ISBN: 1-58603-452-9.
[81]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2004. Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities. In Proceedings of the 7th International Conference on Information Fusion, pages 175–182. ISIF. ISBN: 91-7056-115-X.
[80]		Patrick Doherty and Andrzej Szalas. 2004. On the Correspondence between Approximations and Similarity. In Shusaku Tsumoto, Roman Slowinski, Jan Komorowski and Jerzy W. Grzymala-Busse, editors, Proceedings of the International Conference on Rough Sets and Current Trends in Computing (RSCTC), pages 143–152. In series: Lecture Notes in Computer Science #3066. Springer. DOI: 10.1007/978-3-540-25929-9_16.
[79]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2004. Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. In Didier Dubois, Christopher A. Welty, Mary-Anne Williams, editors, Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, pages 459–468. AAAI Press. ISBN: 978-1-57735-199-3.
2003
[78]		Patrick Doherty, W. Lukaszewicz, Skowron Andrzej and Andrzej Szalas. 2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings. In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue
[77]		Erik Sandewall, Patrick Doherty, Oliver Lemon and Stanley Peters. 2003. Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle. In Proceedings of the 26th German Conference on Artificial Intelligence (KI), pages 52–63. In series: Lecture Notes in Computer Science #2821. Springer Verlag. DOI: 10.1007/978-3-540-39451-8_5.
[76]		Patrick Doherty, A Skowron, Witold Lukaszewicz and Andrzej Szalas. 2003. 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR).
[75]		Patrick Doherty, M Grabowski, Witold Lukaszewicz and Andrzej Szalas. 2003. Towards a framework for approximate ontologies. Fundamenta Informaticae, 57(2-4):147–165. IOS Press.
[74]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2003. On mutual understanding among communicating agents. In B. Dunin-Keplicz and R. Verbrugge, editors, Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS), pages 83–97.
[73]		Patrick Doherty and et al. 2003. 2003 AAAI Spring Symposium Series. The AI Magazine, 24(3):131–140. AAAI Press.
[72]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2003. Tolerance Spaces and Approximative Representational Structures. In Proceedings of the 26th German Conference on Artificial Intelligence (KI), pages 475–489. In series: Lecture Notes in Computer Science #2821. Springer. DOI: 10.1007/978-3-540-39451-8_35.
[71]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2003. Information Granules for Intelligent Knowledge Structures. In Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron, editors, Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC), pages 405–412. In series: Lecture Notes in Computer Science #2639. Springer. ISBN: 978-3-540-14040-5. DOI: 10.1007/3-540-39205-X_68.
[70]		Patrick Doherty, Jaroslaw Kachniarz and Andrzej Szalas. 2003. Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases. In Rough-Neural Computing: Techniques for Computing with Words, pages 219–250. In series: Cognitive Technologies #??. Springer. ISBN: 978-3-540-43059-9.
[69]		Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron and Andrzej Szalas. 2003. Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge. In Rough-Neural Computing: Techniques for Computing with Words, pages 189–218. In series: Cognitive Technologies #??. Springer.
2002
[68]		John-Jules Meyer and Patrick Doherty. 2002. Preferential Action Semantics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 7: Agent-Based Defeasible Control in Dynamic Environments. In series: Handbook of Defeasible Reasoning and Uncertainty Management Systems #7. Kluwer. ISBN: 978-1-4020-0834-4.
[67]		Klas Nordberg, Patrick Doherty, Gunnar Farnebäck, Per-Erik Forssén, Gösta Granlund, Anders Moe and Johan Wiklund. 2002. Vision for a UAV helicopter. In International Conference on Intelligent Robots and Systems (IROS), Workshop on Aerial Robotics: Lausanne, Switzerland.
[66]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2002. CAKE: A computer aided knowledge engineering technique. In Frank van Harmelen, editor, Proceedings of the 15th European Conference on Artificial Intelligence,2002, pages 220–224. IOS Press.
[65]		Per Andersson, Krzysztof Kuchcinski, Klas Nordberg and Patrick Doherty. 2002. Integrating a computational model and a run time system for image processing on a UAV. In Euromicro Symposium on Digital System Design (DSD), pages 102–109. DOI: 10.1109/DSD.2002.1115357.
2001
[64]		Fredrik Heintz and Patrick Doherty. 2001. Chronicle Recognition in the WITAS UAV Project: A Preliminary Report. In Proceedings of the Swedish AI Society Workshop.
[63]		Patrick Doherty and Jonas Kvarnström. 2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press.
[62]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2001. Computing strongest necessary and weakest sufficient conditions of first-order formulas. In 17th International Joint Conference on Artificial Intelligence,2001. Morgan Kaufmann.
2000
[61]		Patrick Doherty and Jonas Kvarnström. 2000. TALplanner: A temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence, 30(1-4):119–169. Springer. DOI: 10.1023/A:1016619613658.
[60]		Patrick Doherty, Witold Lukaszewicz and E. Madalin´ska-Bugaj. 2000. The PMA and relativizing minimal change for action update. Fundamenta Informaticae, 44(1-2):95–131. IOS Press.
[59]		Patrick Doherty and Jonas Kvarnström. 2000. Tackling the qualification problem using fluent dependency constraints. Computational intelligence, 16(2):169–209. Blackwell Publishing. DOI: 10.1111/0824-7935.00111.
[58]		Jonas Kvarnström, Patrick Doherty and Patrik Haslum. 2000. Extending TALplanner with concurrency and resources. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI). In series: Frontiers in Artificial Intelligence and Applications #54. IOS Press. ISBN: 1586030132.
[57]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2000. Efficient reasoning using the local closed-world assumption. In Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA), pages 49–58. In series: Lecture Notes in Computer Science #1904. Springer. ISBN: 3-540-41044-9. DOI: 10.1007/3-540-45331-8_5.
[56]		Patrick Doherty, Gösta Granlund, Krzysztof Kuchcinski, Erik Johan Sandewall, Klas Nordberg, Erik Skarman and Johan Wiklund. 2000. The WITAS unmanned aerial vehicle project. In Werner Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), pages 747–755. IOS Press. ISBN: 4-274-90388-5.
[55]		Gösta Granlund, Klas Nordberg, Johan Wiklund, Patrick Doherty, Erik Skarman and Erik Sandewall. 2000. WITAS: An Intelligent Autonomous Aircraft Using Active Vision. In Proceedings of the UAV 2000 International Technical Conference and Exhibition (UAV). Euro UVS.
1999
[54]		Patrick Doherty, Jaroslaw Kachniarz and Andrzej Szalas. 1999. Meta-queries on deductive databases. Fundamenta Informaticae, 40(1):17–30. IOS Press. DOI: 10.3233/FI-1999-40102.
[53]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1999. Declarative PTIME queries for relational databases using quantifier elimination. Journal of logic and computation (Print), 9(5):737–758. Oxford University Press. DOI: 10.1093/logcom/9.5.737.
[52]		Patrick Doherty, Witold Lukaszewicz and E. Madalin´ska-Bugaj. 1999. Computing MPMA updates using dijkstra's semantics. In 12th International Symposium on Methodologies for Intelligent Systems,1999. Springer.
[51]		Patrick Doherty and Jonas Kvarnström. 1999. TALplanner: An empirical investigation of a temporal logic-based forward chaining planner. In Clare Dixon, Michael Fisher, editors, 6th International Workshop on Temporal Representation and Reasoning (TIME-99). IEEE Computer Society. ISBN: 0-7695-0173-7.
[50]		John-Jules Meyer and Patrick Doherty. 1999. Preferential action semantics (preliminary report). In Formal Models of Agents: ESPRIT Project Modelage Final Workshop Selected Papers, pages 187–201. In series: Lecture Notes in Artificial Intelligence #1760. Springer. ISBN: 3-540-67027-0. DOI: 10.1007/3-540-46581-2_13. Note: Preliminary report
1998
[49]		Patrick Doherty and Joakim Gustafsson. 1998. Delayed effects of actions = direct effects + causal rules. Techical Report. In series: Linköping Electronic Articles in Computer and Information Science #98-001. Linköping University Electronic Press.
[48]		Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnström. 1998. (TAL) temporal action logics: Language specification and tutorial. Electronic Transactions on Artifical Intelligence, 2(3-4):273–306.
[47]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1998. General domain circumscription and its effective reductions. Fundamenta Informaticae, 36(1):23–55. IOS Press. DOI: 10.3233/FI-1998-3612.
[46]		Lars Karlsson, Joakim Gustafsson and Patrick Doherty. 1998. Delayed effects of actions. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI), pages 542–546. John Wiley & Sons. ISBN: 978-0471984313.
[45]		Patrick Doherty, Witold Lukaszewicz and Ewa Madalinska-Bugaj. 1998. The PMA and relativizing change for action update. In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 258–269. Morgan Kaufmann Publishers.
[44]		Patrick Doherty and Jonas Kvarnström. 1998. Tackling the qualification problem using fluent dependency constraints. In Lina Khatib, Robert Morris, editors, Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98). IEEE Computer Society. ISBN: 0-8186-8473-9. Note: Preliminary report
1997
[43]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1997. Computing circumscription revisited: A reduction algorithm. Journal of automated reasoning, 18(3):297–336. Kluwer Academic Publishers. DOI: 10.1023/A:1005722130532.
1996
[42]		Patrick Doherty. 1996. PMON+: A fluent logic for action and change - formal specification, version 1.0. Techical Report. In series: LITH-IDA-R #33. Department of Computer and Information Science, Linköping University.
[41]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996. Declarative ptime queries to relational databases. Techical Report. In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University.
[40]		John-Jules Meyer and Patrick Doherty. 1996. Preferential action semantics, preliminary report. Techical Report. In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University.
[39]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996. General domain circumscription and its first-order reduction. Techical Report. In series: LITH-IDA-R #1. Department of Computer and Information Science, Linköping University.
[38]		Patrick Doherty and Witold Lukaszewicz. 1996. A study in modal embeddings of NML3. In Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information., pages 145–168. CSLI Publications.
[37]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996. A reduction result for circumscribed semi-horn formulas. Fundamenta Informaticae, 28(3,4):261–272. IOS Press. DOI: 10.3233/FI-1996-283404.
[36]		Joakim Gustafsson and Patrick Doherty. 1996. Embracing occlusion in specifying the indirect effects of actions. In Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro, editors, Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, pages 87–98. Morgan Kaufmann Publishers. ISBN: 1-55860-421-9.
[35]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996. Explaining explanation closure. In Zbigniew W. Ras, Maciek Michalewicz, editors, Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996, pages 521–530. In series: Lecture Notes in Computer Science #1079. Springer Berlin/Heidelberg. ISBN: 3-540-61286-6. DOI: 10.1007/3-540-61286-6_176.
[34]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996. General domain circumscription and its first-order reduction. In Dov Gabbay, Hans Olbach, editors, Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning (FAPR), pages 93–109. In series: Lecture Notes in Computer Science #1085. Springer Berlin/Heidelberg. ISBN: 978-3-540-61313-8. DOI: 10.1007/3-540-61313-7_65.
1995
[33]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1995. A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae. Techical Report. In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University.
[32]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1995. Computing circumscription revisited. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), pages 1502–1508. ISBN: 978-1558603639. Note: Volume 2. Preliminary report
[31]		Patrick Doherty and P. Peppas. 1995. A comparison between two approaches to ramification: PMON(R) and AR0. In 8th Australian Joint Conference on Artificial Intelligence,1995. Note: World Scientific
1994
[30]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1994. Computing circumscription revisited: A reduction algorithm. Techical Report. In series: LITH-IDA-R #94-42. Department of Computer and Information Science, Linköping University.
[29]		Patrick Doherty. 1994. Notes on PMON circumscription. Techical Report. In series: LITH-IDA-R #43. Department of Computer and Information Science, Linköping University.
[28]		Patrick Doherty and Witold Lukaszewicz. 1994. Circumscribing features and fluents. A fluent logic for reasoning about action and change. In 8th International Symposium on Methodologies for Intelligent Systems,1994. Springer Verlag.
[27]		Patrick Doherty and Witold Lukaszewicz. 1994. Circumscribing features and fluents. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings, pages 82–100. In series: Lecture Notes in Computer Science #827. Springer Berlin/Heidelberg. ISBN: 0-387-58241-X. DOI: 10.1007/BFb0013982.
[26]		Patrick Doherty. 1994. Reasoning about action and change using occlusion. In 11th European Conference on Artificial Intelligence,1994. John Wiley and Sons.
1993
[25]		Patrick Doherty and Dimiter Driankov. 1993. Nonmonotonicity, fuzziness, and multi-values. In Fuzzy Logic: State of the Art. Series D: System Theory, Knowledge Engineering and Problem Soving.. In series: Volume 12 #12. Kluwer Academic Publishers.
[24]		Patrick Doherty, Dimiter Driankov and Hans Hellendoorn. 1993. Fuzzy if-then-unless rules and their implementation. International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 1(2):167–182. World Scientific. DOI: 10.1142/S0218488593000097.
1992
[23]		Patrick Doherty and Witold Lukaszewicz. 1992. FONML3 - A first-order non-monotonic logic with explicit defaults. Techical Report. In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University.
[22]		Patrick Doherty, Dimiter Driankov and H. Hellendoorn. 1992. Fuzzy if-then-unless rules and their implementation. Techical Report. In series: LITH-IDA-R #21. Department of Computer and Information Science, Linköping University.
[21]		Patrick Doherty, Dimiter Driankov and A. Tsoukias. 1992. Partiality, para-consistency and preference modeling: Preliminary version. Techical Report. In series: LITH-IDA-R #18. Department of Computer and Information Systems, Linköping University.
[20]		Patrick Doherty. 1992. A constraint-based approach to proof procedures for multi-valed logics. Techical Report. In series: LITH-IDA-R #2. Department of Computer and Information Science, Linköping university, Linköping, Sweden.
[19]		Patrick Doherty and Witold Lukaszewicz. 1992. Distinguishing between facts and default assumptions. In Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops.. Ellis Horwood Ltd..
[18]		Dimiter Driankov and Patrick Doherty. 1992. A non-monotonic fuzzy logic. In Fuzzy Logic for the Management of Uncertainty, pages 171–190. John Wiley & Sons. ISBN: 0-471-54799-9.
[17]		Patrick Doherty and Witold Lukaszewicz. 1992. NML-3 - A non-monotonic logic with explicit defaults. Journal of applied non-classical logics, 2(1):9–48. Éditions Hermès-Lavoisier.
[16]		Patrick Doherty and Witold Lukaszewicz. 1992. Defaults as first-class citizens. In Proceedings of the 22nd International Symposium on Multiple-Valued Logic (SMVL), pages 146–154. In series: Proceedings of the International Symposium on Multiple Valued Logic #??. IEEE Computer Society. ISBN: 0-8186-2680-1.
[15]		Patrick Doherty and Witold Lukaszewicz. 1992. FONML3 - A first-order non-monotonic logic with explicit defaults. In European Conference on Artificial Intelligence, ECAI-92,1992. John Wiley and Sons.
[14]		Patrick Doherty, Dimiter Driankov and H. Hellendoorn. 1992. Fuzzy if-then-unless rules and their implementation. In International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU92,1992. Springer.
[13]		Patrick Doherty, Dimiter Driankov and A. Tsoukias. 1992. Partial logics and partial preferences. In International Conference on Economics/Management and Information Technology,1992.
1991
[12]		Patrick Doherty and Witold Lukaszewicz. 1991. NML3 - A non-monotonic logic with explicit defaults. Techical Report. In series: Användarrapport #13. Department of Computer and Information Science, Linköping University.
[11]		Patrick Doherty and Dimiter Driankov. 1991. A non-monotonic fuzzy logic. In International Fuzzy Systems Association, Fourth World Congress,1991.
[10]		Patrick Doherty. 1991. NML3: a non-monotonic formalism with explicit defaults. PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #258. Linköpings tekniska högskola. 290 pages. ISBN: 91-7870-816-8.
[9]		Patrick Doherty. 1991. A constraint-based approach to proof procedures for multi-valued logics. In Proceedings of the 1st World Conference on Fundamentals of Artificial Intelligence (WOCFAI). Springer.
1990
[8]		Patrick Doherty. 1990. A three-valued approach to non-monotonic reasoning. Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #230. Linköping University. ISBN: 91-7870-672-6.
[7]		Patrick Doherty. 1990. NM3 - A three-valued non-monotonic formalism. Preliminary report. Techical Report. In series: LITH-IDA-R #44. Department of Computer and Information Science, Linköping University.
[6]		Patrick Doherty. 1990. A correspondence between inheritance hierarchies and a logic of preferential entailment. Techical Report. In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University.
[5]		Patrick Doherty. 1990. NME - A three-valued non-monotonic formalism. In Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS). Note: Preliminary report
[4]		Patrick Doherty. 1990. NM3 - A three-valued cumulative non-monotonic formalism. In Jan van Eijck, editor, Logics in AI, European Workshop (JELIA), pages 196–211. In series: Lecture Notes in Artificial Intelligence #478. Springer Berlin/Heidelberg. ISBN: 978-3-540-53686-4. DOI: 10.1007/BFb0018442.
1989
[3]		Patrick Doherty. 1989. A correspondence between inheritance hierarchies and a logic of preferential entailment. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, and Z. W. Ras, editors, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS). University of North Carolina Press.
[2]		Patrick Doherty. 1989. A semantics for inheritance hierarchies with exceptions using a logic of preferential entailment. In Proceedings of the 2nd Scandinavian Conference on Artificial Intelligence (SCAI). IOS Press.
1985
[1]		Patrick Doherty. 1985. A rule interpreter for an emycin-like expert system tool. Techical Report. In series: Aslab Memo #85-05. Linköpings tekniska högskola.

Responsible for this page: Patrick Doherty

Last updated:

Org.nr: 202100-3096
VAT nr: SE202100309601
Plusgiro: 18 34 15-9

Department of Computer and Information Science
Link�ping University
SE-581 83 LINK�PING, SWEDEN
Tel: +46 13 28 10 00
Fax: +46 13 14 22 31