Algorithms and Logic

  1. 2009
  2. Published

    Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. / Goranko, Valentin; Shkatov, Dmitry.

    Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. ed. / Matteo Baldoni. RWTH Aachen University, 2009. p. 25 (CEUR Workshop Proceedings; No. vol. 494).

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

  3. Published

    Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick.

    In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p. 21-39.

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

  4. Published

    Undecidability of Interval Temporal Logics with the Overlap Modality. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    Proceedings of the 16h International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2009. p. 88-95.

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

  5. 2008
  6. Published
  7. 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

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

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

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

  11. Published

    Experimental Data Does Not Violate Bell's Inequality for "Right Kolmogorov Space''. / Fischer, Paul; Avis, David; Hilbert, Astrid; Khrennikov, Andrei.

    AIP Proceedings. American Institute of Physics, 2008.

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

  12. Published

    Faults Analysis in Distributed Systems: Quantitative Estimation of Reliability and Resource Requirements. / Sellberg, Chrtistian; Hansen, Michael Reichhardt; Fischer, Paul.

    Third International Conference on Software and Data Technologies. Vol. Software Engineering Institute for Systems and Technologies of Information, Control and Communication, 2008. p. 45-52.

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

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