Jan Broersen
TitelZitiert vonJahr
The BOID architecture; Conflicts Between Beliefs, Obligations, Intentions and Desires
JM Broersen, MM Dastani, Z Huang, J Hulstijn, L Torre
ACM Press, 2001
Goal generation in the BOID architecture
J Broersen, M Dastani, J Hulstijn, L van der Torre
Cognitive Science Quarterly 2 (3-4), 428-447, 2002
Designing a deontic logic of deadlines
J Broersen, F Dignum, V Dignum, JJC Meyer
International Workshop on Deontic Logic in Computer Science, 43-56, 2004
Permission from an input/output perspective
D Makinson, L van der Torre
Journal of Philosophical Logic 32 (4), 391-416, 2003
Normative multi-agent systems
G Andrighetto, G Governatori, P Noriega, LWN van der Torre
Normative Multi-Agent Systems 4, 2013
Meeting the deadline: Why, when and how
F Dignum, J Broersen, V Dignum, JJ Meyer
International Workshop on Formal Approaches to Agent-Based Systems, 30-40, 2004
Modal Action Logics for Reasoning about Reactive Systems
J Broersen
Vrije Universiteit, Amsterdam, 2003
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
J Broersen, A Herzig, N Troquard
Journal of logic and computation 16 (5), 559-578, 2006
A minimal transition system semantics for lightweight class and behavior diagrams
R Wieringa, J Broersen
Proceedings of the ICSE98 Workshop on Precise Semantics for Software …, 1998
Deontic epistemic stit logic distinguishing modes of mens rea
J Broersen
Journal of Applied Logic 9 (2), 137-152, 2011
A complete stit logic for knowledge and action, and some of its applications
J Broersen
International Workshop on Declarative Agent Languages and Technologies, 47-59, 2008
Action negation and alternative reductions for dynamic deontic logics
J Broersen
Journal of applied logic 2 (1), 153-168, 2004
A normal simulation of coalition logic and an epistemic extension
J Broersen, A Herzig, N Troquard
Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007
From coalition logic to STIT
J Broersen, A Herzig, N Troquard
Electronic Notes in Theoretical Computer Science 157 (4), 23-35, 2006
Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations
G Boella, J Broersen, L van der Torre
Pacific Rim International Conference on Multi-Agents, 86-97, 2008
A stit-extension of atl
J Broersen, A Herzig, N Troquard
European Workshop on Logics in Artificial Intelligence, 69-81, 2006
Beliefs, obligations, intentions, and desires as components in an agent architecture
J Broersen, M Dastani, L van der Torre
International Journal of Intelligent Systems 20 (9), 893-919, 2005
Resolving conflicts between beliefs, obligations, intentions, and desires
J Broersen, M Dastani, L Van Der Torre
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2001
Psyops: Personality assessment through gaming behavior
S Tekofsky, J Van Den Herik, P Spronck, A Plaat
In Proceedings of the International Conference on the Foundations of Digital …, 2013
A logical analysis of the interaction between ‘obligation-to-do’and ‘knowingly doing’
J Broersen
International Conference on Deontic Logic in Computer Science, 140-154, 2008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20