@incollection{DohSza:2018:1270901, author = {Patrick Doherty and Andrzej Szalas}, title = {{Signed Dual Tableaux for Kleene Answer Set Programs}}, year = {2018}, booktitle = {Ewa Or\l{}owska on Relational Methods in Logic and Computer Science}, pages = {233--252}, editor = {GoliƄska-Pilarek J. and Zawidzki M.}, series = {Outstanding Contributions to Logic}, volume = {17}, publisher = {Springer}, isbn = {9783319978789, 9783319978796}, doi = {10.1007/978-3-319-97879-6\_9}, } @incollection{DohSza:2015:788464, author = {Patrick Doherty and Andrzej Szalas}, title = {{Stability, Supportedness, Minimality and Kleene Answer Set Programs}}, year = {2015}, booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday}, pages = {125--140}, editor = {Thomas Eiter and Hannes Strass and Miros\l{}aw Truszczynski and Stefan Woltran}, series = {Lecture Notes in Computer Science}, volume = {9060}, publisher = {Springer}, isbn = {978-3-319-14725-3, 978-3-319-14726-0}, issn = {0302-9743}, doi = {10.1007/978-3-319-14726-0\_9}, } @incollection{DohKvaEtAl:2014:783442, author = {Patrick Doherty and Jonas Kvarnstr\"om and Mariusz Wzorek and Piotr Rudol and Fredrik Heintz and Gianpaolo Conte}, title = {{HDRC3 - A Distributed Hybrid Deliberative/Reactive Architecture for Unmanned Aircraft Systems}}, year = {2014}, booktitle = {Handbook of Unmanned Aerial Vehicles}, pages = {849--952}, editor = {Kimon P. Valavanis and George J. Vachtsevanos}, publisher = {Springer Science+Business Media B.V.}, isbn = {978-90-481-9706-4, 978-90-481-9707-1}, doi = {10.1007/978-90-481-9707-1\_118}, } @incollection{DohMey:2012:605381, author = {Patrick Doherty and John-Jules Ch. Meyer}, title = {{On the Logic of Delegation - Relating Theory and Practice}}, year = {2012}, booktitle = {The Goals of Cognition: Essays in honour of Cristiano Castelfranchi}, pages = {467--496}, editor = {Fabio Paglieri and Luca Tummolini and Rino Falcone and Maria Miceli}, publisher = {College Publications}, isbn = {978-1848900943}, } @incollection{DohHeiLan:2011:463627, author = {Patrick Doherty and Fredrik Heintz and David Land\'en}, title = {{A Delegation-Based Architecture for Collaborative Robotics}}, year = {2011}, booktitle = {Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers}, pages = {205--247}, editor = {Danny Weyns and Marie-Pierre Gleizes}, series = {Lecture Notes in Computer Science}, volume = {6788}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-22635-9}, issn = {0302-9743}, doi = {10.1007/978-3-642-22636-6\_13}, } @incollection{DohKva:2009:257634, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{Temporal Action Logics}}, year = {2009}, booktitle = {Handbook of Knowledge Representation}, pages = {709--757}, editor = {V. Lifschitz and F. van Harmelen and and F. Porter}, series = {Foundations of Artificial Intelligence}, volume = {3}, publisher = {Elsevier}, isbn = {978-0-444-52211-5}, issn = {1574-6526}, doi = {10.1016/S1574-6526(07)03018-0}, } @incollection{DohKacSza:2004:243266, author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases}}, year = {2004}, booktitle = {Rough-Neural Computing: Techniques for Computing with Words}, pages = {219--250}, editor = {Andrzej Skowron andLech Polkowski andSankar K Pal}, series = {Cognitive Technologies}, publisher = {Springer}, isbn = {9783540430599}, issn = {1611-2482}, } @incollection{DohLukEtAl:2004:243264, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas}, title = {{Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge}}, year = {2004}, booktitle = {Rough-Neural Computing: Techniques for Computing with Words}, pages = {189--218}, editor = {Andrzej Skowron andLech Polkowski andSankar K Pal}, series = {Cognitive Technologies}, publisher = {Springer}, isbn = {9783540430599, 3540430598}, issn = {1611-2482}, } @incollection{MeyDoh:2002:262493, author = {John-Jules Meyer and Patrick Doherty}, title = {{Preferential Action Semantics}}, year = {2002}, booktitle = {Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 7:: Agent-Based Defeasible Control in Dynamic Environments}, editor = {John-Jules Ch Meyer; Jan Treur}, series = {Handbook of Defeasible Reasoning and Uncertainty Management Systems}, volume = {7}, publisher = {Kluwer}, isbn = {978-1-4020-0834-4, 14-02-0-0834-1}, } @incollection{DohLuk:1996:262489, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{A study in modal embeddings of NML3}}, year = {1996}, booktitle = {Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information.}, pages = {145--168}, editor = {Patrick Doherty}, publisher = {CSLI Publications}, isbn = {1-57586-031-7, 1-57586-030-9}, } @incollection{DohLuk:1994:262296, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{Circumscribing features and fluents}}, year = {1994}, booktitle = {Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11--14, 1994 Proceedings}, pages = {82--100}, editor = {Dov M. Gabbay and Hans J\"urgen Ohlbach}, series = {Lecture Notes in Computer Science}, volume = {827}, publisher = {Springer Berlin/Heidelberg}, isbn = {354058241X, 038758241X}, issn = {0302-9743}, doi = {10.1007/BFb0013982}, } @incollection{DohDri:1993:262486, author = {Patrick Doherty and Dimiter Driankov}, title = {{Nonmonotonicity, fuzziness, and multi-values}}, year = {1993}, booktitle = {Fuzzy Logic: State of the Art. Series D: System Theory, Knowledge Engineering and Problem Solving.}, editor = {R. Lowen and M. Roubens}, series = {Volume 12}, volume = {12}, publisher = {Kluwer Academic Publishers}, isbn = {0792323246, 9780792323242}, } @incollection{DohLuk:1992:262488, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{Distinguishing between facts and default assumptions}}, year = {1992}, booktitle = {Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops.}, editor = {W. van der Hoek}, publisher = {Ellis Horwood Ltd.}, isbn = {0136251463, 9780136251460}, } @incollection{DriDoh:1992:262487, author = {Dimiter Driankov and Patrick Doherty}, title = {{A non-monotonic fuzzy logic}}, year = {1992}, booktitle = {Fuzzy Logic for the Management of Uncertainty}, pages = {171--190}, editor = {Lotfi A. Zadeh and Janusz Kacprzyk}, publisher = {John Wiley \& Sons}, isbn = {0-471-54799-9}, }