@incollection{NguSza:2013:546392, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Logic-Based Roughification}}, year = {2013}, booktitle = {Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam (vol. I)}, pages = {517--543}, editor = {A. Skowron and Z. Suraj}, series = {Intelligent Systems Reference Library}, volume = {42}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-30343-2}, issn = {1868-4394}, doi = {10.1007/978-3-642-30344-9\_19}, } @incollection{DunSza:2013:546390, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Distributed Paraconsistent Belief Fusion}}, year = {2013}, booktitle = {Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012}, pages = {59--69}, editor = {Giancarlo Fortino and Costin Badica and Michele Malgeri and Rainer Unland}, series = {Studies in Computational Intelligence}, volume = {446}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-32523-6}, issn = {1860-949X}, doi = {10.1007/978-3-642-32524-3\_9}, } @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:2012:601009, author = {Patrick Doherty and Fredrik Heintz and David Land\'en}, title = {{A Distributed Task Specification Language for Mixed-Initiative Delegation}}, year = {2012}, booktitle = {Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers}, pages = {42--57}, editor = {Nirmit Desai and Alan Liu and Michael Winikoff}, series = {Lecture Notes in Computer Science}, volume = {7057}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-25919-7, e-978-3-642-25920-3}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-25920-3\_4}, } @incollection{LanHeiDoh:2012:601008, author = {David Land\'en and Fredrik Heintz and Patrick Doherty}, title = {{Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study}}, year = {2012}, booktitle = {Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers}, pages = {288--303}, editor = {Nirmit Desai and Alan Liu and Michael Winikoff}, series = {Lecture Notes in Computer Science}, volume = {7057}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-25919-7, e-978-3-642-25920-3}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-25920-3\_20}, } @incollection{DunSza:2012:546388, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Epistemic Profiles and Belief Structures}}, year = {2012}, booktitle = {Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings}, pages = {360--369}, editor = {Gordan Jezic and Mario Kusek and Ngoc-Thanh Nguyen and Robert J. Howlett and Lakhmi C. Jain}, series = {Lecture Notes in Computer Science}, volume = {7327}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-30946-5, e- 978-3-642-30947-2}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-30947-2\_40}, } @incollection{NguSza:2012:546383, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Paraconsistent Reasoning for Semantic Web Agents}}, year = {2012}, booktitle = {Transactions on Compuational Collective Intelligence VI}, pages = {36--55}, editor = {Ngoc Thanh Nguyen}, series = {Lecture Notes in Computer Science}, volume = {7190}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-29355-9, e-978-3-642-29356-6}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-29356-6\_2}, } @incollection{DunSza:2012:499783, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Agents in Approximate Environments}}, year = {2012}, booktitle = {Games, Actions and Social Software: Multidisciplinary Aspects}, pages = {141--163}, editor = {Jan Ejick and Rineke Verbrugge}, series = {Lecture Notes in Computer Science}, volume = {7010}, publisher = {Springer}, isbn = {978-3-642-29325-2 (print), 978-3-642-29326-9 (online)}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-29326-9\_8}, } @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{BurDohEtAl:2010:242169, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson}, title = {{Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks}}, year = {2010}, booktitle = {Robotics: Science and Systems V}, pages = {257--264}, editor = {J. Trinkle and Y. Matsuoka and J.A. Castellanos}, publisher = {MIT Press}, isbn = {978-0-262-51463-7}, } @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{SzaSza:2009:242262, author = {Andrzej Szalas and Alicja Szalas}, title = {{Paraconsistent Reasoning with Words}}, year = {2009}, booktitle = {Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday}, pages = {43--58}, series = {Lecture Notes in Computer Science}, volume = {5070}, publisher = {Springer}, isbn = {978-3-642-04734-3}, issn = {0302-9743}, doi = {10.1007/978-3-642-04735-0\_2}, } @incollection{San:2008:265476, author = {Erik Sandewall}, title = {{The Leordo Computation System}}, year = {2008}, booktitle = {From Semantics to Computer Science: Essays in Honour of Gilles Kahn}, pages = {309--336}, editor = {Yves Bertot and G\'erard Huet and Jean-Jacques L\'evy and Gordon Plotkin.}, publisher = {Cambridge University Press}, isbn = {978-05-21-51825-3, 978-05-11-77052-4}, doi = {10.1017/CBO9780511770524.015}, } @incollection{Ols:2008:261848, author = {Per-Magnus Olsson}, title = {{Practical Pathfinding in Dynamic Environments}}, year = {2008}, booktitle = {AI Game Programming Wisdom 4}, editor = {Steve Rabin}, publisher = {Charles River}, isbn = {978-1-58450-523-5, 158-450-523-0}, } @incollection{MalSzaVit:2007:261686, author = {Jan Maluszynski and Andrzej Szalas and Aida Vitoria}, title = {{A Four-Valued Logic for Rough Set-Like Approximate Reasoning}}, year = {2007}, booktitle = {Transactions on Rough Sets VI Commemorating the Life and Work of Zdzislaw Pawlak, Part I. DOI: 10.1007/978-3-540-71200-8}, pages = {176--190}, editor = {James F. Peters and Andrzej Skowron and Ivo D\"untsch and Jerzy Grzymala-Busse and Ewa Orlowska and Lech Polkowski}, series = {Lecture Notes in Computer Science}, volume = {4374/2007}, publisher = {Springer}, isbn = {3-540-71198-8, 978-3-540-71198-8}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-540-71200-8\_11}, } @incollection{San:2006:268955, author = {Erik Johan Sandewall}, title = {{Coordination of actions in an autonomous robotic system}}, year = {2006}, booktitle = {Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello}, pages = {177--191}, series = {Lecture Notes in Computer Science}, volume = {4155}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11829263\_10}, } @incollection{Kle:2005:460025, author = {Alexander Kleiner}, title = {{Game AI: The Shrinking Gap Between Computer Games and AI Systems}}, year = {2005}, booktitle = {Ambient Intelligence: The evolution of technology, communication and cognition towards the future of human-computer interaction}, pages = {143--155}, editor = {G. Riva and F. Vatalaro and F. Davide and M. Alca\~{n}iz}, publisher = {IOS Press}, } @incollection{DohKacSza:2003: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 = {2003}, booktitle = {Rough-Neural Computing: Techniques for Computing with Words}, pages = {219--250}, series = {Cognitive Technologies}, publisher = {Springer}, isbn = {978-3-540-43059-9}, issn = {1611-2482}, } @incollection{DohLukEtAl:2003: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 = {2003}, booktitle = {Rough-Neural Computing: Techniques for Computing with Words}, pages = {189--218}, series = {Cognitive Technologies}, publisher = {Springer}, 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}, series = {Handbook of Defeasible Reasoning and Uncertainty Management Systems}, volume = {7}, publisher = {Kluwer}, isbn = {978-1-4020-0834-4}, } @incollection{KacSza:2001:499745, author = {Jaroslaw Kachniarz and Andrzej Szalas}, title = {{On a Static Approach to Verification of Integrity Constraints in Relational Databases}}, year = {2001}, booktitle = {Relational Methods for Computer Science Applications}, pages = {97--109}, editor = {Eva Orlowska and Andrzej Szalas}, series = {Studies in Fuzziness and Soft Computing}, volume = {65}, publisher = {Springer Physica-Verlag}, isbn = {3-7908-1365-6}, issn = {1434-9922}, } @incollection{SceCorTrn:1999:270596, author = {Paul Scerri and Silvia Coradeschi and Anders T\"orne}, title = {{A user oriented system for developing behavior based agents}}, year = {1999}, booktitle = {RoboCup-98: Robot Soccer World Cup II}, pages = {173--186}, editor = {Minoru Asada and Hiroaki Kitano}, series = {Lecture Notes in Computer Science}, volume = {1604}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-66320-1, e-978-3-540-48422-6, 3-540-66320-7}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/3-540-48422-1\_14}, } @incollection{CorMal:1999:270594, author = {Silvia Coradeschi and Jasec Malec}, title = {{How to make a challenging AI course enjoyable using the RoboCup soccer simulation system}}, year = {1999}, booktitle = {RoboCup-98: Robot Soccer World Cup II}, pages = {120--124}, editor = {Minoru Asada and Hiroaki Kitano}, series = {Lecture Notes in Computer Science}, volume = {1604}, publisher = {Springer Berlin/Heidelberg}, isbn = {3-540-66320-7}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/3-540-48422-1\_9}, } @incollection{NonSza:1998:499739, author = {Andreas Nonnengart and Andrzej Szalas}, title = {{A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory}}, year = {1998}, booktitle = {Logic at work: essays dedicated to the memory of Helena Rasiowa}, pages = {307--328}, editor = {Ewa Orlowska}, series = {Studies in Fuzziness and Soft Computing}, volume = {24}, publisher = {Physica Verlag}, isbn = {3-7908-1164-5}, issn = {1434-9922}, } @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}, publisher = {CSLI Publications}, } @incollection{Sza:1995:499773, author = {Andrzej Szalas}, title = {{Temporal Logic: A Standard Approach}}, year = {1995}, booktitle = {Time And Logic: A Computational Approach}, pages = {1--50}, editor = {Leonard Bolc and Andrzej Szalas}, publisher = {UCL Press Ltd.}, isbn = {1-85728-233-7, 978-1857282337}, } @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 = {3-540-58241-X, 0-387-58241-X}, issn = {0302-9743 (print), 1611-3349 (online)}, 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 Soving.}, series = {Volume 12}, volume = {12}, publisher = {Kluwer Academic Publishers}, } @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.}, publisher = {Ellis Horwood Ltd.}, } @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}, publisher = {John Wiley \& Sons}, isbn = {0-471-54799-9}, }