John Bruntse Larsen

John Bruntse Larsen

Ph.d.-studerende

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 021

2800 Kgs. Lyngby

Få tilsendt vCard på e-mail.

Publikationer
Projekter
Loading

Publikationer 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     |    År: 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     |    År: 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     |    År: 2018     |    DOI: https://doi.org/10.1007/s10472-018-9588-8

 

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     |    År: 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     |    År: 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     |    År: 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
part of: Proceedings of the Isabelle Workshop 2018, 2018
Presented at:
Isabelle Workshop 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 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     |    År: 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     |    År: 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     |    År: 2017