3 items found

Licenses: Academic Free License 3.0 Tags: AI

Filter Results

  • Access required...

    ×

    Method

    Private ltlf2asp

    Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to reason about finite sequences of events. In LTLf, the (bounded) satisfiability problem refers to whether...
  • JournalArticle

    AI and Big Data A blueprint for a human rights and social and ethical impact ...

    Building on studies of the collective dimension of data protection, this article sets out to embed this new perspective in an assessment model centred on human rights (Human...
    • bibtex
      The resource: 'BibTeX' is not accessible as guest user. You must login to access it!
    • HTML
      The resource: 'Journal Article' is not accessible as guest user. You must login to access it!
  • JournalArticle

    Will big data algorithms dismantle the foundations of liberalism

    In Homo Deus, Yuval Noah Harari argues that technological advances of the twenty-first century will usher in a significant shift in how humans make important life decisions....
    • bibtex
      The resource: 'BibTex file' is not accessible as guest user. You must login to access it!
    • HTML
      The resource: 'Journal Article' is not accessible as guest user. You must login to access it!