| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910827286203321 |
|
|
Titolo |
Author and narrator : transdisciplinary contributions to a narratological debate / / edited by Dorothee Birke and Tilmann Köppe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Boston : , : De Gruyter, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
3-11-034855-1 |
3-11-038400-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (280 p.) |
|
|
|
|
|
|
Collana |
|
Linguae & Litterae ; ; volume 48 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Narration (Rhetoric) - Philosophy |
Discourse analysis, Narrative |
Authorship |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Contents -- Author and Narrator: Problems in the Constitution and Interpretation of Fictional Narrative / Birke, Dorothee / Köppe, Tilmann -- Against Pragmatic Arguments for Pan- Narrator Theories: The Case of Hawthorne's "Rappaccini's Daughter" / Köppe, Tilmann / Stühring, Jan -- Narratorless Narration? Some Reflections on the Arguments For and Against the Ubiquity of Narrators in Fictional Narration / Zipfel, Frank -- Author and Narrator: Observations on Die Wahlverwandtschaften / Pieper, Vincenz -- Author, Authority, and 'Authorial Narration': The Eighteenth-Century English Novel as a Test Case / Birke, Dorothee -- Interpretive Problems with Author, Self- Fashioning, and Narrator: The Controversy Over Christian Kracht's Novel Imperium / Schröter, Julian -- Fictional Narrators and Creationism / Bruhns, Adrian -- Speakers and Narrators / Eckardt, Regine -- Serious Speech Acts in Fictional Works / Klauk, Tobias -- Author and Narrator in Lyric Poetry / Hillebrandt, Claudia -- Narrative Mediation in Comics: Narrative Instances and Narrative Levels in Paul Hornschemeier's The Three Paradoxes / Kuhn, Markus / Veits, Andreas -- Narrator and Author: A Selected Bibliography / Schröter, Julian -- Notes on Contributors -- Index |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The distinction between author and narrator is one of the cornerstones of narrative theory. In the past two decades, however, scope, implications and consequences of this distinction have become the subjects of debate. This volume offers contributions to these debates from different vantage points: literary studies, linguistics, philosophy, and media studies. It thus manifests the status of narrative theory as a transdisciplinary project. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910409673003321 |
|
|
Titolo |
Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / / edited by Maurizio Gabbrielli |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (270 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12042 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer engineering |
Computer networks |
Computer simulation |
Application software |
Artificial intelligence |
Computer Science Logic and Foundations of Programming |
Computer Engineering and Networks |
Computer Modelling |
Computer and Information Systems Applications |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Reversibilization in Functional and Concurrent Programming -- Horn |
|
|
|
|
|
|
|
|
|
|
|
clauses and tree automata for imperative program verification -- On xpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics -- A General Framework for Static Cost Analysis of Parallel Logic Programs -- Incremental Analysis of Logic Programs with Assertions and Open Predicates -- Computing Abstract Distances in Logic Programs -- Synthesizing Imperative Code from Answer Set Programming Specifications -- Verified Construction of Fair Voting Rules -- Solving Proximity Constraints -- A Certified Functional Nominal C-Unification Algorithm -- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming -- An Integrated Approach to Assertion-Based Random Testing in Prolog.-Trace analysis using an Event-driven Interval Temporal Logic -- The Prolog debugger and declarative programming -- A Port Graph Rewriting Approach to Relational Database Modelling -- Generalization-driven semantic clone detection in CLP -- Semi-Inversion of Conditional Constructor Term Rewriting Systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers. The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation. |
|
|
|
|
|
|
|
| |