Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jan M. Broersen
@inproceedings{DBLP:conf/deon/SchusterBP23,
author = {Daniela Schuster and
Jan M. Broersen and
Henry Prakken},
editor = {Juliano Maranh{\~{a}}o and
Clayton Peterson and
Christian Stra{\ss}er and
Leendert van der Torre},
title = {On Floating Conclusions},
booktitle = {Deontic Logic and Normative Systems - 16th International Conference,
{DEON} 2023, Trois-Rivi{\`{e}}res, QC, Canada, July 5-7, 2023},
pages = {199--215},
publisher = {College Publications},
year = {2023},
timestamp = {Mon, 28 Aug 2023 14:54:51 +0200},
biburl = {https://dblp.org/rec/conf/deon/SchusterBP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/PandzicBA22,
author = {Stipe Pandzic and
Jan M. Broersen and
Henk Aarts},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {BOID*: Autonomous Goal Deliberation through Abduction},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1019--1027},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1019.pdf},
doi = {10.5555/3535850.3535964},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/PandzicBA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AbarcaB22,
author = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and
Jan M. Broersen},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {A Stit Logic of Responsibility},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1717--1719},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1717.pdf},
doi = {10.5555/3535850.3536087},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AbarcaB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/AbarcaB22,
author = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and
Jan M. Broersen},
editor = {Carlos Areces and
Diana Costa},
title = {A Stit Logic of Intentionality},
booktitle = {Dynamic Logic. New Trends and Applications - 4th International Workshop,
DaL{\'{\i}} 2022, Haifa, Israel, July 31 - August 1, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13780},
pages = {125--153},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26622-5\_8},
doi = {10.1007/978-3-031-26622-5\_8},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dali/AbarcaB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AbarcaB21,
author = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and
Jan M. Broersen},
title = {Stit semantics for epistemic notions based on information disclosure
in interactive settings},
journal = {J. Log. Algebraic Methods Program.},
volume = {123},
pages = {100708},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100708},
doi = {10.1016/J.JLAMP.2021.100708},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/AbarcaB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/DuijfBKA21,
author = {Hein Duijf and
Jan M. Broersen and
Alexandra Kuncov{\'{a}} and
Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca},
title = {Doing without Action Types},
journal = {Rev. Symb. Log.},
volume = {14},
number = {2},
pages = {380--410},
year = {2021},
url = {https://doi.org/10.1017/S1755020320000362},
doi = {10.1017/S1755020320000362},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/DuijfBKA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-11506,
author = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and
Jan M. Broersen},
editor = {Joseph Y. Halpern and
Andr{\'{e}}s Perea},
title = {A Deontic Stit Logic Based on Beliefs and Expected Utility},
booktitle = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2021, Beijing, China, June 25-27, 2021},
series = {{EPTCS}},
volume = {335},
pages = {281--294},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.335.27},
doi = {10.4204/EPTCS.335.27},
timestamp = {Mon, 05 Jul 2021 13:50:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11506.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Broersen19,
author = {Jan M. Broersen},
title = {Agents necessitating effects in newtonian time and space: from power
and opportunity to effectivity},
journal = {Synth.},
volume = {196},
number = {1},
pages = {31--68},
year = {2019},
url = {https://doi.org/10.1007/s11229-018-1769-9},
doi = {10.1007/S11229-018-1769-9},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Broersen19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AbarcaB19,
author = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and
Jan M. Broersen},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {A Logic of Objective and Subjective Oughts},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {629--641},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_41},
doi = {10.1007/978-3-030-19570-0\_41},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/AbarcaB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AbarcaB19,
author = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and
Jan M. Broersen},
editor = {Lu{\'{\i}}s Soares Barbosa and
Alexandru Baltag},
title = {Stit Semantics for Epistemic Notions Based on Information Disclosure
in Interactive Settings},
booktitle = {Dynamic Logic. New Trends and Applications - Second International
Workshop, DaL{\'{\i}} 2019, Porto, Portugal, October 7-11, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12005},
pages = {171--189},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38808-9\_11},
doi = {10.1007/978-3-030-38808-9\_11},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/AbarcaB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-11086,
author = {Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca and
Jan M. Broersen},
title = {Stit Semantics for Epistemic Notions Based on Information Disclosure
in Interactive Settings},
journal = {CoRR},
volume = {abs/1911.11086},
year = {2019},
url = {http://arxiv.org/abs/1911.11086},
eprinttype = {arXiv},
eprint = {1911.11086},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-11086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/DyrkolbotnPB18,
author = {Sjur K. Dyrkolbotn and
Truls Pedersen and
Jan M. Broersen},
title = {On Elitist Lifting and Consistency in Structured Argumentation},
journal = {{FLAP}},
volume = {5},
number = {3},
pages = {709--746},
year = {2018},
url = {https://collegepublications.co.uk/contents/ifcolog00023.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/DyrkolbotnPB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BroersenA18,
author = {Jan M. Broersen and
Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Formalising Oughts and Practical Knowledge without Resorting to Action
Types},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1877--1879},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238009},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/BroersenA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BroersenA18,
author = {Jan M. Broersen and
Aldo Iv{\'{a}}n Ram{\'{\i}}rez Abarca},
editor = {Jan M. Broersen and
Cleo Condoravdi and
Nair Shyam and
Gabriella Pigozzi},
title = {Knowledge and Subjective Oughts in {STIT} Logic},
booktitle = {Deontic Logic and Normative Systems - 14th International Conference,
{DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018},
pages = {51--69},
publisher = {College Publications},
year = {2018},
timestamp = {Tue, 30 Oct 2018 16:34:44 +0100},
biburl = {https://dblp.org/rec/conf/deon/BroersenA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deon/2018,
editor = {Jan M. Broersen and
Cleo Condoravdi and
Nair Shyam and
Gabriella Pigozzi},
title = {Deontic Logic and Normative Systems - 14th International Conference,
{DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018},
publisher = {College Publications},
year = {2018},
url = {http://www.collegepublications.co.uk/DEON/?00002},
isbn = {9781848902787},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deon/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/DyrkolbotnPB16,
author = {Sjur Kristoffer Dyrkolbotn and
Truls Pedersen and
Jan M. Broersen},
editor = {Olivier Roy and
Allard M. Tamminga and
Malte Willer},
title = {Arguments, Responsibilities and Moral Dilemmas in Abductive Default
Logic},
booktitle = {Deontic Logic and Normative Systems - 13th International Conference,
{DEON} 2016, Bayreuth, Germany, July 18-21, 2018},
pages = {65--79},
publisher = {College Publications},
year = {2016},
timestamp = {Mon, 04 Mar 2019 12:56:41 +0100},
biburl = {https://dblp.org/rec/conf/deon/DyrkolbotnPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DuijfB16,
author = {Hein Duijf and
Jan M. Broersen},
editor = {Alessio Lomuscio and
Moshe Y. Vardi},
title = {Representing Strategies},
booktitle = {Proceedings of the 4th International Workshop on Strategic Reasoning,
{SR} 2016, New York City, USA, 10th July 2016},
series = {{EPTCS}},
volume = {218},
pages = {15--26},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.218.2},
doi = {10.4204/EPTCS.218.2},
timestamp = {Mon, 26 Oct 2020 08:44:07 +0100},
biburl = {https://dblp.org/rec/journals/corr/DuijfB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/RenooijB15,
author = {Silja Renooij and
Jan M. Broersen},
title = {Special Issue on the Twelfth European Conference on Symbolic and Quantitative
Approaches to Reasoning with Uncertainty {(ECSQARU} 2013)},
journal = {Int. J. Approx. Reason.},
volume = {58},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.ijar.2015.01.002},
doi = {10.1016/J.IJAR.2015.01.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/RenooijB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/TurriniGBM15,
author = {Paolo Turrini and
Davide Grossi and
Jan M. Broersen and
John{-}Jules Ch. Meyer},
title = {Forbidding undesirable agreements},
journal = {J. Log. Comput.},
volume = {25},
number = {1},
pages = {159--178},
year = {2015},
url = {https://doi.org/10.1093/logcom/ext051},
doi = {10.1093/LOGCOM/EXT051},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/TurriniGBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BroersenH15,
author = {Jan M. Broersen and
Andreas Herzig},
editor = {Johan van Benthem and
Sujata Ghosh and
Rineke Verbrugge},
title = {Using {STIT} Theory to Talk About Strategies},
booktitle = {Models of Strategic Reasoning - Logics, Games, and Communities},
series = {Lecture Notes in Computer Science},
volume = {8972},
pages = {137--173},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48540-8\_5},
doi = {10.1007/978-3-662-48540-8\_5},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/BroersenH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Broersen14,
author = {Jan M. Broersen},
title = {Responsible Intelligent Systems - The {REINS} Project},
journal = {K{\"{u}}nstliche Intell.},
volume = {28},
number = {3},
pages = {209--214},
year = {2014},
url = {https://doi.org/10.1007/s13218-014-0305-4},
doi = {10.1007/S13218-014-0305-4},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Broersen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LoriniTHB13,
author = {Emiliano Lorini and
Nicolas Troquard and
Andreas Herzig and
Jan M. Broersen},
title = {Grounding power on actions and mental attitudes},
journal = {Log. J. {IGPL}},
volume = {21},
number = {3},
pages = {311--331},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzr039},
doi = {10.1093/JIGPAL/JZR039},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LoriniTHB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Broersen13,
author = {Jan M. Broersen},
title = {Probabilistic stit logic and its decomposition},
journal = {Int. J. Approx. Reason.},
volume = {54},
number = {4},
pages = {467--477},
year = {2013},
url = {https://doi.org/10.1016/j.ijar.2012.08.007},
doi = {10.1016/J.IJAR.2012.08.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Broersen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/TekofskySGB13,
author = {Shoshannah Tekofsky and
Pieter Spronck and
Martijn Goudbeek and
Jan M. Broersen},
editor = {Gita Sukthankar and
Ian Horswill},
title = {Towards a Player Age Model},
booktitle = {Proceedings of the Ninth {AAAI} Conference on Artificial Intelligence
and Interactive Digital Entertainment, AIIDE-13, Boston, Massachusetts,
USA, October 14-18, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/AIIDE/AIIDE13/paper/view/7370},
timestamp = {Wed, 10 Feb 2021 22:01:09 +0100},
biburl = {https://dblp.org/rec/conf/aiide/TekofskySGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/TekofskySPHB13,
author = {Shoshannah Tekofsky and
Pieter Spronck and
Aske Plaat and
H. Jaap van den Herik and
Jan M. Broersen},
title = {Play style: Showing your age},
booktitle = {2013 {IEEE} Conference on Computational Inteligence in Games (CIG),
Niagara Falls, ON, Canada, August 11-13, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CIG.2013.6633616},
doi = {10.1109/CIG.2013.6633616},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cig/TekofskySPHB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdg/TekofskySPHB13,
author = {Shoshannah Tekofsky and
Pieter Spronck and
Aske Plaat and
H. Jaap van den Herik and
Jan M. Broersen},
editor = {Georgios N. Yannakakis and
Espen Aarseth and
Kristine J{\o}rgensen and
James C. Lester},
title = {PsyOps: Personality assessment through gaming behavior},
booktitle = {Proceedings of the 8th International Conference on the Foundations
of Digital Games, {FDG} 2013, Chania, Crete, Greece, May 14-17, 2013},
pages = {166--173},
publisher = {Society for the Advancement of the Science of Digital Games},
year = {2013},
url = {http://www.fdg2013.org/program/papers/paper22\_tekofsky\_etal.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdg/TekofskySPHB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/dagstuhl/BroersenCEGGLPTTTS13,
author = {Jan M. Broersen and
Stephen Cranefield and
Yehia Elrakaiby and
Dov M. Gabbay and
Davide Grossi and
Emiliano Lorini and
Xavier Parent and
Leendert W. N. van der Torre and
Luca Tummolini and
Paolo Turrini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Giulia Andrighetto and
Guido Governatori and
Pablo Noriega and
Leendert W. N. van der Torre},
title = {Normative Reasoning and Consequence},
booktitle = {Normative Multi-Agent Systems},
series = {Dagstuhl Follow-Ups},
volume = {4},
pages = {33--70},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/DFU.Vol4.12111.33},
doi = {10.4230/DFU.VOL4.12111.33},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroersenCEGGLPTTTS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/TurriniBMM12,
author = {Paolo Turrini and
Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer},
title = {Regulating competing coalitions: a logic for socially optimal group
choices},
journal = {J. Appl. Non Class. Logics},
volume = {22},
number = {1-2},
pages = {181--202},
year = {2012},
url = {https://doi.org/10.1080/11663081.2012.682787},
doi = {10.1080/11663081.2012.682787},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/TurriniBMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BroersenGT12,
author = {Jan M. Broersen and
Dov M. Gabbay and
Leendert W. N. van der Torre},
editor = {Thomas {\AA}gotnes and
Jan M. Broersen and
Dag Elgesem},
title = {Discussion Paper: Changing Norms Is Changing Obligation Change},
booktitle = {Deontic Logic in Computer Science - 11th International Conference,
{DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7393},
pages = {199--214},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31570-1\_14},
doi = {10.1007/978-3-642-31570-1\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/BroersenGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deon/2012,
editor = {Thomas {\AA}gotnes and
Jan M. Broersen and
Dag Elgesem},
title = {Deontic Logic in Computer Science - 11th International Conference,
{DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7393},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31570-1},
doi = {10.1007/978-3-642-31570-1},
isbn = {978-3-642-31569-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Broersen11,
author = {Jan M. Broersen},
title = {Deontic epistemic stit logic distinguishing modes of mens rea},
journal = {J. Appl. Log.},
volume = {9},
number = {2},
pages = {137--152},
year = {2011},
url = {https://doi.org/10.1016/j.jal.2010.06.002},
doi = {10.1016/J.JAL.2010.06.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Broersen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Broersen11,
author = {Jan M. Broersen},
title = {Making a Start with the \emph{stit} Logic Analysis of Intentional
Action},
journal = {J. Philos. Log.},
volume = {40},
number = {4},
pages = {499--530},
year = {2011},
url = {https://doi.org/10.1007/s10992-011-9190-6},
doi = {10.1007/S10992-011-9190-6},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Broersen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Broersen11,
author = {Jan M. Broersen},
editor = {Jo{\~{a}}o Leite and
Paolo Torroni and
Thomas {\AA}gotnes and
Guido Boella and
Leon van der Torre},
title = {Probabilistic Action and Deontic Logic - (Invited Talk)},
booktitle = {Computational Logic in Multi-Agent Systems - 12th International Workshop,
{CLIMA} XII, Barcelona, Spain, July 17-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6814},
pages = {293--294},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22359-4\_20},
doi = {10.1007/978-3-642-22359-4\_20},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/clima/Broersen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Broersen11,
author = {Jan M. Broersen},
editor = {Weiru Liu},
title = {Probabilistic Stit Logic},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 11th European Conference, {ECSQARU} 2011, Belfast, UK, June 29-July
1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6717},
pages = {521--531},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22152-1\_44},
doi = {10.1007/978-3-642-22152-1\_44},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Broersen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esslli/BroersenT11,
author = {Jan M. Broersen and
Leendert W. N. van der Torre},
editor = {Nick Bezhanishvili and
Valentin Goranko},
title = {Ten Problems of Deontic Logic and Normative Reasoning in Computer
Science},
booktitle = {Lectures on Logic and Computation - {ESSLLI} 2010 Copenhagen, Denmark,
August 2010, {ESSLLI} 2011, Ljubljana, Slovenia, August 2011, Selected
Lecture Notes},
series = {Lecture Notes in Computer Science},
volume = {7388},
pages = {55--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31485-8\_2},
doi = {10.1007/978-3-642-31485-8\_2},
timestamp = {Mon, 01 May 2023 13:01:40 +0200},
biburl = {https://dblp.org/rec/conf/esslli/BroersenT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Broersen11,
author = {Jan M. Broersen},
editor = {Toby Walsh},
title = {Modeling Attempt and Action Failure in Probabilistic {STIT} Logic},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {792--797},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-139},
doi = {10.5591/978-1-57735-516-8/IJCAI11-139},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Broersen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Broersen10,
author = {Jan M. Broersen},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {{CTL.STIT:} enhancing {ATL} to express important multi-agent system
verification properties},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {683--690},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838296},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/Broersen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/TurriniGBM10,
author = {Paolo Turrini and
Davide Grossi and
Jan M. Broersen and
John{-}Jules Ch. Meyer},
editor = {Guido Governatori and
Giovanni Sartor},
title = {Forbidding Undesirable Agreements: {A} Dependence-Based Approach to
the Regulation of Multi-agent Systems},
booktitle = {Deontic Logic in Computer Science, 10th International Conference,
{DEON} 2010, Fiesole, Italy, July 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6181},
pages = {306--322},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14183-6\_22},
doi = {10.1007/978-3-642-14183-6\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/TurriniGBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BroersenHT09,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
title = {What groups do, can do, and know they can do: an analysis in normal
modal logics},
journal = {J. Appl. Non Class. Logics},
volume = {19},
number = {3},
pages = {261--290},
year = {2009},
url = {https://doi.org/10.3166/jancl.19.261-289},
doi = {10.3166/JANCL.19.261-289},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BroersenHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BroersenMMT09,
author = {Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer and
Paolo Turrini},
title = {Determining the environment: a modal logic for closed interaction},
journal = {Synth.},
volume = {169},
number = {2},
pages = {351--369},
year = {2009},
url = {https://doi.org/10.1007/s11229-009-9550-8},
doi = {10.1007/S11229-009-9550-8},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BroersenMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BoellaBTV09,
author = {Guido Boella and
Jan M. Broersen and
Leendert W. N. van der Torre and
Serena Villata},
editor = {Roberto Serra and
Rita Cucchiara},
title = {Representing Excuses in Social Dependence Networks},
booktitle = {AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth
International Conference of the Italian Association for Artificial
Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5883},
pages = {365--374},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10291-2\_37},
doi = {10.1007/978-3-642-10291-2\_37},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BoellaBTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/BroersenMMT09,
author = {Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer and
Paolo Turrini},
title = {Strategic Ability Update: {A} Modal Logic Account},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, Milan, Italy, 15-18 September 2009},
pages = {470--473},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.328},
doi = {10.1109/WI-IAT.2009.328},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/BroersenMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/Broersen09,
author = {Jan M. Broersen},
title = {A stit-Logic for Extensive Form Group Strategies},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, Milan, Italy, 15-18 September 2009},
pages = {484--487},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.331},
doi = {10.1109/WI-IAT.2009.331},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/Broersen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/TurriniBMM09,
author = {Paolo Turrini and
Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {An Update Operator for Strategic Ability},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {292--301},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_23},
doi = {10.1007/978-3-642-04893-7\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/TurriniBMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kramas/2008,
editor = {John{-}Jules Ch. Meyer and
Jan M. Broersen},
title = {Knowledge Representation for Agents and Multi-Agent Systems, First
International Workshop, {KRAMAS} 2008, Sydney, Australia, September
17, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5605},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05301-6},
doi = {10.1007/978-3-642-05301-6},
isbn = {978-3-642-05300-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kramas/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Broersen09,
author = {Jan M. Broersen},
editor = {Giacomo Bonanno and
James P. Delgrande and
Hans Rott},
title = {Deontic Epistemic stit Logic Distinguishing Modes of 'Mens Rea'},
booktitle = {Information processing, rational belief change and social interaction,
23.08. - 27.08.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2229/},
timestamp = {Thu, 10 Jun 2021 13:02:03 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Broersen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Broersen09a,
author = {Jan M. Broersen},
editor = {Giacomo Bonanno and
James P. Delgrande and
Hans Rott},
title = {Interpreting Product Update as Reasoning about Observations and Meta-Observations},
booktitle = {Information processing, rational belief change and social interaction,
23.08. - 27.08.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2233/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Broersen09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Broersen08,
author = {Jan M. Broersen},
editor = {George A. Vouros and
Alexander Artikis and
Kostas Stathis and
Jeremy V. Pitt},
title = {Issues in Designing Logical Models for Norm Change},
booktitle = {Organized Adaption in Multi-Agent Systems, First International Workshop,
{OAMAS} 2008, Estoril, Portugal, May 13, 2008. Revised and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {5368},
pages = {1--17},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02377-4\_1},
doi = {10.1007/978-3-642-02377-4\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/Broersen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/Broersen08,
author = {Jan M. Broersen},
editor = {Matteo Baldoni and
Tran Cao Son and
M. Birna van Riemsdijk and
Michael Winikoff},
title = {A Complete {STIT} Logic for Knowledge and Action, and Some of Its
Applications},
booktitle = {Declarative Agent Languages and Technologies VI, 6th International
Workshop, {DALT} 2008, Estoril, Portugal, May 12, 2008, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5397},
pages = {47--59},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-93920-7\_4},
doi = {10.1007/978-3-540-93920-7\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/Broersen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Broersen08,
author = {Jan M. Broersen},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {A Logical Analysis of the Interaction between 'Obligation-to-do' and
'Knowingly Doing'},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {140--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_12},
doi = {10.1007/978-3-540-70525-3\_12},
timestamp = {Thu, 14 Oct 2021 10:16:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/Broersen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BroersenMMT08,
author = {Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer and
Paolo Turrini},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {A Deontic Logic for Socially Optimal Norms},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_17},
doi = {10.1007/978-3-540-70525-3\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/BroersenMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BroersenMMT08,
author = {Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer and
Paolo Turrini},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Organizing Coherent Coalitions},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {879--880},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-879},
doi = {10.3233/978-1-58603-891-5-879},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BroersenMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BroersenT08,
author = {Jan M. Broersen and
Leendert W. N. van der Torre},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Conditional Norms and Dyadic Obligations in Time},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {883--884},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-883},
doi = {10.3233/978-1-58603-891-5-883},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BroersenT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BroersenMMT08,
author = {Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer and
Paolo Turrini},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {A Logic for Closed-World Interaction},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {89--99},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_9},
doi = {10.1007/978-3-540-87803-2\_9},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BroersenMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BoellaBT08,
author = {Guido Boella and
Jan M. Broersen and
Leendert W. N. van der Torre},
editor = {The Duy Bui and
Tuong Vinh Ho and
Quang{-}Thuy Ha},
title = {Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions,
Deadlines and Violations},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December
15-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5357},
pages = {86--97},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89674-6\_12},
doi = {10.1007/978-3-540-89674-6\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/BoellaBT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BroersenB07,
author = {Jan M. Broersen and
Julien Brunel},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {Preservation of obligations in a temporal and deontic framework},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {177},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329339},
doi = {10.1145/1329125.1329339},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BroersenB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BroersenB07,
author = {Jan M. Broersen and
Julien Brunel},
editor = {Fariba Sadri and
Ken Satoh},
title = {'What {I} Fail to Do Today, {I} Have to Do Tomorrow': {A} Logical
Study of the Propagation of Obligations},
booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
{CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5056},
pages = {82--99},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88833-8\_5},
doi = {10.1007/978-3-540-88833-8\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/BroersenB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BroersenT07,
author = {Jan M. Broersen and
Leendert W. N. van der Torre},
editor = {Aditya K. Ghose and
Guido Governatori and
Ramakoti Sadananda},
title = {Reasoning about Norms, Obligations, Time and Agents},
booktitle = {Agent Computing and Multi-Agent Systems, 10th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2007, Bangkok, Thailand, November
21-23, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5044},
pages = {171--182},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-01639-4\_15},
doi = {10.1007/978-3-642-01639-4\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/BroersenT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BroersenHT07,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
editor = {Dov Samet},
title = {A normal simulation of coalition logic and an epistemic extension},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {92--101},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324264},
doi = {10.1145/1324249.1324264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/BroersenHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BalbianiBB09,
author = {Philippe Balbiani and
Jan M. Broersen and
Julien Brunel},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Decision Procedures for a Deontic Logic Modeling Temporal Inheritance
of Obligations},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {69--89},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.030},
doi = {10.1016/J.ENTCS.2009.02.030},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BalbianiBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroersenT07,
author = {Jan M. Broersen and
Leendert W. N. van der Torre},
editor = {Guido Boella and
Leendert W. N. van der Torre and
Harko Verhagen},
title = {What an Agent Ought To Do},
booktitle = {Normative Multi-agent Systems, 18.03. - 23.03.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07122},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/905},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroersenT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BroersenHT06,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
title = {Embedding Alternating-time Temporal Logic in Strategic {STIT} Logic
of Agency},
journal = {J. Log. Comput.},
volume = {16},
number = {5},
pages = {559--578},
year = {2006},
url = {https://doi.org/10.1093/logcom/exl025},
doi = {10.1093/LOGCOM/EXL025},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BroersenHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/Broersen06,
author = {Jan M. Broersen},
editor = {Lou Goble and
John{-}Jules Ch. Meyer},
title = {Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application
to Chisholm's Scenario},
booktitle = {Deontic Logic and Artificial Normative Systems, 8th International
Workshop on Deontic Logic in Computer Science, {DEON} 2006, Utrecht,
The Netherlands, July 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4048},
pages = {53--68},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11786849\_7},
doi = {10.1007/11786849\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/deon/Broersen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BroersenHT06,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {A STIT-Extension of {ATL}},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {69--81},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_8},
doi = {10.1007/11853886\_8},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BroersenHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/BroersenDT05,
author = {Jan M. Broersen and
Mehdi Dastani and
Leendert W. N. van der Torre},
title = {Beliefs, obligations, intentions, and desires as components in an
agent architecture},
journal = {Int. J. Intell. Syst.},
volume = {20},
number = {9},
pages = {893--919},
year = {2005},
url = {https://doi.org/10.1002/int.20098},
doi = {10.1002/INT.20098},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/BroersenDT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/BroersenT05,
author = {Jan M. Broersen and
Leendert W. N. van der Torre},
editor = {Katja Verbeeck and
Karl Tuyls and
Ann Now{\'{e}} and
Bernard Manderick and
Bart Kuijpers},
title = {Semantic Analysis of Chisholm's Paradox},
booktitle = {{BNAIC} 2005 - Proceedings of the Seventeenth Belgium-Netherlands
Conference on Artificial Intelligence, Brussels, Belgium, October
17-18, 2005},
pages = {28--34},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
year = {2005},
timestamp = {Wed, 08 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bnaic/BroersenT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/WinkelhagenDB05,
author = {Laurens Winkelhagen and
Mehdi Dastani and
Jan M. Broersen},
editor = {Matteo Baldoni and
Ulle Endriss and
Andrea Omicini and
Paolo Torroni},
title = {Beliefs in Agent Implementation},
booktitle = {Declarative Agent Languages and Technologies III, Third International
Workshop, {DALT} 2005, Utrecht, The Netherlands, July 25, 2005, Selected
and Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3904},
pages = {1--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11691792\_1},
doi = {10.1007/11691792\_1},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/WinkelhagenDB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BroersenHT06,
author = {Jan M. Broersen and
Andreas Herzig and
Nicolas Troquard},
editor = {Wiebe van der Hoek and
Alessio Lomuscio and
Erik P. de Vink and
Michael J. Wooldridge},
title = {From Coalition Logic to {STIT}},
booktitle = {Proceedings of the Third International Workshop on Logic and Communication
in Multi-Agent Systems, {LCMAS} 2005, Edinburgh, Scotland, UK, August
1, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {4},
pages = {23--35},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.011},
doi = {10.1016/J.ENTCS.2006.02.011},
timestamp = {Fri, 20 Jan 2023 12:26:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BroersenHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Broersen04,
author = {Jan M. Broersen},
title = {Action negation and alternative reductions for dynamic deontic logics},
journal = {J. Appl. Log.},
volume = {2},
number = {1},
pages = {153--168},
year = {2004},
url = {https://doi.org/10.1016/j.jal.2004.01.007},
doi = {10.1016/J.JAL.2004.01.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Broersen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/BroersenDDM04,
author = {Jan M. Broersen and
Frank Dignum and
Virginia Dignum and
John{-}Jules Ch. Meyer},
editor = {Alessio Lomuscio and
Donald Nute},
title = {Designing a Deontic Logic of Deadlines},
booktitle = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3065},
pages = {43--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25927-5\_5},
doi = {10.1007/978-3-540-25927-5\_5},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deon/BroersenDDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/TorreHDB04,
author = {Leendert W. N. van der Torre and
Joris Hulstijn and
Mehdi Dastani and
Jan M. Broersen},
editor = {Alessio Lomuscio and
Donald Nute},
title = {Specifying Multiagent Organizations},
booktitle = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3065},
pages = {243--257},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25927-5\_16},
doi = {10.1007/978-3-540-25927-5\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/TorreHDB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/DignumBDM04,
author = {Frank Dignum and
Jan M. Broersen and
Virginia Dignum and
John{-}Jules Ch. Meyer},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Meeting the Deadline: Why, When and How},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {30--40},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_3},
doi = {10.1007/978-3-540-30960-4\_3},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/faabs/DignumBDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Broersen04,
author = {Jan M. Broersen},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {On the Logic of 'Being Motivated to Achieve rho, Before delta'},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {334--346},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_29},
doi = {10.1007/978-3-540-30227-8\_29},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Broersen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/BroersenT03,
author = {Jan M. Broersen and
Leendert W. N. van der Torre},
title = {What an Agent Ought To Do},
journal = {Artif. Intell. Law},
volume = {11},
number = {1},
pages = {45--61},
year = {2003},
url = {https://doi.org/10.1023/B:ARTI.0000013352.63798.08},
doi = {10.1023/B:ARTI.0000013352.63798.08},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ail/BroersenT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BroersenDT03,
author = {Jan M. Broersen and
Mehdi Dastani and
Leendert W. N. van der Torre},
editor = {Georg Gottlob and
Toby Walsh},
title = {{BDIOCTL:} Obligations and the Specification of Agent Behavior},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1389--1390},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/211.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BroersenDT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BroersenDT02,
author = {Jan M. Broersen and
Mehdi Dastani and
Leendert W. N. van der Torre},
title = {Realistic desires},
journal = {J. Appl. Non Class. Logics},
volume = {12},
number = {2},
pages = {287--308},
year = {2002},
url = {https://doi.org/10.3166/jancl.12.287-308},
doi = {10.3166/JANCL.12.287-308},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BroersenDT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Broersen02,
author = {Jan M. Broersen},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Relativized Action Complement for Dynamic Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {51--70},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Broersen.ps},
timestamp = {Wed, 17 Jan 2024 09:58:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Broersen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurasiaict/BroersenDHT02,
author = {Jan M. Broersen and
Mehdi Dastani and
Zhisheng Huang and
Leendert W. N. van der Torre},
editor = {Hassan Shafazand and
A Min Tjoa},
title = {Trust and Commitment in Dynamic Logic},
booktitle = {EurAsia-ICT 2002: Information and Communication Technology, First
EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2510},
pages = {677--684},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36087-5\_79},
doi = {10.1007/3-540-36087-5\_79},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurasiaict/BroersenDHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BroersenMW02,
author = {Jan M. Broersen and
John{-}Jules Ch. Meyer and
Roel J. Wieringa},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {The mutual exclusion problem in reasoning about action and change},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {365--371},
year = {2002},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/BroersenMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BroersenWM01,
author = {Jan M. Broersen and
Roel J. Wieringa and
John{-}Jules Ch. Meyer},
title = {A Fixed-point Characterization of a Deontic Logic of Regular Action},
journal = {Fundam. Informaticae},
volume = {48},
number = {2-3},
pages = {107--128},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi48-2-3-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BroersenWM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/BroersenDHHT01,
author = {Jan M. Broersen and
Mehdi Dastani and
Joris Hulstijn and
Zhisheng Huang and
Leendert W. N. van der Torre},
editor = {Elisabeth Andr{\'{e}} and
Sandip Sen and
Claude Frasson and
J{\"{o}}rg P. M{\"{u}}ller},
title = {The {BOID} architecture: conflicts between beliefs, obligations, intentions
and desires},
booktitle = {Proceedings of the Fifth International Conference on Autonomous Agents,
{AGENTS} 2001, Montreal, Canada, May 28 - June 1, 2001},
pages = {9--16},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375735.375766},
doi = {10.1145/375735.375766},
timestamp = {Sat, 30 Sep 2023 09:33:47 +0200},
biburl = {https://dblp.org/rec/conf/agents/BroersenDHHT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BroersenDT01,
author = {Jan M. Broersen and
Mehdi Dastani and
Leendert W. N. van der Torre},
editor = {Salem Benferhat and
Philippe Besnard},
title = {Resolving Conflicts between Beliefs, Obligations, Intentions, and
Desires},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
6th European Conference, {ECSQARU} 2001, Toulouse, France, September
19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2143},
pages = {568--579},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44652-4\_50},
doi = {10.1007/3-540-44652-4\_50},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/BroersenDT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/BroersenWM00,
author = {Jan M. Broersen and
Roel J. Wieringa and
John{-}Jules Ch. Meyer},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A Semantics for Persistency in Propositional Dynamic Logic},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {912--925},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_61},
doi = {10.1007/3-540-44957-4\_61},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/BroersenWM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BroersenW99,
author = {Jan M. Broersen and
Roel J. Wieringa},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {A Logic for the Specification of Multi-Object Systems (Short Paper)},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/BroersenW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmldo/BroersenFW96,
author = {Jan M. Broersen and
Remco Feenstra and
Roel J. Wieringa},
editor = {Stefan Conrad and
Hans{-}Joachim Klein and
Klaus{-}Dieter Schewe},
title = {Minimal Semantics for Action Specifications in a Multi-modal Logic},
booktitle = {Integrity in Databases - 6th International Workshop on Foundations
of Models and Languages for Data and Objects, Schloss Dagstuhl, Germany,
September 16-20, 1996, Proceedings},
pages = {1--10},
publisher = {University of Magedeburg, Faculty of Computer Science},
year = {1996},
url = {http://wwwiti.cs.uni-magdeburg.de/iti\_db/IDB96-Proceedings/Broersen.ps.gz},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmldo/BroersenFW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-08 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
