Results for 'Tanel Tammet'

8 found
Order:
  1.  17
    Transfer of sequent calculus strategies to resolution for S4.Grigori Mints, Vladimir Orevkov & Tanel Tammet - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 2--17.
  2.  3
    Every word is a bird we teach to sing: encounters with the mysteries and meanings of language.Daniel Tammet - 2017 - New York, NY: Little, Brown and Company.
    Is vocabulary destiny? Why do clocks 'talk' to the Nahua people of Mexico? Will A.I. researchers ever produce true human-machine dialogue? In this mesmerizing collection of essays, Daniel Tammet answers these and many other questions about the intricacy and profound power of language. Tammet goes back in time to explore the numeric language of his autistic childhood; he looks at the music and patterns that words make, and how languages evolve and are translated. He meets one of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  32
    Legal dilemmas of Estonian artificial intelligence strategy: in between of e-society and global race.Tanel Kerikmäe & Evelin Pärn-Lee - forthcoming - AI and Society:1-12.
    Estonia has successfully created a digital society within the past 2 decades. It is best known for its eGovernment achievements, but it is also home for four unicorn star-ups. While the state is aiming to attract tech investments with e-Residency program and has recently started to invest into protecting national IP and safeguarding data from cybercrime by applying blockchain technology and creating its “digital embassy” in Luxembourg, emerging technologies such as and applications of artificial intelligence but also internet of things (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  27
    Legal Person- or Agenthood of Artificial Intelligence Technologies.Tanel Kerikmäe, Peeter Müürsepp, Henri Mart Pihl, Ondrej Ondrej Hamuľák & Hovsep Kocharyan - 2020 - Acta Baltica Historiae Et Philosophiae Scientiarum 8 (2):73-92.
    Artificial intelligence is developing rapidly. There are technologies available that fulfil several tasks better than humans can and even behave like humans to some extent. Thus, the situation prompts the question whether AI should be granted legal person- and/or agenthood? There have been similar situations in history where the legal status of slaves or indigenous peoples was discussed. Still, in those historical questions, the subjects under study were always natural persons, i.e., they were living beings belonging to the species Homo (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  6
    Frontiers in AI Judiciary: A Contribution to Legal Futurology.Tanel Kerikmäe, Ondrej Hamuľák & Tomáš Gábriš - 2023 - Acta Baltica Historiae Et Philosophiae Scientiarum 11 (2):55-75.
    The article responds to the recent evolution in AI judiciary, especially as presented in China. The authors compare the basic methodological background of Western and Eastern legal systems, concluding that the West is rather inclined to post-positivist methodology in law, which seems incompatible with the full use of AI in legal decision-making. In China, with its more pragmatic approach, the actual process of decision-making might be closer to a new form of technological legal positivism, distinct from Western trends in jurisprudence. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  6
    An Idol or an Ideal? A Case Study of Estonian E-Governance: Public Perceptions, Myths and Misbeliefs.Tanel Kerikmäe, David Ramiro Troitiño & Olga Shumilo - 2019 - Acta Baltica Historiae Et Philosophiae Scientiarum 7 (1):71-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. PAeDS-MoRe: A framework for the development and review of research assent protocols involving children and adolescents.Marissa Constand, Nadia Tanel & Stephen E. Ryan - 2015 - Research Ethics 11 (1):15-38.
    We systematically reviewed contemporary literature to create an evidence-informed framework for research studies involving children and adolescents who can assent to participate. We searched seven citation indices to locate peer-reviewed research published in English language journals between 2000 and 2012. After screening 1,231 titles and abstracts for relevance, we assessed levels of evidence, extracted information, and analysed content from 87 articles. Most articles narrowly focused on paediatric assent barriers and facilitators for decision-making about research participation. No articles provided a single, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  42
    Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
    This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation