1. 2014
  2. Published

    The AORTA Architecture: Integrating Organizational Reasoning in Jason. / Jensen, Andreas Schmidt; Dignum, Virginia; Villadsen, Jørgen.

    Engineering Multi-Agent Systems. Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers. ed. / Fabiano Dalpiaz; Jürgen Dix; M. Birna van Riemsdijk. Springer, 2014. p. 127-145 (Lecture Notes in Computer Science, Vol. 8758).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  3. Published

    The dark side of interval temporal logic: marking the undecidability border. / Bresolin, Davide; Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Annals of Mathematics and Artificial Intelligence, Vol. 71, No. 1-3, 2014, p. 41-83.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  4. Published

    Time–space trade-offs for longest common extensions. / Bille, Philip; Gørtz, Inge Li; Sach, Benjamin; Vildhøj, Hjalte Wedel.

    In: Journal of Discrete Algorithms, Vol. 25, 2014, p. 42-50.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  5. Published

    Towards optimal packed string matching. / Ben-Kiki, Oren; Bille, Philip; Breslauer, Dany; Ga̧sieniec, Leszek; Grossi, Roberto; Weimann, Oren.

    In: Theoretical Computer Science, Vol. 525, 2014, p. 111-129.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  6. Published

    Union-Find with Constant Time Deletions. / Alstrup, Stephen; Thorup, Mikkel; Gørtz, Inge Li; Rauhe, Theis; Zwick, Uri.

    In: A C M Transactions on Algorithms, Vol. 11, No. 1, 2014.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  7. 2013
  8. Published

    A Comparison of Organization-Centered and Agent-Centered Multi-Agent Systems. / Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: Artificial Intelligence Research, Vol. 2, No. 3, 2013, p. 59-69.

    Publication: Research - peer-reviewJournal article – Annual report year: 2013

  9. Published

    Alternating-time temporal logic with finite-memory strategies. / Vester, Steen.

    Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification. 2013. p. 194–207 (Electronic Proceedings in Theoretical Computer Science, Vol. 119).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  10. Published

    A method to derive fixed budget results from expected optimisation times. / Doerr, Benjamin; Jansen, Thomas; Witt, Carsten; Zarges, Christine.

    Proceeding of the fifteenth annual conference on Genetic and evolutionary computation. Association for Computing Machinery, 2013. p. 1581-1588 .

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  11. Published

    An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. / Goranko, Valentin; Turrini, Paolo.

    Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Springer, 2013. p. 110-123.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  12. Published

    A Seligman-Style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, 2013. p. 147-163.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word