SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Angelov Krasimir 1978 ) "

Sökning: WFRF:(Angelov Krasimir 1978 )

  • Resultat 1-10 av 16
  • [1]2Nästa
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. - 1567-8326. ; 82:5-7
  • 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.
  •  
2.
  • Angelov, Krasimir, 1978- (författare)
  • GF Runtime System
  • 2009
  • Licentiatavhandling (övrigt vetenskapligt)abstract
    • Natural languages have been subject of studies for centuries and are hot topic even today. The demand for computer systems able to communicate directly in natural language places new challenges. Computational resources like grammars and lexicons and efficient processing tools are needed. Grammars are described as computer programs in declarative domain specific languages. Just like any other programming language they require mature compilers and efficient runtime systems. The topic of this thesis is the runtime system for the Grammatical Framework (GF) language. The first part of the thesis describes the semantics of the Portable Grammar Format (PGF). This is a low-level format which for GF plays the same role as the JVM bytecode for Java. The representation is designed to be as simple as possible to make it easy to write interpreters for it. The second part is for the incremetal parsing algorithm in PGF. The parser performance was always a bottle neck in GF until now. The new parser is of orders of magnitude faster than any of the previous implementations. The last contribution of the thesis is the development of the Bulgarian resource grammar. This is the first Balkan language in the resource library and the first open-source grammar for Bulgarian. The grammar development was also an important benchmark for the development of the parsing algorithm.
  •  
3.
  •  
4.
  •  
5.
  • Angelov, Krasimir, 1978- (författare)
  • The Mechanics of the Grammatical Framework
  • 2011
  • Doktorsavhandling (övrigt vetenskapligt)abstract
    • Grammatical Framework (GF) is a well known theoretical framework and a mature programming language for the description of natural languages. The GF community is growing rapidly and the range of applications is expanding. Within the framework, there are computational resources for 26 languages created from different people in different organizations. The coverage of the different resources varies but there are complete morphologies and grammars for at least 20 languages. This advancement would not be possible without the continuous development of the GF compiler and interpreter. The demand for efficient and portable execution model for GF has led to major changes in both the compiler and the interpreter. We developed a new low-level representation called Portable Grammar Format (PGF) which is simple enough for an efficient interpretation. Since it was already known that a major fragment of GF is equivalent to Parallel Multiple Context-Free Grammar (PMCFG), we designed PGF as an extension that adds to PMCFG distinctive features of GF such as multilingualism, higher-order abstract syntax, dependent types, etc. In the process we developed novel algorithms for parsing and linearization with PMCFG and a framework for logical reasoning in first-order type theory where the proof search can be constrained by the parse chart. This monograph is the detailed description of the engine for efficient interpretation of PGF and is intended as a reference for building alternative implementations and as a foundation for the future development of PGF.
  •  
6.
  • Angelov, Krasimir, 1978- (författare)
  • Type-Theoretical Bulgarian Grammar
  • 2008
  • Ingår i: Proceedings of the 6th international conference on Advances in Natural Language Processing. - 978-3-540-85286-5 ; 5221, s. 52-64
  • Konferensbidrag (refereegranskat)
  •  
7.
  •  
8.
  • Angelov, Krasimir, 1978-, et al. (författare)
  • Typeful Ontologies with Direct Multilingual Verbalization
  • 2012
  • Ingår i: Controlled Natural Language : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers / edited by Michael Rosner, Norbert E. Fuchs. - 0302-9743. - 978-3-642-31174-1 ; 7175, s. 1-20
  • Konferensbidrag (refereegranskat)abstract
    • We have developed a methodology for the representation of ontologies in a strictly typed language with dependent types. The methodology is supported by an experiment where we translated SUMO (Suggested Upper-Merged Ontology) to GF (Grammatical Framework). The representation of SUMO in GF preserves the expressivity of the original ontology, adding to this the advantages of a type system and built-in support for natural language generation. SUMO is the largest open-source ontology describing over 10,000 concepts and the relations between them, along with a number of first-order axioms, which are further on used in performing automated reasoning on the ontology. GF is a type-theoretical grammar formalism mainly used for natural language applications. Through the logical framework that it incorporates, GF allows a consistent ontology representation, and thanks to its grammatical features the ontology is directly verbalized in a number of controlled natural languages.
  •  
9.
  •  
10.
  • Caprotti, Olga, 1964-, et al. (författare)
  • High-quality translation: Molto tools and applications
  • 2012
  • Ingår i: The fourth Swedish Language Technology Conference (SLTC).
  • Konferensbidrag (refereegranskat)abstract
    • MOLTO (Multilingual On Line Translation, FP7-ICT-247914, www.molto-project.eu) is a European project focusing on translation on the web. MOLTO targets translation that has production quality, that is, usable for quick and reliable dissemination of information. MOLTO’s main focus is to increase the productivity of such translation systems, building on the technology of GF (Grammatical Framework) and its Resource Grammar Library. But MOLTO also develops hybrid methods which increase the quality of Statistical Machine Translation (SMT) by adding linguistic information, or bootstrap grammatical models from statistical models. This paper gives a brief overview of MOLTO’s latest achievements, many of which are more thoroughly described in separate papers and available as web-based demos and as open-source software.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 16
  • [1]2Nästa
 
pil uppåt Stäng

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