Urmăriți
Jan Broersen
Titlu
Citat de
Citat de
Anul
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
J Broersen, M Dastani, J Hulstijn, Z Huang, L Van Der Torre
Proceedings of the fifth international conference on Autonomous agents, 9-16, 2001
4092001
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
3012002
Designing a deontic logic of deadlines
J Broersen, F Dignum, V Dignum, JJC Meyer
Deontic Logic in Computer Science: 7th International Workshop on Deontic …, 2004
1502004
Deontic epistemic stit logic distinguishing modes of mens rea
J Broersen
Journal of applied logic 9 (2), 137-152, 2011
1122011
Meeting the deadline: Why, when and how
F Dignum, J Broersen, V Dignum, JJ Meyer
Formal Approaches to Agent-Based Systems: Third International Workshop …, 2005
852005
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
832008
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
812006
Modal Action Logics for Reasoning about Reactive Systems
J Broersen
Vrije Universiteit, Amsterdam, 2003
802003
Action negation and alternative reductions for dynamic deontic logics
J Broersen
Journal of applied logic 2 (1), 153-168, 2004
742004
Psyops: Personality assessment through gaming behavior
S Tekofsky, P Spronck, A Plaat, J Van den Herik, J Broersen
BNAIC 2013: Proceedings of the 25th Benelux Conference on Artificial …, 2013
632013
From coalition logic to STIT
J Broersen, A Herzig, N Troquard
Electronic notes in theoretical computer science 157 (4), 23-35, 2006
612006
A minimal transition system semantics for lightweight class and behavior diagrams
R Wieringa, J Broersen
Proceedings PSMT 98, 129-151, 1998
611998
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
592007
A logical analysis of the interaction between ‘obligation-to-do’and ‘knowingly doing’
J Broersen
Deontic Logic in Computer Science: 9th International Conference, DEON 2008 …, 2008
522008
A stit-extension of ATL
J Broersen, A Herzig, N Troquard
European Workshop on Logics in Artificial Intelligence, 69-81, 2006
512006
Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations
G Boella, J Broersen, L van der Torre
Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International …, 2008
482008
Making a Start with the stit Logic Analysis of Intentional Action
JM Broersen
Journal of philosophical logic 40, 499-530, 2011
472011
Resolving conflicts between beliefs, obligations, intentions, and desires
J Broersen, M Dastani, L van der Torre
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th …, 2001
472001
BDI logics
JJ Meyer, J Broersen, A Herzig
Handbook of Logics for Knowledge and Belief, 453-493, 2015
412015
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
412005
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20