Algorithms and Logic

  1. Published

    A Common Framework for Board Games and Argumentation Games. / Lundström, Jenny Eriksson; Hamfelt, Andreas; Nilsson, Jørgen Fischer.

    Procs. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008. ed. / Y. Kiyoki; T. Tokuda. 2008. p. 317-328.

    Publication: ResearchArticle in proceedings – Annual report year: 2008

  2. Published

    Active Learning in Large Classes. / Gørtz, Inge Li.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

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

  3. Published

    Advances in Modal Logic : Volume 9. / Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor).

    College Publications, 2012. 592 p.

    Publication: ResearchBook – Annual report year: 2012

  4. Published

    A few ants are enough: ACO with iteration-best update. / Neumann, Frank; Sudholt, Dirk; Witt, Carsten.

    GECCO 2010: Portland, Oregon, USA - Companion Material. 2010. p. 63-70.

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

  5. Published

    Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. / Conradie, W.; Goranko, Valentin; Vakarelov, D.

    In: Fundamenta Informaticae, Vol. 92, No. 4, 2009, p. 307-343.

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

  6. Published

    Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. / Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter.

    In: Journal of Applied Logic, Vol. 8, No. 4, 2010, p. 319-333.

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

  7. Published

    Analysis of Diversity-Preserving Mechanisms for Global Exploration. / Friedrich, Tobias; Oliveto, Pietro S.; Sudholt, Dirk; Witt, Carsten.

    In: Evolutionary Computation, Vol. 17, No. 4, 2009, p. 455-476.

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

  8. Published

    Ant Colony Optimization and the minimum spanning tree problem. / Neumann, Frank; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 25, 2010, p. 2406-2413.

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

  9. Published

    Approximating covering problems by randomized search heuristics using multi-objective models. / Friedrich, Tobias; He, Jun; Hebbinghaus, Niels; Neumann, Frank; Witt, Carsten.

    In: Evolutionary Computation, Vol. 18, No. 4, 2010, p. 617-633.

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

  10. Published

    A rule-sceptic characterization of acceptable legal arguments. / Lundström, Jenny Eriksson; Hamfelt, Andreas; Nilsson, Jørgen Fischer.

    The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford University, California, USA. 2008. p. 283-284.

    Publication: ResearchArticle in proceedings – Annual report year: 2008

Previous 1 2 3 4 5 6 7 8 ...14 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word