Concepedia

Jan Broersen

JB

Statistics

Publications

17

Citations

894

H-Index

14

Active since

1998

Affiliations

Utrecht University(Current)

Centre National de la Recherche Scientifique

University of Trento

Institut Polytechnique de Bordeaux

Institut de Recherche en Informatique de Toulouse

Jan Broersen is an author at Utrecht University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsMechanism DesignSemanticsSocial SciencesDecision TheoryCognitive ScienceGamesDesign

Publications per year

1998–2022

17

Publications

17

The BOID architecture

Jan Broersen, Mehdi Dastani, Joris Hulstijn et al. · 2001 · 248 citations

Negotiation, Agent Decision-making, Behavioral Decision Making +18

Goal generation in the BOID architecture

Jan Broersen, Mehdi Dastani, Joris Hulstijn et al. · 2002 · 187 citations

Artificial Intelligence, Engineering, Agent Decision-making +22

Deontic epistemic stit logic distinguishing modes of mens rea

Jan Broersen · Journal of Applied Logic · 2011 · 78 citations

Philosophy Of Language, Dynamic Epistemic Logic, Automated Reasoning +5

Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Jan Broersen, Andreas Herzig, Nicolas Troquard · Journal of Logic and Computation · 2006 · 54 citations

Engineering, Game Theory, Classical Logic +17

A normal simulation of coalition logic and an epistemic extension

Jan Broersen, Andreas Herzig, Nicolas Troquard · 2007 · 48 citations · Full text

Coalition Formation, Normal Simulation, Dynamic Epistemic Logic +13

1–5 of 17