@article{DohSza:2024:1816604, author = {Patrick Doherty and Andrzej Szalas}, title = {{Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions}}, year = {2024}, journal = {Artificial Intelligence}, volume = {326}, publisher = {ELSEVIER}, issn = {0004-3702}, doi = {10.1016/j.artint.2023.104036}, note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Mahasarakham Development Fund, Mahasarakham University, Thailand; National Science Centre Poland [2017/27/B/ST6/02018]}, } @article{BerDohEtAl:2023:1826481, author = {Cyrille Berger and Patrick Doherty and Piotr Rudol and Mariusz Wzorek}, title = {{RGSāŠ•: RDF graph synchronization for collaborative robotics}}, year = {2023}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {37}, number = {2}, publisher = {SPRINGER}, issn = {1387-2532}, doi = {10.1007/s10458-023-09629-2}, note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden [RIT15-0097]; Swedish Foundation for Strategic Research SSF (Smart Systems Project) [B09]; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation}, } @article{DohSza:2022:1681176, author = {Patrick Doherty and Andrzej Szalas}, title = {{A landscape and implementation framework for probabilistic rough sets using PROBLOG}}, year = {2022}, journal = {Information Sciences}, volume = {593}, pages = {546--576}, publisher = {Elsevier Science Inc}, issn = {0020-0255}, doi = {10.1016/j.ins.2021.12.062}, note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF [RIT15-0097]; Guangdong Department of Science and Technology, China [2020A1313030098]; National Science Centre Poland [2017/27/B/ST6/02018]}, } @article{DohBerEtAl:2021:1810382, author = {Patrick Doherty and Cyrille Berger and Piotr Rudol and Mariusz Wzorek}, title = {{Hastily formed knowledge networks and distributed situation awareness for collaborative robotics}}, year = {2021}, journal = {Autonomous Intelligent Systems}, volume = {1}, number = {1}, publisher = {Springer}, doi = {10.1007/s43684-021-00016-w}, note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden (Project B09) and the Swedish Foundation for Strategic Research SSF (Smart Systems Project RIT15-0097). The first author is also supported by an RExperts Program Grant 2020A1313030098 from the Guangdong Department of Science and Technology, China in addition to a Sichuan Province International Science and Technology Innovation Cooperation Project Grant 2020YFH0160.}, } @article{AndDohEtAl:2021:1701897, author = {Olov Andersson and Patrick Doherty and M{\aa}rten Lager and Jens-Olof Lindh and Linnea Persson and Elin A. Topp and Jesper Tordenlid and Bo Wahlberg}, title = {{WARA-PS: a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation}}, year = {2021}, journal = {Autonomous Intelligent Systems}, volume = {1}, number = {1}, publisher = {Springer Singapore}, doi = {10.1007/s43684-021-00009-9}, } @article{WzoBerDoh:2021:1701784, author = {Mariusz Wzorek and Cyrille Berger and Patrick Doherty}, title = {{Router and gateway node placement in wireless mesh networks for emergency rescue scenarios}}, year = {2021}, journal = {Autonomous Intelligent Systems}, volume = {1}, number = {1}, publisher = {Springer}, doi = {10.1007/s43684-021-00012-0}, note = {Funding Agencies|ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic ResearchSwedish Foundation for Strategic Research [RIT 15-0097]; Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation;The 3rd author was also supported by an RExperts Program Grant 2020A1313030098 from the Guangdong Department of Science and Technology, China and a Sichuan Province International Science and Technology Innovation Cooperation Project Grant 2020YFH0160.}, } @article{DohSza:2021:1521594, author = {Patrick Doherty and Andrzej Szalas}, title = {{Rough set reasoning using answer set programs}}, year = {2021}, journal = {International Journal of Approximate Reasoning}, volume = {130}, number = {March}, pages = {126--149}, publisher = {Elsevier}, issn = {0888-613X}, doi = {10.1016/j.ijar.2020.12.010}, note = {Funding: ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF(Smart Systems Project) [RIT15-0097]; Jinan University (Zhuhai Campus); National Science Centre PolandNational Science Centre, Poland [2017/27/B/ST6/02018]}, } @article{BurKvaDoh:2017:914860, author = {Oleg Burdakov and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles}}, year = {2017}, journal = {Annals of Operations Research}, volume = {249}, number = {1}, pages = {163--174}, publisher = {Springer}, issn = {0254-5330}, doi = {10.1007/s10479-016-2169-5}, } @article{NilKvaDoh:2016:860637, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification}}, year = {2016}, journal = {Acta Informatica}, volume = {53}, number = {6-8}, pages = {723--752}, publisher = {Springer Publishing Company}, issn = {0001-5903}, doi = {10.1007/s00236-015-0248-8}, } @article{WarKvaDoh:2016:855938, author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{A Modeling Framework for Troubleshooting Automotive Systems}}, year = {2016}, journal = {Applied Artificial Intelligence}, volume = {30}, number = {3}, pages = {257--296}, publisher = {Taylor \& Francis}, issn = {0883-9514}, doi = {10.1080/08839514.2016.1156955}, note = {The published article is a shorter version than the version in manuscript form. The status of this article was\ earlier \<em\>Manuscript\</em\>.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS}, } @article{ConRudDoh:2014:736519, author = {Gianpaolo Conte and Piotr Rudol and Patrick Doherty}, title = {{Evaluation of a Light-weight Lidar and a Photogrammetric System for Unmanned Airborne Mapping Applications: [Bewertung eines Lidar-systems mit geringem Gewicht und eines photogrammetrischen Systems f\"ur Anwendungen auf einem UAV]}}, year = {2014}, journal = {Photogrammetrie - Fernerkundung - Geoinformation}, number = {4}, pages = {287--298}, publisher = {E. Schweizerbart'sche Verlagsbuchhandlung}, issn = {1432-8364}, doi = {10.1127/1432-8364/2014/0223}, } @article{DohSza:2013:662860, author = {Patrick Doherty and Andrzej Szalas}, title = {{Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination}}, year = {2013}, journal = {Fundamenta Informaticae}, volume = {127}, number = {1-4}, pages = {135--149}, publisher = {IOS Press}, issn = {0169-2968}, 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||}, } @article{DohHeiKva:2013:611599, author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\"om}, title = {{High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation}}, year = {2013}, journal = {Unmanned Systems}, volume = {1}, number = {1}, pages = {75--119}, publisher = {World Scientific}, issn = {2301-3850}, doi = {10.1142/S2301385013500052}, } @article{HeiKvaDoh:2013:610375, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Hierarchical Anchoring}}, year = {2013}, journal = {K\"unstliche Intelligenz}, volume = {27}, number = {2}, pages = {119--128}, publisher = {Springer}, issn = {0933-1875}, doi = {10.1007/s13218-013-0239-2}, } @article{BulCudEtAl:2011:453990, author = {Mark Buller and Paul Cuddihy and Ernest Davis and Patrick Doherty and Finale Doshi-Velez and Esra Erdem and Douglas Fisher and Nancy Green and Knut Hinkelmann and James McLurkin and Mary Lou Maher and Rajiv Maheswaran and Sara Rubinelli and Nathan Schurr and Donia Scott and Dylan Shell and Pedro Szekely and Barbara Thoenssen and Arnold B Urken}, title = {{Reports of the AAAI 2011 Spring Symposia}}, year = {2011}, journal = {The AI Magazine}, volume = {32}, number = {3}, pages = {119--127}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{BurDohEtAl:2010:354877, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Per-Magnus Olsson}, title = {{Optimal placement of UV-based communications relay nodes}}, year = {2010}, journal = {Journal of Global Optimization}, volume = {48}, number = {4}, pages = {511--531}, publisher = {Springer}, issn = {0925-5001}, 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/}, } @article{BurDohEtAl:2010:337902, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson}, title = {{Relay Positioning for Unmanned Aerial Vehicle Surveillance}}, year = {2010}, journal = {The international journal of robotics research}, volume = {29}, number = {8}, pages = {1069--1087}, publisher = {Sage Publications}, issn = {0278-3649}, doi = {10.1177/0278364910369463}, } @article{HeiKvaDoh:2010:300370, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing}}, year = {2010}, journal = {Advanced Engineering Informatics}, volume = {24}, number = {1}, pages = {14--26}, publisher = {Elsevier}, issn = {1474-0346}, doi = {10.1016/j.aei.2009.08.007}, } @article{DohKvaHei:2009:249047, author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz}, title = {{A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems}}, year = {2009}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {19}, number = {3}, pages = {332--377}, publisher = {Springer}, issn = {1387-2532}, doi = {10.1007/s10458-009-9079-8}, } @article{ConDoh:2009:234039, author = {Gianpaolo Conte and Patrick Doherty}, title = {{Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information}}, year = {2009}, journal = {EURASIP Journal on Advances in Signal Processing}, volume = {2009}, number = {387308}, pages = {1--18}, publisher = {Hindawi Publishing Corporation}, issn = {1687-6172}, doi = {10.1155/2009/387308}, } @article{DohLukSza:2007:270913, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Communication between agents with heterogeneous perceptual capabilities}}, year = {2007}, journal = {Information Fusion}, volume = {8}, number = {1}, pages = {56--69}, publisher = {Elsevier}, issn = {1566-2535}, doi = {10.1016/j.inffus.2005.05.006}, } @article{DohSza:2007:268924, author = {Patrick Doherty and Andrzej Szalas}, title = {{A correspondence framework between three-valued logics and similarity-based approximate reasoning}}, year = {2007}, journal = {Fundamenta Informaticae}, volume = {75}, number = {1-4}, pages = {179--193}, publisher = {IOS Press}, issn = {0169-2968}, } @article{NorDohEtAl:2006:268968, author = {Klas Nordberg and Patrick Doherty and Per-Erik Forss\'en and Johan Wiklund and Per Andersson}, title = {{A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle}}, year = {2006}, journal = {International Journal of Pattern Recognition and Artificial Intelligence}, volume = {20}, number = {5}, pages = {763--780}, issn = {0218-0014}, doi = {10.1142/S0218001406004867}, } @article{PetDoh:2006:268952, author = {Per Olof Pettersson and Patrick Doherty}, title = {{Probabilistic roadmap based path planning for an autonomous unmanned helicopter}}, year = {2006}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {17}, number = {4}, pages = {395--405}, publisher = {IOS Press}, issn = {1064-1246}, } @article{HeiDoh:2006:268950, author = {Fredrik Heintz and Patrick Doherty}, title = {{A knowledge processing middleware framework and its relation to the JDL data fusion model}}, year = {2006}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {17}, number = {4}, pages = {335--351}, publisher = {IOS Press}, issn = {1064-1246}, } @article{DohMagSza:2006:252615, author = {Patrick Doherty and Martin Magnusson and Andrzej Szalas}, title = {{Approximate Databases: A support tool for approximate reasoning}}, year = {2006}, journal = {Journal of applied non-classical logics}, volume = {16}, number = {1-2}, pages = {87--118}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.16.87-117}, note = {Special issue on implementation of logics}, } @article{HeiDoh:2004:269150, author = {Fredrik Heintz and Patrick Doherty}, title = {{DyKnow: An approach to middleware for knowledge processing}}, year = {2004}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {15}, number = {1}, pages = {3--13}, publisher = {IOS Press}, issn = {1064-1246}, } @article{VisDoh:2004:243373, author = {Ubbo Visser and Patrick Doherty}, title = {{Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating}}, year = {2004}, journal = {The AI Magazine}, volume = {25}, number = {2}, pages = {137--138}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{DohSkoEtAl:2003:269316, author = {Patrick Doherty and Andrew Skowron and Witold Lukaszewicz and Andrzej Szalas}, title = {{Preface}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-4}, pages = {i--iii}, publisher = {IOS Press}, issn = {0169-2968}, } @article{DohGraEtAl:2003:269311, author = {Patrick Doherty and M Grabowski and Witold Lukaszewicz and Andrzej Szalas}, title = {{Towards a framework for approximate ontologies}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-4}, pages = {147--165}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Dohal:2003:243374, author = {Patrick Doherty and et al}, title = {{2003 AAAI Spring Symposium Series}}, year = {2003}, journal = {The AI Magazine}, volume = {24}, number = {3}, pages = {131--140}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{DohKva:2001:269228, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALPLANNER - A temporal logic-based planner}}, year = {2001}, journal = {The AI Magazine}, volume = {22}, number = {3}, pages = {95--102}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{DohKva:2000:262479, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALplanner: A temporal logic based forward chaining planner}}, year = {2000}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {30}, number = {1-4}, pages = {119--169}, publisher = {Springer}, issn = {1012-2443}, doi = {10.1023/A:1016619613658}, } @article{DohLukMad:2000:262478, author = {Patrick Doherty and Witold Lukaszewicz and E. Madalin“ska-Bugaj}, title = {{The PMA and relativizing minimal change for action update}}, year = {2000}, journal = {Fundamenta Informaticae}, volume = {44}, number = {1-2}, pages = {95--131}, publisher = {IOS Press}, issn = {0169-2968}, } @article{KvaDoh:2000:262473, author = {Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Tackling the qualification problem using fluent dependency constraints}}, year = {2000}, journal = {Computational intelligence}, volume = {16}, number = {2}, pages = {169--209}, publisher = {Blackwell Publishing}, issn = {0824-7935}, doi = {10.1111/0824-7935.00111}, } @article{DohKacSza:1999:262472, author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Meta-queries on deductive databases}}, year = {1999}, journal = {Fundamenta Informaticae}, volume = {40}, number = {1}, pages = {17--30}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1999-40102}, } @article{DohLukSza:1999:262470, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Declarative PTIME queries for relational databases using quantifier elimination}}, year = {1999}, journal = {Journal of logic and computation (Print)}, volume = {9}, number = {5}, pages = {737--758}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/9.5.737}, } @article{DohGusEtAl:1998:262481, author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om}, title = {{(TAL) temporal action logics: Language specification and tutorial}}, year = {1998}, journal = {Electronic Transactions on Artifical Intelligence}, volume = {2}, number = {3-4}, pages = {273--306}, issn = {1403-3534}, } @article{DohLukSza:1998:262471, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its effective reductions}}, year = {1998}, journal = {Fundamenta Informaticae}, volume = {36}, number = {1}, pages = {23--55}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1998-3612}, } @article{DohLukSza:1997:262477, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited: A reduction algorithm}}, year = {1997}, journal = {Journal of automated reasoning}, volume = {18}, number = {3}, pages = {297--336}, publisher = {Kluwer Academic Publishers}, issn = {0168-7433}, doi = {10.1023/A:1005722130532}, } @article{DohLukSza:1996:262475, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{A reduction result for circumscribed semi-horn formulas}}, year = {1996}, journal = {Fundamenta Informaticae}, volume = {28}, number = {3,4}, pages = {261--272}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1996-283404}, } @article{DohDriHel:1993:262467, author = {Patrick Doherty and Dimiter Driankov and Hans Hellendoorn}, title = {{Fuzzy if-then-unless rules and their implementation}}, year = {1993}, journal = {International Journal of Uncertainty Fuzziness and Knowledge-Based Systems}, volume = {1}, number = {2}, pages = {167--182}, publisher = {World Scientific}, issn = {0218-4885}, doi = {10.1142/S0218488593000097}, } @article{DohLuk:1992:262466, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{NML-3 - A non-monotonic logic with explicit defaults}}, year = {1992}, journal = {Journal of applied non-classical logics}, volume = {2}, number = {1}, pages = {9--48}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, }