id:"swepub:oai:gup.ub.gu.se/181436"
Sökning: id:"swepub:oai:gup.ub.gu.se/181436" > A Framework for Con...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Angelov, Krasimir,1978Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg (författare)
A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language
- Artikel/kapitelEngelska2013
Förlag, utgivningsår, omfång ...
- Elsevier BV,2013
Nummerbeteckningar
- LIBRIS-ID:oai:gup.ub.gu.se/181436
- https://gup.ub.gu.se/publication/181436URI
- https://doi.org/10.1016/j.jlap.2013.03.002DOI
- https://research.chalmers.se/publication/181436URI
Kompletterande språkuppgifter
- Språk:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- 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.
Ämnesord och genrebeteckningar
- NATURVETENSKAP Data- och informationsvetenskap Språkteknologi hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Language Technology hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- Normative texts
- E-contracts
- Legal contracts
- Controlled natural language
- CLAN
- CL
- Conflict analysis
- Grammatical framework
- E-contracts
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Camilleri, John J.,1986Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)cajohn (författare)
- Schneider, Gerardo,1967Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg(Swepub:gu)xschge (författare)
- Göteborgs universitetInstitutionen för data- och informationsteknik (GU) (creator_code:org_t)
Sammanhörande titlar
- Ingår i:Journal of Logic and Algebraic Programming: Elsevier BV82:5-7, s. 216-2401567-8326
Internetlänk
Hitta via bibliotek
- Journal of Logic and Algebraic Programming (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Angelov, Krasimi ...
- Camilleri, John ...
- Schneider, Gerar ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Språkteknologi
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- Journal of Logic ...
- Av lärosätet
- Göteborgs universitet
- Chalmers tekniska högskola
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
