John Bruntse Larsen

John Bruntse Larsen

PhD student

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 021

2800 Kgs. Lyngby

Request a vCard via e-mail.

Publications
Projects
DTU news
Loading

Publications rss feed

2018
  PDF

Adding Organizational Reasoning to Agent-Based Simulations in GAMA

Larsen, John Bruntse
part of: Proceedings of EMAS 2018, pages: 1-8, 2018
Presented at:
6th International Workshop on Engineering Multi-Agent Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018

 

Agent Programming Languages and Logics in Agent-Based Simulation

Larsen, John Bruntse
part of: Modern Approaches for Intelligent Information and Database Systems, pages: 517-526, 2018, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-76081-0_44

 

Engineering a Multi-Agent System in Jason and CArtAgO

Villadsen, Jørgen ; Fleckenstein, Oliver ; Hatteland, Helge ; Larsen, John Bruntse
in: Annals of Mathematics and Artificial Intelligence, vol: 84, issue: 1-2, pages: 57–74

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/s10472-018-9588-8

  PDF

Modelling the Social Practices of an Emergency Room to Ensure Staff and Patient Wellbeing

Mercuur, Rijk ; Larsen, John Bruntse ; Dignum, Virginia
part of: BNAIC 2018 Preproceedings, pages: 133-147, 2018
Presented at:
30th Benelux Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018

  PDF

Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL

Jensen, Alexander Birch ; Larsen, John Bruntse ; Schlichtkrull, Anders ; Villadsen, Jørgen
in: AI Communications, vol: 31, issue: 3, pages: 281-299

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.3233/AIC-180764

  PDF

Querying Social Practices in Hospital Context

Larsen, John Bruntse ; Dignum, Virginia ; Villadsen, Jørgen ; Dignum, Frank
part of: Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, pages: 405-412, 2018, SCITEPRESS Digital Library
Presented at:
10th International Conference on Agents and Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.5220/0006580904050412

  PDF

Substitutionless First-Order Logic: A Formal Soundness Proof

From, Andreas Halkjær ; Larsen, John Bruntse ; Schlichtkrull, Anders ; Villadsen, Jørgen
Presented at:
Isabelle Workshop 2018

Type: Paper (Peer reviewed)

Status: Published     |    Year: 2018

 

Three Categories of Context-Aware Systems

Shishkov, Boris ; Larsen, John Bruntse ; Warnier, Martijn ; Janssen, Marijn
part of: Business Modeling and Software Design, pages: 185-202, 2018, Springer

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-94214-8_12

2017
  PDF

An Approach for Hospital Planning with Multi-Agent Organizations

Larsen, John Bruntse ; Villadsen, Jørgen
part of: Rough Sets, pages: 454-465, 2017, Springer
Presented at:
International Joint Conference on Rough Sets

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1007/978-3-319-60840-2_33

 

An Approach for Hospital Planning with Multi-Agent Organizations

Larsen, John Bruntse ; Villadsen, Jørgen
part of: Preproceedings of the 29th Benelux Conference on Artifcial Intelligence, pages: 383-385, 2017
Presented at:
29th Benelux Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017