ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1507.01701
  4. Cited By
A Survey and Classification of Controlled Natural Languages

A Survey and Classification of Controlled Natural Languages

7 July 2015
Tobias Kuhn
ArXiv (abs)PDFHTML

Papers citing "A Survey and Classification of Controlled Natural Languages"

35 / 35 papers shown
Title
Autoformalize Mathematical Statements by Symbolic Equivalence and
  Semantic Consistency
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Zenan Li
Yifan Wu
Zhaoyu Li
Xinming Wei
Xian Zhang
Fan Yang
Xiaoxing Ma
89
8
0
28 Oct 2024
LLASP: Fine-tuning Large Language Models for Answer Set Programming
LLASP: Fine-tuning Large Language Models for Answer Set Programming
Simone Mungari
Francesco Calimeri
Giuseppe Manco
S. Perri
Francesco Ricca
89
0
0
26 Jul 2024
SpeciaLex: A Benchmark for In-Context Specialized Lexicon Learning
SpeciaLex: A Benchmark for In-Context Specialized Lexicon Learning
Joseph Marvin Imperial
Harish Tayyar Madabushi
68
1
0
18 Jul 2024
Towards Automatic Composition of ASP Programs from Natural Language
  Specifications
Towards Automatic Composition of ASP Programs from Natural Language Specifications
Manuel Borroto
Irfan Kareem
Francesco Ricca
CoGe
65
2
0
07 Mar 2024
HyperPIE: Hyperparameter Information Extraction from Scientific
  Publications
HyperPIE: Hyperparameter Information Extraction from Scientific Publications
T. Saier
Mayumi Ohta
Takuto Asakura
Michael Färber
83
4
0
17 Dec 2023
CNL2ASP: converting controlled natural language sentences into ASP
CNL2ASP: converting controlled natural language sentences into ASP
Simone Caruso
Carmine Dodaro
Marco Maratea
Marco Mochi
Francesco Riccio
26
3
0
17 Nov 2023
Trustworthy Formal Natural Language Specifications
Trustworthy Formal Natural Language Specifications
Colin S. Gordon
Sergey Matskevich
HILM
62
3
0
05 Oct 2023
A Comprehensive Survey on Applications of Transformers for Deep Learning
  Tasks
A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks
Saidul Islam
Hanae Elmekki
Ahmed Elsebai
Jamal Bentahar
Najat Drawel
Gaith Rjoub
Witold Pedrycz
ViTMedIm
94
211
0
11 Jun 2023
An NLG pipeline for a legal expert system: a work in progress
An NLG pipeline for a legal expert system: a work in progress
Inari Listenmaa
Jason Morris
Alfred Ang
Maryam Hanafiah
Regina Cheong
AILawELM
10
1
0
06 Jul 2021
Understanding Pre-Editing for Black-Box Neural Machine Translation
Understanding Pre-Editing for Black-Box Neural Machine Translation
Rei Miyata
Atsushi Fujita
34
14
0
05 Feb 2021
Mining Documentation to Extract Hyperparameter Schemas
Mining Documentation to Extract Hyperparameter Schemas
Guillaume Baudart
Peter Kirchner
Martin Hirzel
Kiran Kate
12
10
0
30 Jun 2020
Probing the Natural Language Inference Task with Automated Reasoning
  Tools
Probing the Natural Language Inference Task with Automated Reasoning Tools
Zaid Marji
Animesh Nighojkar
John Licato
LRM
25
2
0
06 May 2020
On Systematically Building a Controlled Natural Language for Functional
  Requirements
On Systematically Building a Controlled Natural Language for Functional Requirements
Alvaro Veizaga
Mauricio Alférez
Damiano Torre
M. Sabetzadeh
Lionel C. Briand
126
31
0
04 May 2020
Expressiveness and machine processability of Knowledge Organization
  Systems (KOS): An analysis of concepts and relations
