@incollection{FraHei:2026:2048128,
    author = {Marie Francisco and Fredrik Heintz},
    title = {{14: The geopolitics of AI in global environmental governance}},
    year = {2026},
    booktitle = {Handbook on the Geopolitics of Sustainability},
    pages = {165--176},
    editor = {Bj\"orn-Ola Linn\'er and Therese Bennich and and Henrik Carlsen},
    publisher = {Edward Elgar Publishing},
    isbn = {9781035342532, 9781035342549},
    doi = {10.4337/9781035342549.00026},
}

@incollection{HeiLin:2026:2047330,
    author = {Fredrik Heintz and Katerina Linden},
    title = {{SRIDA: Charting the Future of a Progressive, Inclusive, and Sustainable European ADR Ecosystem}},
    year = {2026},
    booktitle = {Artificial Intelligence, Data and Robotics: Foundations, Transformations and Future Directions},
    pages = {29--49},
    editor = {Curry and E. and et al.},
    publisher = {Springer Nature},
    isbn = {9783032105608, 9783032105615},
    doi = {10.1007/978-3-032-10561-5\_3},
}

@incollection{KucBngLun:2026:2044888,
    author = {Kostiantyn Kucher and Magnus B{\aa}ng and Jonas Lundberg},
    title = {{Human-AI Interaction and Visualization Perspectives on ADR}},
    year = {2026},
    booktitle = {Artificial Intelligence, Data and Robotics: Foundations, Transformations and Future Directions},
    pages = {621--647},
    editor = {Edward Curry and Philip Piatkiewicz and Fredrik Heintz and Heike Vornhagen and Ahmed Nabil Belbachir and Emanuela Girardi and Marc Schoenauer and Juha R\"oning},
    publisher = {Springer Nature},
    isbn = {978-3-032-10560-8, 978-3-032-10563-9, 978-3-032-10561-5},
    doi = {10.1007/978-3-032-10561-5\_22},
    note = {The work on this chapter was carried out within the scope of the AI4REALNET project. AI4REALNET has received funding from European Union\’s Horizon Europe Research and Innovation Programme under Grant Agreement No. 101119527 and from the Swiss State Secretariat for Education, Research and Innovation (SERI). Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union and SERI. Neither the European Union nor the granting authority can be held responsible for them.},
}

@incollection{SteMan:2025:1986037,
    author = {Linn\'ea Stenliden and Linda Mannila},
    title = {{AI-litteracitet f\"or l\"arare: Att navigera i ett f\"or\"anderligt utbildningslandskap}},
    year = {2025},
    booktitle = {Digital kompetens f\"or l\"arare},
    pages = {211--226},
    editor = {Anna-Lena Godhe and Sylvana Sofkova Hashemi},
    publisher = {Gleerups Utbildning AB},
    isbn = {9789151111414},
}

@incollection{LarHarEtAl:2023:1890521,
    author = {Stefan Larsson and Kashyap Haresamudram and Charlotte H\"ogberg and Yucong Lao and Axel Nystr\"om and Kasia S\"oderlund and Fredrik Heintz},
    title = {{Four facets of AI transperency}},
    year = {2023},
    booktitle = {Handbook of Critical Studies of Artificial Intelligence},
    pages = {445--455},
    editor = {Simon Lindgren},
    publisher = {Edward Elgar Publishing},
    isbn = {9781803928562},
}

@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{Hei:2022:2004241,
    author = {Fredrik Heintz},
    title = {{The computational thinking and artificial intelligence duality}},
    year = {2022},
    booktitle = {Computational thinking education in K-12: Artificial Intelligence Literacy and Physical Computing},
    pages = {143--151},
    editor = {Kong and SC; Abelson and H},
    publisher = {MIT PRESS},
    isbn = {9780262543477, 9780262368964},
    doi = {10.7551/mitpress/13375.003.0012},
}

@incollection{Hei:2020:1879321,
    author = {Fredrik Heintz},
    title = {{Commentary on AI in the EU}},
    year = {2020},
    booktitle = {Human-centred AI in the EU: trustworthiness as a strategic priority in the European member states},
    pages = {1--12},
    editor = {Stefan Larsson and Claire Ingram Bogusz and Jonas Andersson Schwarz},
    publisher = {European Liberal Forum (ELF)},
    isbn = {9789187379819},
}

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