SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "id:"swepub:oai:gup.ub.gu.se/181436" "

Sökning: id:"swepub:oai:gup.ub.gu.se/181436"

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Angelov, Krasimir, 1978, et al. (författare)
  • A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language
  • 2013
  • Ingår i: Journal of Logic and Algebraic Programming. - : Elsevier BV. - 1567-8326. ; 82:5-7, s. 216-240
  • Tidskriftsartikel (refereegranskat)abstract
    • In this paper we are concerned with the analysis of normative conflicts, or the detection of conflicting obligations, permissions and prohibitions in normative texts written in a Controlled Natural Language (CNL). For this we present AnaCon, a proof-of-concept system where normative texts written in CNL are automatically translated into the formal language CL using the Grammatical Framework (GF). Such CL expressions are then analysed for normative conflicts by the CLAN tool, which gives counter-examples in cases where conflicts are found. The framework also uses GF to give a CNL version of the counter-example, helping the user to identify the conflicts in the original text. We detail the application of AnaCon to two case studies and discuss the effectiveness of our approach.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
tidskriftsartikel (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Angelov, Krasimir, 1 ... (1)
Schneider, Gerardo, ... (1)
Camilleri, John J., ... (1)
Lärosäte
Göteborgs universitet (1)
Chalmers tekniska högskola (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2013 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy