Sökning: "Situation semantics"

Visar resultat 21 - 25 av 33 avhandlingar innehållade orden Situation semantics.

  1. 21. Mixed Substrate Computation. Sensor Based Artificial Cognition for Architectural Design and Modification

    Författare :Stig Anton Nielsen; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : A mutual relationship exists between activities and their physical environment. Change of circumstances in the built environment cause change of activities, and vice versa, change of activities cause changes of physical environment. LÄS MER

  3. 22. On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach

    Författare :Jenny S. Z. Eriksson Lundström; Andreas Hamfelt; Giovanni Sartor; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. LÄS MER

  4. 23. Testing and Proving using Narrowing

    Författare :Fredrik Lindblad; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program correctness; software testing; formal verification; proof construction; dependent types; type theory; narrowing; dependent types;

    Sammanfattning : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. LÄS MER

  5. 24. Das präteritale Konzept im Frühneuhochdeutschen : Zur Distribution von Präteritum und präteritalem Perfekt in Flugschriften des 16. Jahrhunderts

    Författare :Camilla Amft; Stefan Mähl; Elvira Glaser; Mechthild Habermann; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Präteritumschwund; tense; present perfect; preterite; present perfect readings; tense change; tense variation; Early High German; pamphlets; Präteritumschwund; Perfektausweitung; Perfekt; Präteritum; Perfektlesarten; Tempus; Frühneuhochdeutsch; Flugschriften; German; Tyska;

    Sammanfattning : This thesis addresses the decline of the preterite tense, referred to as der Oberdeutsche Präteritumschwund (Upper German Preterite Loss), in favour of the present perfect tense. Its main focus is to examine and compare the distribution of the two tenses. LÄS MER

  7. 25. Multiple meanings of female initiation. "Circumcision" among Jola Women in Lower Casamance, Senegal

    Författare :Liselott (Lisen) Dellenborg; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; anthropology; Senegal; Lower Casamance; Kalounaye; Jola; initiation; female circumcision; genital cutting; identity; gender; moherhood; Islam; ethnicity; agency; social change;

    Sammanfattning : This anthropological study examines the meanings and practices of female "circumcision" and initiation in relation to identity and social change in contemporary Muslim Jola society, Senegal, West Africa. During the 20th century, clitoridectomy spread - allegedly as part of Islam - and became essential for a Jola woman's identity as a "real" woman and mother, and an important aspect of the women's initiation ritual. LÄS MER