Controlled natural language : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009 : revised papers / / Norbert E. Fuchs, (ed.) |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Berlin, : Springer, 2010 |
Descrizione fisica | 1 online resource (X, 291 p. 62 illus.) |
Disciplina | 006.3/5 |
Altri autori (Persone) | FuchsN. E (Norbert E.) |
Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence |
Soggetto topico | Natural language processing (Computer science) |
ISBN |
1-280-38799-8
9786613565914 3-642-14418-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Language Aspects -- An Evaluation Framework for Controlled Natural Languages -- Rhetorical Compositions for Controlled Natural Languages -- Anaphora Resolution Involving Interactive Knowledge Acquisition -- Talking Rabbit: A User Evaluation of Sentence Production -- Naturalness vs. Predictability: A Key Debate in Controlled Languages -- Implementing Controlled Languages in GF -- Polysemy in Controlled Natural Language Texts -- Economical Discourse Representation Theory -- Controlled English Ontology-Based Data Access -- SBVR’s Approach to Controlled Natural Language -- Tools and Applications -- The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts -- On Designing Controlled Natural Languages for Semantic Annotation -- Development of a Controlled Natural Language Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit to OWL: Ontology Authoring with a CNL-Based Tool -- Writing Clinical Practice Guidelines in Controlled Natural Language -- What Are Controlled Natural Languages? -- On Controlled Natural Languages: Properties and Prospects. |
Record Nr. | UNINA-9910483505303321 |
Berlin, : Springer, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / / Norbert E. Fuchs (editor) |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin : , : Springer, , 1998 |
Descrizione fisica | 1 online resource (X, 343 p. 11 illus., 2 illus. in color.) |
Disciplina | 005.115 |
Collana | Lecture notes in computer science |
Soggetto topico | Logic programming |
ISBN | 3-540-49674-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Multi-level Approach to Program Synthesis -- Programs Without Failures -- Generalised Logic Program Transformation Schemas -- Logic Program Schemas, Constraints, and Semi-unification -- Implicit Program Synthesis by a Reversible Metainterpreter -- Termination Analysis for Tabled Logic Programming -- On Correct Program Schemas -- Analysis of Logic Programs with Delay -- Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs -- Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract) -- Unfolding the Mystery of Mergesort -- Towards a Logic for Reasoning About Logic Programs Transformation -- A Higher Order Reconstruction of Stepwise Enhancement -- Development of Correct Transformation Schemata for Prolog Programs -- Constrained Regular Approximation of Logic Programs -- A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories -- To Parse or Not To Parse. |
Record Nr. | UNISA-996466135703316 |
Berlin : , : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / / Norbert E. Fuchs (editor) |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin : , : Springer, , 1998 |
Descrizione fisica | 1 online resource (X, 343 p. 11 illus., 2 illus. in color.) |
Disciplina | 005.115 |
Collana | Lecture notes in computer science |
Soggetto topico | Logic programming |
ISBN | 3-540-49674-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Multi-level Approach to Program Synthesis -- Programs Without Failures -- Generalised Logic Program Transformation Schemas -- Logic Program Schemas, Constraints, and Semi-unification -- Implicit Program Synthesis by a Reversible Metainterpreter -- Termination Analysis for Tabled Logic Programming -- On Correct Program Schemas -- Analysis of Logic Programs with Delay -- Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs -- Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract) -- Unfolding the Mystery of Mergesort -- Towards a Logic for Reasoning About Logic Programs Transformation -- A Higher Order Reconstruction of Stepwise Enhancement -- Development of Correct Transformation Schemata for Prolog Programs -- Constrained Regular Approximation of Logic Programs -- A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories -- To Parse or Not To Parse. |
Record Nr. | UNINA-9910768475503321 |
Berlin : , : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|