AIICS

Patrick Doherty

Journal Publications

Show abstracts (where available) BibTeX entries
2014
[32] Gianpaolo Conte, Piotr Rudol and Patrick Doherty. 2014.
Evaluation of a Light-weight Lidar and a Photogrammetric System for Unmanned Airborne Mapping Applications.
PFG Photogrammetrie, Fernerkundung, Geoinformation, ??(4):287–298.
DOI: 10.1127/1432-8364/2014/0200.
2013
[31] Patrick Doherty and Andrzej Szalas. 2013.
Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination.
Fundamenta Informaticae, 127(1-4):135–149. IOS Press.
DOI: 10.3233/FI-2013-900.
Note: Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS||ELLIIT Excellence Center at Linkoping-Lund in Information Technology||CUAS project||SSF, the Swedish Foundation for Strategic Research||
[30] Full text  Patrick Doherty, Fredrik Heintz and Jonas Kvarnstr√∂m. 2013.
High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation.
Unmanned Systems, 1(1):75–119. World Scientific.
[29] Full text  Fredrik Heintz, Jonas Kvarnstr√∂m and Patrick Doherty. 2013.
Stream-Based Hierarchical Anchoring.
K√ľnstliche Intelligenz, 27(2):119–128. Springer.
DOI: 10.1007/s13218-013-0239-2.
2011
[28] 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
[27] Full text  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/
[26] Full text  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.
[25] Full text  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.
2009
[24] Full text  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.
[23] Full text  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.
2007
[22] Full text  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.
[21] Full text  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.
2006
[20] 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.
[19] 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.
[18] Full text  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.
[17] Full text  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
2004
[16] Full text  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.
[15] Full text  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.
2003
[14] Full text  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.
[13] Patrick Doherty and et al. 2003.
2003 AAAI Spring Symposium Series.
The AI Magazine, 24(3):131–140. AAAI Press.
2001
[12] Full text  Patrick Doherty and Jonas Kvarnstr√∂m. 2001.
TALPLANNER - A temporal logic-based planner.
The AI Magazine, 22(3):95–102. AAAI Press.
2000
[11] Full text  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.
[10] 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.
[9] Full text  Jonas Kvarnstr√∂m and Patrick Doherty. 2000.
Tackling the qualification problem using fluent dependency constraints.
Computational intelligence, 16(2):169–209. Blackwell Publishing.
DOI: 10.1111/0824-7935.00111.
1999
[8] Full text  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.
[7] Full text  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.
1998
[6] Full text  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.
Link: http://www.ep.liu.se/ej/etai/1998/009/
[5] 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.
1997
[4] Full text  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
[3] Full text  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.
1993
[2] 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
[1] 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.