English A A A

LII Publications


Selected publications from the LII group

  • Thomas Ågotnes. Coalition Logic. To appear in Encyclopedia of Philosophy and the Social Sciences, SAGE Publications.

  • Thomas Ågotnes. What Noone Knows. To appear at The 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012), Sevilla, Spain, June 2012.
  • Erik Parmann and Thomas Ågotnes. Modal Logics for Social Choice and Undecidability. To appear at The 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012), Sevilla, Spain, June 2012.
  • Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch and Stefan Minica. Question-answer games. To appear in Journal of Applied Non-Classical Logics.
  • Thomas Ågotnes and Natasha Alechina. Epistemic Coalition Logic: Completeness and Complexity. To appear in Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, Spain, June 2012.

  • R. Moe, Minimal Representation of Type-hierarchies.  In Zadeh et al (eds) Advances on artificial intelligence, knowledge engineering and databases. ISBN 978-960-6766-41-1, 2008
  • R. Moe, Decidable Feature Constraints. In Rutkowski et al (eds) computational Intelligence: Methods and Applications. EXIT Academic Publishing House, ISBN 978-93-60434-50-5, 2008

  • Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Logics of Interaction, Coalitions and Social Choice (extended abstract of invited talk). Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning, volume 9 of AISB 2008 Convention on Communication, Interaction and Social Intelligence, pages 1--6, Aberdeen, UK, 2008. [BibTex]

  • Thomas Ågotnes, Valentin Goranko and Wojciech Jamroga. Strategic Commitment and Release in Logics for Multi-Agent Systems. LOFT 2008, Amsterdam, July 2008.

  • Wojciech Jamroga, Thomas Ågotnes and Wiebe van der Hoek. A Simpler Semantics for Abilities under Uncertainty. LOFT 2008, Amsterdam, July 2008.

  • Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Robust Normative Systems. In Lin Padgham and David C. Parkes, editors, Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 747--754, Estoril, Portugal, May 2008.[BibTex]

  • Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Quantifying Over Coalitions in Epistemic Logic. In Lin Padgham and David C. Parkes, editors, Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 665--672, Estoril, Portugal, May 2008. [BibTex]

  • Thomas Ågotnes and Hans van Ditmarsch. Coalitions and Announcements. In Lin Padgham and David C. Parkes, editors, Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 673--680, Estoril, Portugal, May 2008. [BibTex]
  • Dag Elgesem. Search engines and the public use of reason. Ethics and Information Technology, Vol 10: 233-242, 2008 
  • Dag Elgesem. Information technology ethics. In Moral Philosophy and Information Technology, edited by Jeroen van den Hoven and John Weckert, Cambridge University Press, 2008.

  • Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Completeness and Complexity of Multi-Modal CTL. In C. Areces and S. Demri, editors, Proceedings of the 5th Workshop on Methods for Modalities (M4M5), Electronic Notes in Theoretical Computer Science (ENTCS) volume 231, pages 259--2750, 2009. [BibTex, PDF (same content as final version)]

  • Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek and Michael Wooldridge. Logics for Coalitional Games. In J. van Benthem, S. Ju and F. Veltman, editors, A Meeting of the Minds, number 8 in Texts in Computer Science, pages 3--20, London, UK, 2007. College Publications. [BibTex]

  • Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne and Wiebe van der Hoek. Logic for Automated Mechanism Design - A Progress Report. In Proceedings of the Twenty-Second Conference on Artificial Ingelligence (AAAI 2007), Vancouver, Canada, July 2007. AAAI Press. [BibTex]

  • Thomas Ågotnes and Dirk Walther. Towards a Logic of Strategic Ability under Bounded Memory. In Thomas Ågotnes, Natasha Alechina and Brian Logan, editors, Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 2007), Durham, UK, September 2007.

  • Thomas Ågotnes, Natasha Alechina and Brian Logan, editors. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 2007), Multi-Agent Logics, Languages and Organisations Federated Workshops. Durham, UK, September 2007. [BibTeX]

  • Thomas Ågotnes and Natasha Alechina. Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), Brussels, Belgium, pages 6--14, 2007. Presses Universitaires de Louvain. [BibTex]

  • Thomas Ågotnes, Valentin Goranko and Wojciech Jamroga. Alternating-time Temporal Logics with Irrevocable Strategies. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), Brussels, Belgium, pages 15--24, 2007. Presses Universitaires de Louvain. [BibTex]

  • Wiebe van der Hoek, Thomas Ågotnes and Michael Wooldridge. Extended Modal Logics for Social Software (extended abstract of invited talk). In C. Areces and S. Demri, editors,Proceedings of the 5th Workshop on Methods for Modalities (M4M5), 2007. College Publications. [BibTex]
  • R. Moe, A Complete Universal Query Operator, Proceedings of NIK’07, ISBN 978-82-519-2272-2. Tapir Norsk Forlag 2007

  • Wojciech Jamroga and Thomas Ågotnes. Constructive Knowledge: What Agents can Achieve under Imperfect Information. Journal of Applied Non-Classical Logics 17(4):423--425, 2007. [BibTex]

  • Thomas Ågotnes, Valentin Goranko and Wojciech Jamroga. Towards a Proof Theory for Logics with Irrevocable Strategies. In Proceedings of TABLEAUX'2007 Workshop on Agents, Logic and Theorem Proving, Aix-en-Provence, France, July 2007.

  • Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Reasoning about Judgment and Preference Aggregation. In M. Huhns and O. Shehory, editors, Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent System (AAMAS 2007), pages 554--561, 2007. IFAAMAS. [BibTeX]

  • Wojciech Jamroga and Thomas Ågotnes. Modular Interpreted Systems. In M. Huhns and O. Shehory, editors, Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent System (AAMAS 2007), pages 892--899, 2007. IFAAMAS. [BibTeX]

  • Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Normative Systems Games. In M. Huhns and O. Shehory, editors, Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), pages 876--883, 2007. IFAAMAS. [BibTeX]

  • Thomas Ågotnes, Michael Wooldridge, and Wiebe van der Hoek. Quantified Coalition Logic. In M. M. Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 1181--1186, 2007. AAAI Press. [BibTeX]

  • Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge. On the Logic of Normative Systems. In M. M. Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 1175--1180, 2007. AAAI Press. [BibTeX]

  • Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge. The simple normative systems language. In Virginia Dignum et al., editors,Agent Organizations: Models and Simulations, Proceedings of the IJCAI 07 Workshop (AOMS 2007), Hyderabad, India, January 2007. [BibTeX]

  • Thomas Ågotnes and Natasha Alechina. The dynamics of syntactic knowledge. Journal of Logic and Computation 17(1):83--116, 2007. [BibTeX]
  • Bjørnar Solhaug, Dag Elgesem, Ketil Stølen. Why trust is not proportional to risk. In Proc. 2nd International Conference on Availability, Reliability and Security (AReS’2007) IEEE Computer Society, 2007
  • Bjørnar Solhaug, Dag Elgesem and Ketil Stølen. Specifying Policies Using UML Sequence Diagrams - An Evaluation based on a Case Study. In the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), IEEE Computer Society, 2007.
  • Dag Elgesem and Joan Nordbotten. The Role of Context in the Interpretation of Images. In Proc. 3rd. CIR-07: Context-Based Information Retrieval. Roskilde, 2007.
  • Dag Elgesem. Search engines and the problem of transparency, In Proc. ETHICOMP07, Tokyo, 2007

  • Wojciech Jamroga and Thomas Ågotnes. Modular Interpreted Systems: A Preliminary Report. Technical Report IfI-06-15, Clausthal University of Technology, 2006. [BibTeX]

  • Thomas Ågotnes and Natasha Alechina, editors. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 2006), Malaga, Spain, 2006. The 18th European Summer School in Logic, Language and Information (ESSLLI 2006). [BibTeX]
  • R. Moe, Expressive modes and species of language. Proceedings of XVI international conference on computer and information science and engineering, Enformatica Vol 16, ISBN 975-00803-6-X, ISSN 1305-5313, 2006

  • Thomas Ågotnes, Michael Wooldridge, and Wiebe van der Hoek. Towards a logic of social welfare. In Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), pages 1--10, July 2006. [BibTeX] A practically identical version also appeared in Ulle Endriss and Jerome Lang, editors, Proceedings of the 1st International Workshop on Computational Social Choice (COMSOC 2006), pages 7--20, Amsterdam, December 2006. [BibTeX]

  • Thomas Ågotnes and Natasha Alechina. Knowing minimum/maximum n formulae. In Gerhard Brewka, Silvia Coradeschi, Anna Perini and Paolo Traverso, editors, Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pages 317-321, Riva del Garda, Italy, August 2006. IOS Press. [BibTeX]

  • Thomas Ågotnes. Action and knowledge in alternating-time temporal logic. Synthese 149(2):377--409, 2006. [BibTeX]

  • Thomas Ågotnes and Natasha Alechina. Semantics for dynamic syntactic epistemic logics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR'06), pages 411--419, Lake District, UK, June 2006. AAAI Press. [BibTeX]

  • Thomas Ågotnes, Michael Wooldridge, and Wiebe van der Hoek. Temporal qualitative coalitional games. In P. Stone and G. Weiss, editors, Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pages 177--184, Hakodate, Japan, May 2006. ACM Press. [BibTeX]

  • Thomas Ågotnes, Michael Wooldridge, and Wiebe van der Hoek. On the logic of coalitional games. In P. Stone and G. Weiss, editors, Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pages 153--160, Hakodate, Japan, May 2006. ACM Press. [BibTeX]
  • Dag Elgesem. Normative structures in trust management. In: Trust Management. Edited by Ketil Stølen, et. al. Lecture notes in computer science. Springer. 2006.
  • R. Moe, First order axiomatization of typed feature structures. Proceedings of the ninth scandinavian conference on artificial intelligence. Publications of the Finnish Artificial Intelligence Society 22, ISBN 978-952-5677-00-03, ISSN 1238-4658, 2006
  • R. Moe, The use of seed for computing joins in BCPOs. Transactions on information science and applications, ISSN 1790-0832, issue 2, volume 3, 2006

Sist endret: 10.5.2012