John Bruntse Larsen

I am an industrial PhD student at the Technical University of Denmark (DTU) and Prolog Development Center (PDC). At DTU, I am a member of the Algorithms, Logic and Graphs (Algolog) section of the Department of Applied Mathematics and Computer Science (DTU Compute).

The title of my research project is "Hospital Staff Planning with Multi-Agent Goals" and it is about organizational reasoning in multi-agent based simulation and applications of such for hospital staff planning. See the official abstract for further details.

My main supervisor is Jørgen Villadsen (DTU Compute), and my co-supervisors are Carsten Kehler Holst (PDC) and Niels Carstens (PDC).

Publications

• Going Beyond BDI for Agent-Based Simulation
  John Bruntse Larsen. Journal of Information and Telecommunication, 2019, pp. 1-19, published online. Taylor & Francis
  Publisher website
• Adding Organizational Reasoning to Agent-Based Simulations in GAMA
  John Bruntse Larsen. Engineering Multi-Agent Systems. EMAS 2018. Lecture Notes in Computer Science, Volume 11375, pp. 242-262. Springer, Cham
  Publisher website
• Engineering Multi-Agent Systems: State of Affairs and the Road Ahead
  Viviana Mascardi, Danny Weyns, Alessandro Ricci et al. ACM SIGSOFT Software Engineering Notes, January 2019, Volume 44, Issue 1, pp. 18-28. ACM, New York, NY, USA
  Publisher website
• Engineering a Multi-Agent System in Jason and CArtAgO
  Jørgen Villadsen, Oliver Fleckenstein, Helge Hatteland and John Bruntse Larsen. Annals of Mathematics and Artificial Intelligence, 2018, Volume 84, Issue 1-2, pp. 57–74. Springer International Publishing
  Publisher website
• Modelling the Social Practices of an Emergency Room to Ensure Staff and Patient Wellbeing
  Rijk Mercuur, John Bruntse Larsen and Virginia Dignum. BNAIC 2018 poster presentation
  Conference Website Proceedings (PDF)
• Adding Organizational Reasoning to Agent-Based Simulations in GAMA
  John Bruntse Larsen. EMAS 2018
  Workshop Website Slides PDF
• Three Categories of Context-Aware Systems
  Boris Shishkov, John Bruntse Larsen, Martijn Warnier, Marijn Janssen. Business Modeling and Software Design. BMSD 2018. Lecture Notes in Business Information Processing, Volume 319, pp. 185-202. Springer, Cham
  Conference Website Publisher Website
• Agent Programming Languages and Logics in Agent-Based Simulation
  John Bruntse Larsen. ACIIDS 2018 poster presentation
  Conference Website Poster PDF
• Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL
  Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull and Jørgen Villadsen. AI Communications, 2018, Volume 31, Issue 3, pp. 281-299. IOS Press
  Publisher Website
• Querying Social Practices in Hospital Context
  John Bruntse Larsen, Virginia Dignum, Jørgen Villadsen and Frank Dignum. In Proceedings of the 10th International Conference on Agents and Artificial Intelligence. ICAART 2018, Volume 2, ISBN 978-989-758-275-2, pp. 405-412. SCITEPRESS.
  Publisher Website Poster PDF
• Substitutionless First-Order Logic: A Formal Soundness Proof
  Andreas Halkjær From, John Bruntse Larsen, Anders Schlichtkrull and Jørgen Villadsen. Isabelle Workshop 2018
  Workshop Website
• An Approach for Hospital Planning with Multi-Agent Organizations (Extended Abstract)
  John Bruntse Larsen and Jørgen Villadsen. BNAIC 2017 poster presentation
  Conference Website Poster Preproceedings (PDF)
• Certified Soundness of Simplest Known Formulation of First-Order Logic
  John Bruntse Larsen. ESSLLI 2017 Student Poster Session
  Session Website IsaFoL Poster Slide PDF
• An Approach for Hospital Planning with Multi-Agent Organizations
  John Bruntse Larsen and Jørgen Villadsen. Rough Sets. IJCRS 2017. Lecture Notes in Computer Science, Volume 10314, pp. 454-465. Springer, Cham
  Publisher website Slides PDF
• Korean Linked Data on the Web: Text to RDF
  Martín Rezk, Jungyeul Park, John Larsen, Yoon Yongun, Kyungtae Lim, YongGyun Hahm, and Key-Sun Choi. Semantic Technology. JIST 2012. Lecture Notes in Computer Science, Volume 7774, 2013, pp. 368-374. Springer, Berlin
  Publisher website ResearchGate (PDF)
• Intelligent Surveillance with Autonomous Underwater Vehicles
  Thor Helms, John Bruntse Larsen, and Jens Peter Träff. Algolog Multi-Agent Programming Seminar Proceedings. AMAPS 2012. IMM-DTU
  Seminar Website Proceedings (PDF)
• Inconsistency Handling in Multi-Agent Systems
  John Bruntse Larsen. Algolog Multi-Agent Programming Seminar Proceedings. AMAPS 2011. IMM-DTU
  Seminar Website Proceedings (PDF)

Theses

• Content-Based Recommender Systems
  John Bruntse Larsen. MSc thesis, DTU Compute, Technical University of Denmark 2013
  Details PDF
• Inconsistency Handling in Multi-Agent Systems
  John Bruntse Larsen. BSc thesis, DTU Compute, Technical University of Denmark 2011
  Details PDF

Other

• Podcast for the DTU Compute PhD Bazaar - 2019-05-10
  Third year: WIP: Generating Realistic Agent-Based Prediction Models.
  MP3
  10 minutes of me talking about results and ongoing research in the final quarter of the PhD.
• Podcast for the DTU Compute PhD Bazaar - 2018-05-09
  Second year: increasing focus on research.
  MP3
  10 minutes of me talking about experiences with data collection, collaboration and keeping things going.
• Video for the DTU Compute PhD Bazaar - 2017-05-10
  Presentation of the PhD project and life as an industrial PhD student at DTU Compute.
  Youtube
• Podcast for the DTU Compute PhD Bazaar - 2017-04-06
  Informal chat with Andrés Occhipinti and Anders Schlichtkrull about our ongoing research and PhD projects.
  MP3
  Timestamps:
  • 00:00 Intro.
  • 01:05 Part 1, Introduction of PhD projects.
  • 06:30 Break.
  • 06:55 Part 2, Discussion about the PhD projects and how they relate to each other.
  • 14:35 Final words / outro.