@incollection{ManHei:2023:1831203,
    author = {Linda Mannila and Fredrik Heintz},
    title = {{Introducing programming and computational thinking in grades 1--9: Sweden in an international context}},
    year = {2023},
    booktitle = {Programming and computational thinking in technology education: Swedish and international perspectives},
    pages = {60--88},
    editor = {Jonas Hallstr\"om and Marc J. de Vries},
    publisher = {Brill Academic Publishers},
    isbn = {9789004687912},
}

@incollection{Man:2023:1751834,
    author = {Linda Mannila},
    title = {{Integrating Programming in Other Subjects at Primary Level: Tool, Glue or Ideation}},
    year = {2023},
    booktitle = {Teaching Coding in K-12 Schools},
    pages = {127--144},
    editor = {Therese Keane and Andrew Fluck},
    publisher = {Springer},
    isbn = {9783031219696, 9783031219702},
    doi = {10.1007/978-3-031-21970-2\_9},
}

@incollection{DunPowSza:2018:1270910,
    author = {Barbara Dunin-Kęplicz and Alina Powala (Strachocka) and Andrzej Szalas},
    title = {{Variations on Jaśkowski's Discursive Logic}},
    year = {2018},
    booktitle = {The Lvov-Warsaw School. Past and Present},
    pages = {485--497},
    editor = {\'Angel GarridoUrszula Wybraniec-Skardowska},
    series = {Studies in Universal Logic},
    publisher = {Birkh\"auser},
    isbn = {9783319654294, 9783319654300},
    doi = {10.1007/978-3-319-65430-0\_34},
}

@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{Lfg:2016:1131488,
    author = {Fredrik L\"ofgren},
    title = {{How may robots affect the labour market in the near future?}},
    year = {2016},
    booktitle = {Machines, jobs and equality: Technological changes and labour markets in Europe},
    pages = {105--134},
    editor = {Andreas Bergstr\"om and Karl Wennberg},
    publisher = {The European Liberal Forum (ELF)},
    isbn = {9789187379369},
}

@incollection{DunSza:2015:850297,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{A New Perspective on Goals}},
    year = {2015},
    booktitle = {The Facts Matter: Essays on Logic and Cognition in Honour of Rineke Verbrugge},
    pages = {50--66},
    editor = {Sujata Ghosh and Jakub Szymanik},
    publisher = {College Publications},
    isbn = {978-1-84890-173-5},
}

@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{DunSza:2013:723538,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Taming Complex Beliefs}},
    year = {2013},
    booktitle = {Transactions on Computational Collective Intelligence XI},
    pages = {1--21},
    editor = {Ngoc Thanh Nguyen},
    series = {Lecture Notes in Computer Science},
    volume = {8065},
    publisher = {Springer},
    isbn = {978-3-642-41775-7, 978-3-642-41776-4},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-41776-4\_1},
}

@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\l{}aw Pawlak in Memoriam (vol. I)},
    pages = {517--543},
    editor = {Andrzej Skowron and Zbigniew 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{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{NguSza:2012:546383,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{Paraconsistent Reasoning for Semantic Web Agents}},
    year = {2012},
    booktitle = {Transactions on Computational 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, 978-3-642-29356-6},
    issn = {0302-9743},
    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, 978-3-642-29326-9},
    issn = {0302-9743},
    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{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},
    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},
    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},
    editor = {Oliviero Stock and Marco Schaerf},
    series = {Lecture Notes in Computer Science},
    volume = {4155},
    publisher = {Springer},
    isbn = {978-3-5403-7901-0, 978-3-5403-7902-7},
    issn = {0302-9743},
    doi = {10.1007/11829263\_10},
}

@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{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, 978-3-540-48422-6, 3-540-66320-7},
    issn = {0302-9743},
    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},
    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},
    editor = {Patrick Doherty},
    publisher = {CSLI Publications},
    isbn = {1-57586-031-7, 1-57586-030-9},
}

@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 = {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},
}