Algorithms and Logic

  1. 2006
  2. Published

    Ontological Constitutions for Classes and Properties. / Nilsson, Jørgen Fischer (Invited author).

    14th Int. Conf. on Conceptual Structures, ICCS 2006. Vol. Lecture Notes in Artificial Intelligence (LNAI), vol. 4068 2006.

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

  3. Published

    Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 16, 2006, p. 737-763.

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

  4. 2007
  5. Published

    Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts. / Bille, Philip; Fagerberg, Rolf; Gørtz, Inge Li.

    Combinatorial Pattern Matching, Proceedings. Springer, 2007. p. 52-62 (Lecture Notes in Computer Science, Vol. 4580).

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

  6. Published

    Preface : For the proceedings of the International Workshop on Hybrid Logic 2006 (HyLo). / Blackburn, P.; Bolander, Thomas; Braüner, T.; de Paiva, V.; Villadsen, Jørgen.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, No. 6, 2007, p. 1–2.

    Publication: Research - peer-reviewEditorial – Annual report year: 2007

  7. Published

    Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor).

    Elsevier, 2007. (Electronic Notes in Theoretical Computer Science; No. 174).

    Publication: Research - peer-reviewBook – Annual report year: 2007

  8. Published
  9. 2008
  10. 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

  11. 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

  12. Published

    Asymmetric k-Center with Minimum Coverage. / Gørtz, Inge Li.

    In: Information Processing Letters, Vol. 105, No. 4, 2008, p. 144-149.

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

  13. Published

    Complete account of randomness in the EPR-Bohm-Bell experiment. / Avis, David; Fischer, Paul; Hilbert, Astrid; Khrennikov, Andrei.

    In: arXiv, 2008.

    Publication: ResearchJournal article – 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