Generalizing Consistency and other Constraint Properties to Quantified Constraints

Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual notion of solution inappropriate. As a consequence, basic properties of Constraint Satisfaction Problems (CSP), such as consistency or substitutability, are not completely understood in the quantified case. These properties are important because they are the basis of most of the reasoning methods used to solve classical (existentially quantified) constraints, and one would like to benefit from similar reasoning methods in the resolution of quantified constraints. In this paper, we show that most of the properties that are used by solvers for CSP can be generalized to quantified CSP. This requires a re-thinking of a number of basic concepts; in particular, we propose a notion of outcome that generalizes the classical notion of solution and on which all definitions are based. We propose a systematic study of the relations which hold between these properties, as well as complexity results regarding the decision of these properties. Finally, and since these problems are typically intractable, we generalize the approach used in CSP and propose weaker, easier to check notions based on locality, which allow to detect these properties incompletely but in polynomial time

Drug repurposing against COVID-19. focus on anticancer agents

The very limited time allowed to face the COVID-19 pandemic poses a pressing challenge to find proper therapeutic approaches. However, synthesis and full investigation from preclinical studies to phase III trials of new medications is a time-consuming procedure, and not viable in a global emergency, such as the one we are facing

Essai de stratigraphie linguistique de la Lex XII tabularum

This paper aims at to identify the different historical-linguistic layers in the fragmentary texts of the ancient Roman Law of the Twelve Tables. We show that the language of the Twelve Tables - despite some philological questions about their transmission during the last centuries of the Roman Republic - displays chronological strata. A thorough analysis of the phonological and morphological features and of the archaisms preserved by the written tradition here allows us to show the presence of three distinct layers, which can be ascribed to the three different linguistic periods of the 5th, 3rd and 1st centuries B

“Dilatandis Litteris”: uno studio su Cicerone e la pronunzia ‘rustica’.

This paper is a new interpretation of Cicero's famous passage on the diphthong /ej/. The "low" and "archaic" pronunciation stigmatised by Cicero in "Brutus" and "De oratore" is the long high vowel /e:/; the terminology adopted by the great Roman orator to describe this sociolectal allophone is graphocentric

Osco aflukad nella defixio Vetter 6

La forma verbale aflukad (III pers. sing. del congiuntivo presente) ricorre due volte nel testo dell’iscrizione Vetter 6, rr. 1 e 3, una tabella defixionis in lingua osca rinvenuta nel 1876 nella necropoli di Cuma (Fondo Patturelli) e databile fra il IV e il III sec. a.C. E' presumibile che la varietà funzionale di osco documentata in Vetter 6 fosse ben diversa da quelle presenti nel resto del corpus ufficiale sannita, costituito per lo più da scritture esposte di tipo istituzionale o religioso. La voce aflukad riveste un ruolo centrale nell’interpretazione dei primi righi dell’iscrizione: provare a capirne (e a carpirne) il reale valore corrisponde, inevitabilmente, a proporre una nuova interpretazione complessiva di tutta la porzione iniziale di Vetter 6

«Appendix Probi»: correzioni ortografiche o correzioni linguistiche?

L'articolo si propone di ricostruire l’orizzonte filologico entro cui si colloca quello straordinario documento che è l’AP III. L'opinione proposta è che, una volta che l’opuscolo sia stato depurato e, per così dire, liberato dalle incrostazioni dell’esegesi linguistica, ci si trovi dinnanzi a una lista di prescrizioni ricavate a loro volta da una compilazione di materiali precedenti o contemporanei al V secolo d.C. Questi materiali provengono in alcuni casi da fonti conosciute, in altri casi da fonti che comunque si riflettono nelle numerose trattazioni ortografiche e nelle regulae che scandirono il progressivo affermarsi di nuovi usi linguistici e di nuove scriptae nella tarda latinità. Traverso queste scriptae, avvertite ancora come parte integrante del repertorio dei latinofoni e dei latinografi, cominciavano a filtrare forme e fenomeni linguistici eccentrici rispetto al modello del “neostandard” latino. Il nostro grammatico compila questo repertorio ad usum paedagogicum, probabilmente. Vi aggiunge alcune espressioni tratte dalla propria competenza linguistica che documentano in parte usi linguistici non anteriori al V secolo d.