Results 11 to 20 of about 23,943 (237)
DIR: A Large-Scale Dialogue Rewrite Dataset for Cross-Domain Conversational Text-to-SQL
Applied Sciences, 2023 Semantic co-reference and ellipsis always lead to information deficiency when parsing natural language utterances with SQL in a multi-turn dialogue (i.e., conversational text-to-SQL task).
Jieyu Li +6 more
doaj +1 more source
Confluence of Conditional Term Rewrite Systems via Transformations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Conditional term rewriting is an intuitive yet complex extension of term rewriting. In order to benefit from the simpler framework of unconditional rewriting, transformations have been defined to eliminate the conditions of conditional term rewrite ...
Karl Gmeiner
doaj +1 more source
Rewrite, rewrite, rewrite, rewrite, rewrite...
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89, 1989 The theory of term rewriting systems has important applications in abstract data type specifications and functional programming languages. We begin here a study of properties of systems that are not necessarily terminating, but allow for infinite derivations that have a limit.
N. Dershowitz, S. Kaplan
openaire +2 more sources
Rewriting Modulo β in the λΠ-Calculus Modulo [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The lambda-Pi-calculus Modulo is a variant of the lambda-calculus with dependent types where beta-conversion is extended with user-defined rewrite rules.
Ronan Saillard
doaj +1 more source
Taking-and-merging games as rewrite games [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 This work is a contribution to the study of rewrite games. Positions are finite words, and the possible moves are defined by a finite number of local rewriting rules.
Eric Duchêne +3 more
doaj +1 more source
Rewrite, rewrite, rewrite, rewrite, rewrite, …
Theoretical Computer Science, 1991 We study properties of rewrite systems that are not necessarily terminating, but allow instead for transfinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of infinitary theories.
Dershowitz, Nachum +2 more
openaire +1 more source
Fééries, 2019 In this article an intertextual approach to literature is adopted to understand how the western canon has come to acquire a physiognomy defined by the permanence and the metamorphosis of founding literary texts and by their circulation, reception and ...
Isabella Mattazzi
doaj +1 more source
Criticón, 2016 In this paper I will prove that La palabra vengada, a play published in 1678 under the name of Fernando de Zárate (pseudonym of Antonio Enríquez Gómez) and attributed by critics to Lope de Vega, is in fact a reworking by Antonio Enríquez Gómez of a play ...
Daniel Fernández Rodríguez
doaj +1 more source
Thermodynamic graph-rewriting [PDF]
Logical Methods in Computer Science, 2013 We develop a new thermodynamic approach to stochastic graph-rewriting. The ingredients are a finite set of reversible graph-rewriting rules called generating rules, a finite set of connected graphs P called energy patterns and an energy cost function. The idea is that the generators define the qualitative dynamics, by showing which transformations are ...
Danos, Vincent +3 more
openaire +9 more sources
Robes classiques et robes symbolistes, de « Peau d’Âne » aux avatars de « Barbe bleue »
Fééries, 2019 To answer the question of the treatment of the material world in fairy tales, this paper first considers how Perrault represents the three marvelous dresses of “Peau d’Âne” and which part they play in her relationship with her father and her lover. Then,
Jean-Paul Sermain
doaj +1 more source