Broersen, J.M. (2011). Deontic Epistemic stit-Logic Distinguishing Modes of Mens Rea. Journal of Applied Logic, 9(2), 127-152.
|
Broersen, J.M. (2011). Making a Start with the stit Logic Analysis of Intentional Action. Journal of philosophical logic, 40, 399-420.
|
Broersen, J.M. (2011). Modeling Attempt and Action Failure in Probabilistic stit Logic. : Department of Information and Computing Sciences, Utrecht University.
|
Broersen, J.M. (2011). Modelling Attempt and Action Failure in Probabilistic stit Logic. In Proceedings of Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011) (pp. 792-797).
|
Broersen, J.M. (2011). Probabilistic Action and Deontic Logic. In Proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems Vol. 6814. Lecture Notes in Computer Science (pp. 293-294). Springer.
|
Broersen, J.M. (2011). Probabilistic stit Logic. In Proceedings 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011) Vol. 6717. Lecture Notes in Artificial Intelligence (pp. 521-531). Springer.
|
Broersen, J.M. (2010). CTL.STIT: enhancing ATL to express important multi-agent system verification properties. In Proceedings 9th International Conference on Autonomous Agents and Multiagent Systems (pp. 683-690). New York: ACM Press.
|
Turrini, P., Grossi, D., Broersen, J.M. & Meyer, J-J.Ch. (2010). Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. In Deontic Logic in Computer Science, 10th International Conference (DEON 2010) Vol. 6181. Lecture Notes in Computer Science (pp. 306-322). Springer.
|
Broersen, J.M. (2009). A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. In M. Baldoni, T. Cao Son, M.B. van Riemsdijk & M. Winikoff (Eds.), Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers (pp. 47-59).
|
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). A Logic for Closed-World Interaction (abstract). In T. Calders, K. Tuyls & M. Pechenizkiy (Eds.), Proc. 21st Benelux Conf. on Artif. Intell. (BNAIC 2009) (pp. 299-300). 2009.
|
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). A Modal Representation of Strategic Reasoning. onbekend: UU BETA ICS Departement Informatica.
|
Broersen, J.M. (2009). A stit-Logic for Extensive Form Group Strategies. In WI-IAT '09: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (pp. 484-487). Washington, DC, USA: IEEE Computer Society.
|
Turrini, P., Broersen, J.M., Mastop, R. & Meyer, J-J.Ch. (2009). An Update Operator for Strategic Ability. In X. He, J.F. Horty & E. Pacuit (Eds.), Proceedings of The Second International Workshop on Logic, Rationality and Interaction (LORI-II) Vol. 5834. Lecture Notes in Computer Science (pp. 292-301).
|
Balbiani, P., Broersen, J.M. & Brunel, J. (2009). Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. Electronic Notes in Theoretical Computer Science, 231, 69-89.
|
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). Determining the Environment: A Modal Logic for Closed Interaction. Synthese, special section of Knowledge, Rationality and Action, 169(2), 351-369.
|
Broersen, J.M. (2009). Issues in Designing Logical Models for Norm Change. In G. Vouros, A. Artikis, K. Stathis & J. Pitt (Eds.), Organized Adaption in Multi-Agent Systems, First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers (pp. 1-17).
|
Meyer, J-J.Ch. & Broersen, J.M. (2009). Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008). Lecture Notes in Artificial Intelligence, 5605.
|
Broersen, J.M. & Torre, L.W.N. van der (2009). Reasoning About Norms, Obligations, Time and Agents. In A. Ghose, G. Governatori & R. Sadananda (Eds.), Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, revised papers (pp. 171-182).
|
Boella, G., Broersen, J.M., Torre, L. van der & Villata, S. (2009). Representing Excuses in Social Dependence Networks. In R. Serra & R. Cucchiara (Eds.), AI*IA (pp. 365-374). Springer.
|
Broersen, J.M., Mastop, R., Meyer, J-J.Ch. & Turrini, P. (2009). Strategic Ability Update: A Modal Logic Account. In WI-IAT '09: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (pp. 470-473). Washington, DC, USA: IEEE Computer Society.
|
Broersen, J.M., Herzig, A. & Troquard, N. (2009). What groups do, can do, and know they can do: an analysis in normal modal logics. Journal of Applied Non-Classical Logic, 19(3), 261-289.
|
Broersen, J.M., Mastop, R.J., Meyer, J-J.Ch. & Turrini, P. (2008). A Deontic Logic for Socially Optimal Norms. In R. van der Meyden & L. van der Torre (Eds.), Deontic Logic in Computer Science (Proc. DEON 2008) Vol. 5076. Lecture Notes in Artificial Intelligence (pp. 218-232). Berlin/Heidelberg: Springer.
|
Broersen, J.M., Mastop, R.J., Meyer, J-J.Ch. & Turrini, P. (2008). A Logic for Closed-World Interaction. In S. Hölldobler, C. Lutz & H. Wansing (Eds.), Proc. 11th Eur. Conf. on Logic in Artif. Intelligence (JELIA 2008) Vol. 5293. Lecture Notes in Computer Science (pp. 89-99). Berlin: Springer.
|
Broersen, J.M. (2008). A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. In L.W.N. van der Torre & R. van der Meyden (Eds.), Proceedings 9th International Workshop on Deontic Logic in Computer Science (DEON'08) Vol. 5076. Lecture Notes in Computer Science (pp. 140-154). Springer.
|
Broersen, J.M. & Torre, L. van der (2008). Conditional Norms and Dyadic Obligations in Time. In Malik Ghallab, Constantine.D. Spyropoulos, Nikos Fakotakis & Nikolaos.M. Avouris (Eds.), ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings Vol. 178. Frontiers in Artificial Intelligence and Applications (pp. 883-884). IOS Press.
|
Broersen, J.M. (2008). Interpreting Product Update as Reasoning about Observations and Meta-Observations. In Benedikt L\"owe (Ed.), Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning Vol. 9. AISB quarterly (pp. 8-10). The Society for the Study of Artificial Intelligence and Simulation of Behaviour.
|
Broersen, J.M., Mastop, R.J., Meyer, J-J.Ch. & Turrini, P. (2008). Organizing Coherent Coalitions. In M. Ghallab, C.D. Spyropoulos & N. Fakotakis (Eds.), Proc. 18th Eur. Conf. on Artificial Intelligence (ECAI2008) (pp. 879-880). Amsterdam, Patras, Greece: IOS Press.
|
Boella, G., Broersen, J.M. & Torre, L. van der (2008). Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. In The.Duy Bui, Tuong.Vinh Ho & Quang-Thuy Ha (Eds.), Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings Vol. 5357. Lecture Notes in Computer Science (pp. 86-97). Springer.
|
Broersen, J.M. & Brunel, J. (2007). 'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. In Fariba Sadri & Ken Satoh (Eds.), Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers Vol. 5056. Lecture Notes in Computer Science (pp. 82-99). Springer.
|
Broersen, J.M., Herzig, A. & Troquard, N. (2007). A Normal Simulation of Coalition Logic and an Epistemic Extension. In Proceedings Theoretical Aspects Rationality and Knowledge (TARK XI), Brussels (pp. 92-101).
|
Lorini, E, Herzig, A., Broersen, J.M. & Troquard, N. (2007). Grounding Power on Actions and Mental Attitudes. In Proceedings FAMAS 2007.
|
Broersen, J.M. & Brunel, J. (2007). Preservation of Obligations in a Temporal and Deontic Framework. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2007).
|
Broersen, J.M., Herzig, A. & Troquard, N. (2006). A STIT-extension of ATL. In M. Fisher (Ed.), Proceedings Tenth European Conference on Logics in Artificial Intelligence (JELIA'06) (pp. 69-81). Springer Verlag.
|
Winkelhagen, L., Dastani, M.M. & Broersen, J.M. (2006). Beliefs in Agent Implementation. In Proceedings of the third International Workshop on Declarative Agent Languages and Technologies (DALT 2005). Springer.
|
Broersen, J.M., Herzig, A. & Troquard, N. (2006). Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of logic and computation, 16, 559-578.
|
Broersen, J.M., Herzig, A. & Troquard, N. (2006). From Coalition Logic to STIT. Electronic Notes in Theoretical Computer Science, 157(4), 23-35.
|
Broersen, J.M. (2006). Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. In L. Goble & J.-J.Ch. Meyer (Eds.), Proceedings 8th International Workshop on Deontic Logic in Computer Science (DEON'06) (pp. 53-68). Springer.
|
Broersen, J.M., Dastani, M.M. & Torre, L. van der (2005). Beliefs, Obligations, Intentions and Desires as Components in an Agent Architecture. International journal of intelligent systems, 20, 893-920.
|
Dignum, F.P.M., Broersen, J.M. & Meyer, J-J.Ch. (2005). Meeting the Deadline: Why, When and How. In M. G. Hinchey, J. L. Rash & W. F. Truszkowski (Eds.), Formal Approaches to Agent-Based Systems (FAABS 2004) (LNAI, 3228) (pp. 30-40). Berlin: Springer-Verlag.
|
Dignum, F.P.M., Broersen, J.M., Dignum, M.V. & Meyer, J-J.Ch. (2005). Meeting the Deadline: Why, When and How. In M. Hinchey, J. Rash, W. Truszkowski & C. Rouff (Eds.), Formal Aspects to Agent-Based Systems (pp. 30-40). Berlin: Springer-Verlag.
|
Broersen, J.M. & Torre, L.W.N. van der (2005). Semantic Analysis of Chisholm's Paradox. In K. Verbeeck, K. Tuyls, A. Nowe, B. Manderick & B. Kuijpers (Eds.), Proceedings of the 17th Belgium-Netherlands Artificial Intelligence Conference (pp. 28-34).
|
Broersen, J.M. (2004). Action negation and alternative reductions for dynamic deontic logics. Journal of Applied Logic, 2, 153-168.
|
Broersen, J.M., Dignum, F.P.M., Dignum, M.V. & Meyer, J-J.Ch. (2004). Designing a Deontic Logic of Deadlines. In A. Lomuscio & D. Nute (Eds.), Proc. Deontic Logic in Computer Science (DEON 2004) (pp. 43-56). Berlin: Springer-Verlag.
|
Dignum, F.P.M., Broersen, J.M., Dignum, M.V. & Meyer, J-J.Ch. (2005). Meeting the deadline: Why, When and How. In M.G. Hinchey, J.L. Rash & W.F. Truszkowski (Eds.), Proceedings 3th International Workshop on Formal Aspects of Agent-Based Systems (FAABS'04) (pp. 30-40). Berlin/Heidelberg: Springer.
|
Broersen, J.M. (2004). On the Logic of 'Being Motivated to Achieve rho, Before delta'. In J. Alferes & J. Leite (Eds.), Proceedings Ninth European Conference on Logics in Artificial Intelligence (JELIA'04) (pp. 334-346). Springer.
|
Torre, L. van der, Hulstijn, J., Dastani, M.M. & Broersen, J.M. (2004). Specifying Multiagent Organizations. In A. Lomuscio & D. Nute (Eds.), Proceedings 7th International Workshop on Deontic Logic in Computer Science (DEON'04) (pp. 243-257). Springer.
|
Broersen, J.M., Dastani, M.M. & Torre, L.W.N. van der (2003). BDIO-CTL: Obligations and the Specification of Agent Behavior. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI2003) (pp. 1389-1390).
|
Broersen, J.M., Dastani, M.M. & Torre, L.W.N. van der (2003). BDIO-CTL: Obligations and the Specification of Agent Behavior. In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI2003) Artificial intelligence and law (pp. 1389-1390).
|
Broersen, J.M. (2003). Relativized Action Negation for Dynamic Logics. In P. Balbiani, N-Y. Suzuki, F. Wolter & M. Zakharyaschev (Eds.), Advances in Modal Logic (pp. 51-70).
|
Broersen, J.M. (2003). Relativized Action Negation for Dynamic Logics. In P. Balbiani, N-Y. Suzuki, F. Wolter & M. Zakharyaschev (Eds.), Advances in Modal Logic Vol. 4. Artificial intelligence and law (pp. 51-70).
|
Broersen, J.M. & Torre, L.W.N. van der (2003). What an agent ought to do: a review of John Horty's `agency and deontic logic'. Artificial intelligence and law, 11, 45-61.
|
Broersen, J.M. & Torre, L.W.N. van der (2003). What an agent ought to do: a review of John Horty's `agency and deontic logic'. Artificial intelligence and law, 11, 45-61.
|
webmaster@cs.uu.nl,
Wed, 23 May 2012 21:09:13 +0200
←
Departement Informatica, Universiteit Utrecht