Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Controlled natural language : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009 : revised papers / / Norbert E. Fuchs, (ed.)
| 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 | ||
| Materiale a stampa | ||
| 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)
| 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 | ||
| Materiale a stampa | ||
| 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)
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||