Expressiveness and machine processability of Knowledge Organization Systems (KOS): An analysis of concepts and relations
Manolis Peponakis
Anna Mastora
S. Kapidakis
M. Doerr
12
4
0
11 Mar 2020
Querying Knowledge via Multi-Hop English Questions
Querying Knowledge via Multi-Hop English Questions
Tiantian Gao
Paul Fodor
M. Kifer
78
6
0
18 Jul 2019
CLaRO: a Data-driven CNL for Specifying Competency Questions
CLaRO: a Data-driven CNL for Specifying Competency Questions
C. Keet
Zola Mahlaza
M. Antia
ELM
13
3
0
17 Jul 2019
Controlled Natural Languages and Default Reasoning
Controlled Natural Languages and Default Reasoning
Tiantian Gao
LRM
18
3
0
11 May 2019
Knowledge Authoring and Question Answering with KALM
Knowledge Authoring and Question Answering with KALM
Tiantian Gao
37
0
0
02 May 2019
Extracting Core Claims from Scientific Articles
Extracting Core Claims from Scientific Articles
Tom Jansen
Tobias Kuhn
22
6
0
24 Jul 2017
The Controlled Natural Language of Randall Munroe's Thing Explainer
The Controlled Natural Language of Randall Munroe's Thing Explainer
Tobias Kuhn
17
2
0
09 May 2016
A Multilingual FrameNet-based Grammar and Lexicon for Controlled Natural
  Language
A Multilingual FrameNet-based Grammar and Lexicon for Controlled Natural Language
Normunds Gruzitis
Dana Dannélls
15
18
0
12 Nov 2015
Introducing SKYSET - a Quintuple Approach for Improving Instructions
Introducing SKYSET - a Quintuple Approach for Improving Instructions
Kerry Fultz
Seth Filip
18
0
0
06 Nov 2015
Fully automatic multi-language translation with a catalogue of phrases -
  successful employment for the Swiss avalanche bulletin
Fully automatic multi-language translation with a catalogue of phrases - successful employment for the Swiss avalanche bulletin
K. Winkler
Tobias Kuhn
32
4
0
23 Sep 2015
Controlled Natural Language Processing as Answer Set Programming: an
  Experiment
Controlled Natural Language Processing as Answer Set Programming: an Experiment
Rolf Schwitter
34
0
0
15 Jul 2014
Lexpresso: a Controlled Natural Language
Lexpresso: a Controlled Natural Language
Adam Saulwick
35
9
0
08 Jul 2014
A CNL for Contract-Oriented Diagrams
A CNL for Contract-Oriented Diagrams
John J. Camilleri
Gabriele Paganelli
G. Schneider
41
20
0
22 Jun 2014
Embedded Controlled Languages
Embedded Controlled Languages
Aarne Ranta
35
15
0
16 Jun 2014
Are Style Guides Controlled Languages? The Case of Koenig & Bauer AG
Are Style Guides Controlled Languages? The Case of Koenig & Bauer AG
Karolina Suchowolec
41
0
0
13 Jun 2014
A Brief State of the Art for Ontology Authoring
A Brief State of the Art for Ontology Authoring
Hazem Safwat
Brian Davis
64
14
0
11 Jun 2014
Explaining Violation Traces with Finite State Natural Language
  Generation Models
Explaining Violation Traces with Finite State Natural Language Generation Models
Gordon J. Pace
M. Rosner
42
3
0
09 Jun 2014
Conversational Sensing
Conversational Sensing
Alun D. Preece
Christopher Gwilliams
Christos Parizas
D. Pizzocaro
J. Bakdash
Dave Braines
44
13
0
07 Jun 2014
Linguistic Analysis of Requirements of a Space Project and their
  Conformity with the Recommendations Proposed by a Controlled Natural Language
Linguistic Analysis of Requirements of a Space Project and their Conformity with the Recommendations Proposed by a Controlled Natural Language
A. Condamines
Maxime Warnier
42
10
0
06 Jun 2014
Evaluating the fully automatic multi-language translation of the Swiss
  avalanche bulletin
Evaluating the fully automatic multi-language translation of the Swiss avalanche bulletin
K. Winkler
Tobias Kuhn
M. Volk
63
4
0
23 May 2014
Trusty URIs: Verifiable, Immutable, and Permanent Digital Artifacts for
  Linked Data
Trusty URIs: Verifiable, Immutable, and Permanent Digital Artifacts for Linked Data
Tobias Kuhn
Michel Dumontier
41
48
0
16 Jan 2014
Verifiable Source Code Documentation in Controlled Natural Language
Verifiable Source Code Documentation in Controlled Natural Language
Tobias Kuhn
Alexandre Bergel
55
7
0
12 Nov 2013
1