Projects
As a lecturer I am also affiliated to
CKI.
In this context,
together with
Rosja
Mastop,
John-Jules
Meyer and
Albert
Visser, I
wrote a proposal for a PhD position titled "
Logical models for the dynamics
of
motivational attitudes". The PhD position resulting from this
project has been successfully fullfilled by Paolo
Turrini.
Publications
2013
Play Style: Showing Your Age,
Shoshannah Tekofsky, Pieter Spronck, Aske Plaat, Jaap van den Herik,
Jan Broersen, Proceedings IEEE Conference on Computational Intelligence and Games (CIG), 2013. (in press)
Forbidding Undesirable Agreements,
Paolo Turrini,
Davide Grossi, Jan Broersen, John-Jules Meyer, Journal of Applied
Logic, Elsevier 2013. (in press)
On the Reconciliation of Logics of Agency and Logics of Event Types,
Jan Broersen, in 'Krister Segerberg on Logic of Action', Studia Logica
book series
“Trends in
Logic”, subseries “Outstanding contributions”, devoted to the work
of Krister Segerberg, Springer (in press).
A stit Logic Analysis of Morally
Lucky and Legally Lucky Action Outcomes, Jan Broersen, Studia
Logica book series
“Trends in
Logic”, subseries “Outstanding contributions”, devoted to the work
of Nuel Belnap, Springer (in press).
Action, Failure and Free Will
Choice in Stit Logic,
Jan Broersen, John-Jules Charles Meyer, In 'Epistemology, Context and
Formalism', edited by Franck Lihoreau and Manuel Rebuschi, Springer,
(in press)
.
PsyOps: Personality Assessment
Through Gaming Behavior,
Shoshannah Tekofsky, Pieter Spronck, Aske Plaat, Jaap van den Herik,
Jan Broersen, Proceedings 8th International Conference on the
Foundations of Digital Games, ACM proceedings 2013.
Normative Reasoning and Consequence,
Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide
Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre,
Luca Tummolini, Paolo Turrini, and François Schwarzentruber, Dagstuhl
Follow-Ups Vol. 4, 33-70, Dagstuhl Publishing, 2013. [BibTex]
Deontic Logic and Agency,
Jan Broersen,
The
Encyclopedia of Philosophy and the Social Sciences,
edited by Byron Kaldis, SAGE publications, April 2013. [
BibTex]
Deontic Logic, Jan
Broersen, Dov Gabbay, Andreas Herzig, Emiliano Lorini, John-Jules
Meyer, Xavier Parent, Leendert van der Torre,
Agreement
Technologies,
Law, Governance and Technology Series 8, edited by Sascha Ossowski,
171-181, Springer 2013. [
BibTex]
Probabilistic
stit Logic and its Decomposition, Jan Broersen,
International Journal of Approximate Reasoning 54, 467–477, Elsevier,
2013. [
BibTex]
2012
Changing Norms is Changing Obligation Change,
Jan Broersen, Dov Gabbay, Leendert van der Torre, Eleventh
International Workshop on
Deontic Logic in Computer Science (DEON'12), Lecture
Notes in Artificial Intelligence 7393, 199-214, Springer, 2012. [
BibTex]
Ten
Problems of Deontic Logic and Normative Reasoning in Computer
Science,
Jan Broersen and Leendert van der Torre, ESSLLI 2010
course, Lecture Notes in Computer Science 7388, 55-88, Springer, 2012. [
BibTex]
Three
Points of Disagreement with Gideon Yaffe on Attempt, Review
Symposium Gideon Yaffe, Attempts in the Philosophy of Action and the
Criminal Law, Jan Broersen,
Jurisprudence
3(1), 2012. [
BibTex]
Regulating
competing coalitions: a logic for socially optimal group choices
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Meyer, Journal of
Applied Non-classical Logics, Hermes-Lavoisier, 2012. [
BibTex]
2011
Probabilistic Action and Deontic Logic,
Jan Broersen, invited abstract to the Proceedings of the 12th
International Workshop on Computational Logic in Multi-Agent Systems,
Lecture
Notes in Artificial Intelligence 6814, 293-294, Springer, 2011. [
BibTex]
Modeling
Attempt and Action Failure in Probabilistic Stit Logic,
Jan Broersen, Proceedings of Twenty-Second International Joint
Conference
on
Artificial Intelligence (IJCAI 2011), 792-797, 2011. [
BibTex]
Probabilistic
Stit Logic,
Jan Broersen, Proceedings 11th European Conference on Symbolic and
Quantitative Approaches to Reasoning with Uncertainty (ECSQARU
2011), Lecture
Notes in Artificial Intelligence, 6717, 521-531, Springer, 2011. [
BibTex]
Making a
Start with the Stit Logic Analysis of Intentional Action,
Jan Broersen,
Journal
of Philosophical
Logic, Vol 40. 399-420, Springer, 2011. [
BibTex]
Deontic Epistemic Stit Logic Distinguishing
Modes of Mens Rea, Jan Broersen,
Journal of Applied
Logic, Vol 9, nr 2, 127-152, Elsevier, 2011. [
BibTex]
Grounding
Power on Actions and Mental Attitudes, Emiliano
Lorini, Nicolas Troquard, Andreas Herzig, and Jan Broersen, FAMAS'007
special issue Logic Journal of the IGPL, Oxford journals, october
2011. [
BibTex]
2010
Forbidding Undesirable Agreements,
Paolo Turrini, Jan Broersen,
Davide Grossi, John-Jules Meyer, Proceedings Tenth International
Workshop on
Deontic Logic in Computer Science (DEON'10), Lecture Notes in
Computer Science 6181, 306-322, Springer, 2010. [
BibTex]
CTL.STIT: enhancing ATL to express
important multi-agent system verification properties,
Jan Broersen, Proceedings 9th International Conference on Autonomous
Agents and Multiagent Systems, 683-690, ACM Press, 2010. [
BibTex]
2009
What groups do, can do, and know they can do: a normal
modal logic analysis, Jan Broersen, Andreas Herzig and
Nicolas
Troquard,
Journal of Applied Non-classical Logic, vol 19, nr 3, 261-289,
Hermes-Lavoisier, 2009. [
BibTex]
An
Update Operator for Strategic Ability, Paolo Turrini, Jan
Broersen,
Rosja
Mastop and John-Jules Meyer, 2nd International Workshop on Logic,
Rationality and Interaction (LORI-II), Lecture
Notes in
Artificial Intelligence 5834, 292-301, Springer, 2009. [
BibTex]
Representing Excuses in Social Dependence
Networks,
Guido Boella, Jan Broersen, Leendert van der Torre, Serena Villata,
11th Conference of the Italian Association for Artificial Intelligence
(AI*IA 2009), Lecture
Notes in
Artificial Intelligence 5883, 365-374, Springer, 2009. [
BibTex]
A stit
Logic for Extensive Form Group Strategies,
Jan Broersen, 2nd Workshop on Logics for
Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), IEEE
Computer Society Press, 2009. [
BibTex]
Strategic Ability Update: A Modal Logic
Account,
Jan Broersen,
Rosja
Mastop, John-Jules Meyer and Paolo Turrini, 2nd Workshop on Logics for
Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), IEEE
Computer Society Press, 2009. [
BibTex]
First
Steps in the stit Logic
Analysis of Intentional Action, Jan Broersen, ESSLLI 2009
workshop on Logical Methods for Social Concepts (LMSC'09), ESSLLI
workshop proceedings 2009. [
BibTex]
On Basic Characteristics of Agent Types and their Influence on Rational
Agent Interactions, Jan Broersen, IJCAI 2009 workshop on Logic
and the Simulation of Interaction and Reasoning 2 (LSIR2), 2009. [
BibTex]
Determining
the Environment: A Modal Logic for Closed Interaction,
Jan Broersen,
Rosja
Mastop, John-Jules Meyer and Paolo Turrini, Synthese, special section
of Knowledge, Rationality and Action, Volume 169, Number 2, 351-369,
Springer, 2009. [
BibTex]
Issues
in Designing
Logical Models for Norm Change,
Jan Broersen, Organized Adaption in Multi-Agent Systems, First
International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008.
Revised and Invited Papers (invited contribution), Lecture
Notes in
Artificial Intelligence 5368, 1-17, Springer, 2009. [
BibTex]
Decision Procedures for
a Deontic Logic
Modeling
Temporal
Inheritance of Obligations, Philippe Balbiani, Julien Brunel,
Jan Broersen, Electronic
Notes in Theoretical Computer Science 231, 69-89, revised papers M4M
2007, Elsevier 2009. [
BibTex]
Reasoning About
Norms,
Obligations, Time and Agents, Jan
Broersen and
Leendert
van der Torre, Agent Computing and Multi-Agent Systems, 10th Pacific
Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok,
Thailand, November 21-23, 2007. Revised Papers, Lecture Notes in
Artificial Intelligence 5044, 171-182, Springer, 2009. (Best Paper)
[
BibTex]
A
complete STIT logic for knowledge and action, and some of its
applications, Jan
Broersen, Proceedings Declarative Agent Languages and Technologies VI,
6th International Workshop DALT 2008, Lecture Notes in
Artificial
Intelligence 5397,
47-59, Springer, 2009. [
BibTex]
2008
Reasoning
About Constitutive Norms, Counts-As Conditionals, Institutions,
Deadlines and Violations, Guido Boella, Jan
Broersen and
Leendert
van der Torre, Proceedings PRIMA '08, Lecture Notes in
Computer Science 5357, 86-97, Springer, 2008. [
BibTex]
A
logic for closed-world interaction, Jan Broersen,
Rosja
Mastop, John-Jules Meyer and Paolo Turrini, Proceedings Eleventh
European Conference on
Logics in Artificial Intelligence (JELIA'08), Lecture Notes in
Artificial Intelligence 5293, 89-99, Springer, 2008. [
BibTex]
Conditional
Norms and Dyadic Obligations in Time, Jan
Broersen and Leendert
van der Torre,
poster, Proceedings of the Eighteenth European Conference on
Artificial Intelligence (ECAI2008), 883--884, IOS Press, 2008. [
BibTex]
Organizing
Coherent Coalitions,
Jan
Broersen,
Paolo Turrini, Rosja
Mastop and John-Jules Meyer,
poster, Proceedings of the
Eighteenth European Conference on
Artificial Intelligence (ECAI2008), 879--880, IOS Press, 2008. [
BibTex]
A
Logical Analysis of the Interaction between `Obligation-to-do'
and `Knowingly Doing',
Jan
Broersen, Proceedings Ninth International Workshop on
Deontic Logic in Computer Science (DEON'08), Lecture Notes in
Computer Science 5076, 140-154, Springer, 2008. [
BibTex]
A
Deontic Logic for Socially Optimal Norms,
Jan Broersen,
Paolo Turrini, Rosja
Mastop and John-Jules Meyer, Proceedings Ninth International
Workshop on Deontic Logic in Computer Science (DEON'08), Lecture
Notes in Computer Science 5076, 218-232, Springer, 2008. [
BibTex]
Interpreting
Product Update as Reasoning about Observations and
Meta- Observations, Jan Broersen,
Proceedings AISB 2008 Convention on Communication, Interaction
and Social Intelligence, Symposium "Logic and the Simulation of
Interaction and Reasoning", AISB'08 proceedings, 2008. [
BibTex]
`What I fail to do today, I have
to do tomorrow': a logical study
of the propagation of obligations, Jan Broersen
and Julien
Brunel, Proceedings CLIMA VIII, Lecture Notes in Artificial
Intelligence
5056, 82
- 99, Springer, 2008. [
BibTex]
2007
Grounding Power on
Actions and
Mental Attitudes, Emiliano Lorini, Andreas Herzig, Jan
Broersen and Nicolas Troquard, Proceedings FAMAS
'07, 2007. [
BibTex]
A
Normal Simulation of Coalition Logic and an Epistemic
Extension, Jan Broersen, Andreas Herzig and
Nicolas
Troquard, proceedings TARK XI, ACM Digital Library, 92-101,
2007. [
BibTex]
Preservation of
Obligations in a
Temporal and Deontic Framework, Jan Broersen and
Julien
Brunel, Poster AAMAS'07, ACM Press, 2007. [
BibTex]
2006
Embedding
Alternating-time Temporal Logic in Strategic STIT Logic of
Agency, Jan Broersen, Andreas Herzig and Nicolas
Troquard,
Journal of Logic and Computation, 16:5, 559-578, 2006. [
BibTex]
A STIT-extension of ATL, Jan
Broersen, Andreas Herzig
and Nicolas Troquard, Proceedings Tenth European Conference on
Logics in Artificial Intelligence (JELIA'06), Lecture Notes in
Artificial Intelligence 4160, 69-81, Springer, 2006. [
BibTex]
Strategic Deontic
Temporal Logic
as a Reduction to ATL, with an Application to Chisholm's
Scenario,
Jan
Broersen, Proceedings Eighth International Workshop on
Deontic Logic in Computer Science (DEON'06), Lecture Notes in
Computer Science 4048, Springer, 53-68, 2006. [
BibTex]
From
Coalition Logic to STIT, Jan Broersen,
Andreas Herzig
and Nicolas Troquard, Proceedings LCMAS 2005,
Electronic
Notes in Theoretical Computer Science, 157:4, 23-35, 2005. [
BibTex]
Beliefs in Agent
Implementation, Laurens Winkelhagen, Mehdi Dastani, and
Jan
Broersen, Proceedings DALT 2005, Lecture Notes in Computer Science
3904, Springer, 2006. [
BibTex]
2005
Semantic Analysis
of Chisholm's
Paradox,
Jan
Broersen and
Leendert van der Torre, Proceedings of the 17th
Belgium-Netherlands Artificial Intelligence Conference, 2005. [
BibTex]
Beliefs,
Obligations, Intentions and Desires as Components in an Agent
Architecture, Jan Broersen, Mehdi Dastani and
Leendert van
der Torre,
International
Journal of Intelligent Systems, volume 20, issue 9, 893-920,
2005. [
BibTex]
2004
On
the Logic of `Being Motivated to Achieve Rho, before
Delta', Jan Broersen, Proceedings Ninth European
Conference
on Logics in Artificial Intelligence (JELIA'04), Lecture Notes in
Artificial Intelligence 3229, 334-346, Springer, 2004. [
BibTex]
Specifying Multiagent Organizations,
Leendert van der
Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen, Proceedings
Seventh International Workshop on Deontic Logic in Computer Science
(DEON'04), Lecture Notes in Computer Science 3065, 243-257,
Springer, 2004. [
BibTex]
Designing a Deontic Logic of Deadlines,
Jan Broersen,
Frank Dignum, Virginia Dignum, John-Jules Meyer, Proceedings
Seventh International Workshop on Deontic Logic in Computer Science
(DEON'04), Lecture Notes in Computer Science 3065, 43-56, Springer,
2004. [
BibTex]
Meeting the Deadline: Why, When and How,
Frank Dignum,
Jan Broersen, Virginia Dignum and John-Jules Meyer, Proceedings
Third NASA-Goddard/IEEE Workshop on Formal Approaches to
Agent-Based Systems (FAABS III), Lecture Notes in Computer Science
3228, 30-40, Springer, 2004. [
BibTex]
Action Negation and Alternative Reductions for Dynamic
Deontic
Logics, Jan Broersen,
Journal of Applied
Logic,
volume 2, issue 1, 153-168, Elsevier, 2004. [
BibTex]
2003
What
an Agent Ought To Do: a Review of John Horty's `Agency and Deontic
Logic', Jan Broersen, Leendert van der Torre,
AI
and
Law, volume 11, 45-61, 2003. [
BibTex]
Relativized Action Complement for Dynamic Logics,
J.M.
Broersen,
Advances in Modal Logic, volume 4, 51-70, King's College
Publications 2003. [
BibTex]
BDIO-CTL: Obligations and the Specification of Agent
Behavior, J. Broersen, M. Dastani, and L. van der Torre,
poster,
In Proceedings of Eighteenth International Joint Conference
on
Artificial Intelligence (IJCAI2003), 1389--1390, 2003. [
BibTex]
Modal
Action Logics for Reasoning about Reactive Systems,
Jan
Broersen, PhD-thesis Vrije Universiteit Amsterdam, january
2003. [
BibTex]
2002
Goal Generation in the BOID Architecture, Jan
Broersen,
Mehdi Dastani, Joris Hulstijn and Leendert van der Torre,
Cognitive
Science Quarterly, Volume 2, Issue 3-4, 2002. [
BibTex]
Realistic Desires, Jan Broersen and Mehdi
Dastani and
Leendert van der Torre,
Journal
of Applied Non-Classical Logics, Volume 12, No. 2, 2002. [
BibTex]
Trust and Commitment in Dynamic Logic,
Jan Broersen and
Mehdi Dastani and Zisheng Huang and Leendert van der Torre,
Proceedings of the First EurAsian Conference on Advances in
Information and Communication Technology (EURASIA-ICT 2002), Lecture
Notes in Computer Science 2510, 677-684, Springer, 2002. [
BibTex]
Logical Specification of Agent Architecture Components,
Jan
Broersen and Mehdi Dastani and Leendert van der Torre, Proceedings
of the 14th Belgium-Netherlands Artificial Intelligence Conference,
2002. [
BibTex]
A new action base for dynamic deontic logics,
J.M. Broersen,
Pre-proceedings Sixth International Workshop on Deontic Logic in
Computer Science (DEON'02), 2002. [
BibTex]
The mutual exclusion problem in reasoning about action
and
change , J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer,
Pre-proceedings 9th International Workshop on Non-Monotonic
Reasoning (NMR2002), editors: Salem Benferhat and Enrico
Giunchiglia, 365-371, 2002. [
BibTex]
2001
A
Fixed-point Characterization of a Deontic Logic of Regular
Action, J.M. Broersen and R.J. Wieringa and
J.-J.Ch. Meyer,
Fundamenta
Informaticae 48, special issue on deontic logic in computer
science, november 2001. [
BibTex]
Resolving Conflicts between Beliefs, Obligations,
Intentions and
Desires, J. Broersen, M.Dastani and L.
van der Torre,
Symbolic and Quantitative Approaches to Reasoning and Uncertainty.
Proceedings of the ECSQARU'01, Lecture
Notes in Computer Science 2143, 568-579, Springer, 2001. [
BibTex]
The
BOID
architecture, J. Broersen and M. Dastani and Z.
Huang and
J. Hulstijn and L. van der Torre, Proceedings of the fifth
international conference on autonamous agents (AA2001), 9-16, ACM
Press, 2001. [
BibTex]
An alternative classification of agent types based on
BOID
conflict resolution, Jan Broersen and Mehdi Dastani and
Zisheng
Huang and Joris Hulstijn and Leendert van der Torre, Proceedings of
the 13th Belgium-Netherlands Artificial Intelligence Conference,
79--87, 2001. [
BibTex]
Wishful Thinking, J. Broersen, M. Dastani and
L. van der
Torre, Proceedings of DGNMR01, 2001. [
BibTex]
2000
A
Semantics for Persistency in Propositional Dynamic Logic,
J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer, Proceedings
First International Conference on Computational Logic (CL2000), Lecture
Notes in Computer Science 1861, Springer, 2000. [
BibTex]
The BOID project, Jan Broersen and Mehdi
Dastani and Zisheng
Huang and and Leendert van der Torre, Workshop on Practical
Reasoning Agents, Imperial College London, 2000. [
BibTex]
Commitment and Trust in Dynamic Logic, Jan
Broersen, Mehdi
Dastani and Leendert van der Torre, Proceedings of the Twelfth
Belgium-Netherlands Artificial Intelligence Conference (BNAIC'00),
editors: Antal van den Bosch and Hans Weigand, 2000. [
BibTex]
Leveled commitment and trust in negotiation,
J. Broersen and
M. Dastani and L. van der Torre, Proceedings of the autonomous
Agents 2000 Workshop on Deception, Fraud and Trust in Agent
Societies, Barcelona 2000. [
BibTex]
Mu-calculus-based Deontic Logic for Regular Actions,
J.M.
Broersen and R.J. Wieringa and J.-J.Ch. Meyer, Pre-proceedings
Fifth International Workshop on Deontic Logic in Computer Science
(DEON'00), editors: Robert Demolombe and Risto Hilpinen, 2000. [
BibTex]
1999
A Logic for the Specification of Multi-Object Systems,
J.M.
Broersen and R.J. Wieringa, Formal Methods for Open Object-Based
Distributed Systems, editors: Paolo Ciancarini, Alessandro
Fantechi, Roberto Gorrieri, Kluwer Academic Publishers, 1999. [
BibTex]
1998
Minimal Transition System Semantics for Lightweight
Class- and
Behavior Diagrams, R.J. Wieringa and J.M. Broersen,
Proceedings
PSMT-Workshop om Precise Semantics for Software Modeling
Techniques, technical report TUM-I9803, Institut für
Informatik, technische universität München, 1998. [
BibTex]
Preferential Semantics for Action Specifications in
First-order
Modal Action Logic, J.M. Broersen and R.J. Wieringa,
Proceedings of the ECAI'98 Workshop on Practical Reasoning and
Rationality (PRR'98), 1998.
