Andreas Brännström


Supervisors: Juan Carlos Nieves | Virginia Dignum
Affiliations: Responsible AI Research Group | WASP-HS Graduate School
Project: Strategic argumentation to deal with interactions between intelligent systems and humans
Profile
I am a computing science researcher with an academic background in cognitive science and computing science. I have an industry background in software engineering where I have been engaged in ICT startups and full-stack development in a variety of municipal digitalization projects.

Research Aims
I aim to formalize the underlying logic of human reasoning to provide artificial intelligent systems with decision-making models that consider human mental attributes, such as: beliefs, values, goals and intentions. To this end, formalize models based on psychological theories using non-monotonic reasoning techniques, such as Answer Set Programming and Formal Argumentation. The models are evaluated according to guidelines for responsible artificial intelligence. The models aim to improve strategic/empathic interaction capabilities of human-aware software assistants.


Human-Aware Planning Strategic Decison-Making Non-monotonic Reasoning Theory of Mind Responsible AI Systems



Intelligent Training Environment in Virtual Reality
Poster for EACD 2021 - Childhood Disability in a Changing World
EACD 2021 Download Poster
Empathic Healthcare Assistant in Augmented Reality
Poster for MIRAI 2.0 Research & Innovation week
MIRAI 2021 Download Poster
Goal-Hiding Information-Seeking Dialogues - A Formal Framework
Poster for AAMAS 2023 - The 22nd International Conference on Autonomous Agents and Multiagent Systems
EACD 2021 Download Poster

Research & Teaching

Since 2020

PhD Student Position in Computing Science

Umeå University, Sweden
Formal Reasoning Methods, Logic Programming,
Knowledge Engineering, Knowledge Elicitation & Experiments.
2021

Guest Lecturer: Interactivity in smart environments (5DV185)

Umeå University, Sweden
Lecture: Ontology development in Protégé: OWL and SWRL.
Lecture: Human-aware planning.
Lecture: Integration of ontology reasoners and Unity.
2021

Guest Lecturer: Reasoning and decision making (AI for Industry)

Umeå University, Sweden
Lecture: Integration of Answer Set Programming and Unity.
2021

Guest Lecturer: Trends in intelligent environments (5DV210)

Umeå University, Sweden
Lecture: Action reasoning, Answer Set Programming.
2019-2020

Research Engineer (CMRA Vinnova Project)

Umeå University, Sweden
Ontologies & Knowledge Engineering, Answer Set Programming, Virtual Reality Design.
Collaborative mixed-reality aid for children with autism.

Higher Education

2020

Master of Technology

Umeå University, Sweden
[Thesis] Master programme in Computing Science.
2018

Bachelor of Science

Umeå University, Sweden
[Thesis] Bachelor programme in Cognitive Science.

Professional Experience

2016-2021

Co-owner & Founder

Senovic Solutions AB, Sweden
Developed cloud services for quality assurance and scheduling in municipal facilities and workplaces.
2017-2018

System Engineer, Full-stack

Biznito AB & Senovic Solutions AB, Sweden
Developed a web-based booking system with realtime visualization and SMS services.
2017

System Engineer, Full-stack

Nordic Renovation Center via Umeå University, Sweden
Developed a web-based solution for file management, storage and search.
2015-2016

System Engineer, Full-stack

Bentica IT-konsult, Sweden
Developed a web-based booking system. Integration with Google API Services.
2010-2016

System Engineer, Full-stack, Project Manager

Kontrollera Scandinavia AB, Sweden
Developed cloud services for quality assurance and planning in municipal healthcare institutions.
2010

Web Developer

Flexolvit AB, Sweden
Developed company websites and services.
2010

Web Developer

NEtm AB, Sweden
Developed company websites and services.
2009-2010

Web Developer

Sorubin AB, Sweden
Developed company websites and services.
2009

UX-designer

Ladok on Umeå University, Sweden
Developed UX-guidelines.

Research Prototypes, Software and Algorithms

2022
[GitHub] UnityIIS - Library for Symbolic Reasoning in Unity.
2021
[GitHub] Motivation decision-graph. Action reasoning in Answer Set Programming. ASP/Clingo.
2021
[GitHub] OWL Ontology for social behavior / mental states in chidren with autism.
2021
[GitHub] OWL Ontology for social environments. Cafeteria and Autism use-case.
2021
[GitHub] Integration of an Ontology Reasoner in Unity for OWL-based game mechanics.
2020
[GitHub] Integration of Answer Set Programming in Unity for logic-based game mechanics.
2020
[GitHub] Human-Aware planner based on Theory of planned behavior. ASP/DLV-K.

Bibliograhpy selection

2023
[Fulltext] Brännström, A., Dignum, V., & Nieves, J. C. (2023, June). A Formal Framework for Deceptive Topic Planning in Information-Seeking Dialogues. In Proc. of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), London, United Kingdom, May 29 – June 2, 2023, IFAAMAS, 3 pages.
2022
[Fulltext] Brännström, A., & Nieves, J. C. (2022, August). Emotional Reasoning in an Action Language for Emotion-Aware Planning. In Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings (pp. 103-116). Cham: Springer International Publishing.
2022
[Fulltext] Brännström, A., & Nieves, J. C. (2022). A Framework for Developing Interactive Intelligent Systems in Unity. In EMAS’22: 10th International Workshop on Engineering Multi-Agent Systems@ AAMAS, Virtual Event, May 9-10, 2022 (Vol. 10).
2022
[Fulltext] Brännström, A., Kampik, T., Ruiz-Dolz, R., & Taverner, J. (2022). A Formal Framework for Designing Boundedly Rational Agents. In 14th International Conference on Agents and Artificial Intelligence (ICAART), Online, February 3-5, 2022 (Vol. 3, pp. 705-714). SciTePress.
2021
[Fulltext] Brännström, A., & Nieves, J. C. (2021). Modelling Human Mental-States in an Action Language following the Theory of Planned Behavior. In 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)@ ICLP, Virtual, September 20-27, 2021.
2021
[Fulltext] Brännström, A. (2021). Strategic Argumentation to deal with Interactions between Intelligent Systems and Humans. Online Handbook of Argumentation for AI, 2.
2020
[Fulltext] Brännström, A., Kampik, T., & Nieves, J. C. (2020). Towards Human-Aware Epistemic Planning For Promoting Behavior-Change. In Workshop on Epistemic Planning (EpiP)@ ICAPS, Online, October 26-30, 2020.