Un razionalismo domestico

Saggio sugli aspetti storiografici, compositivi, tecnologici e ambientali che fanno di Villa Colli un piccolo capolavoro dell'architettura del primo razionalismo di Pagano e Levi-Montalcini, anticipatorio di interessanti ricerche sul rapporto tra architettura e contesto nell'ambito della modernit

Iraq. Prove di democrazia a Baghdad. Un gruppo spagnolo si aggiudica il concorso internazionale per lo sviluppodel quartiere di Adhamyia; terzo classificato un gruppo italiano

Articolo sugli esiti di un concorso internazionale di progettazione di una zona urbana storica nell'ambito della ricostruzione postbellica di Baghda

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern and Shoham's HS, which is the logic of the thirteen Allen's interval relations. Unfortunately, HS and most of its fragments have an undecidable satisfiability problem. This discouraged the research in this area until recently, when a number non-trivial decidable ITLs have been discovered. This paper is a contribution towards the complete classification of all different fragments of HS. We consider different combinations of the interval relations Begins, After, Later and their inverses Abar, Bbar, and Lbar. We know from previous works that the combination ABBbarAbar is decidable only when finite domains are considered (and undecidable elsewhere), and that ABBbar is decidable over the natural numbers. We extend these results by showing that decidability of ABBar can be further extended to capture the language ABBbarLbar, which lays in between ABBar and ABBbarAbar, and that turns out to be maximal w.r.t decidability over strongly discrete linear orders (e.g. finite orders, the naturals, the integers). We also prove that the proposed decision procedure is optimal with respect to the complexity class

Torino, la memoria della città industriale cancellata

Saggio sulle trasformazioni urbane di Torino nel passaggio da città industriale a città postindustriale e post fordista. Il saggio parte dall'analisi dei vuoti urbani lasciati dalle fabbriche dismesse denunciando una pianificazione che in troppi casi ha deciso la distruzione dei manufatti produttivi, rinunciando ad una possibile tutela della memoria operaia e alla ricucitura della trama viaria e del disegno urbano storico. Gli esiti della trasformazione sono discussi a partire da numerosi casi studio di cui sono individuati elementi positivi e di criticità in rapporto alla qualità urbana

Un razionalismo domestico

Saggio sugli aspetti storiografici, compositivi, tecnologici e ambientali che fanno di Villa Colli un piccolo capolavoro dell'architettura del primo razionalismo di Pagano e Levi-Montalcini, anticipatorio di interessanti ricerche sul rapporto tra architettura e contesto nell'ambito della modernità

Torino: un bilancio delle amministrative

Breve riflessione in forma di intervista in dialogo con Enzo Ferrara sui risultati elettorali delle elezioni amministrative del luglio 2021 di Torino in relazione alle prospettive di trasformazione urbana e sociale della città

A colloquio con Guido Montanari

Intervista a cura di Deborah C. Lefosse all'ex vicesindaco e assessore all'urbanistica di Torino sulle trasformazioni storiche e in progetto dell'area deindustrailizzata Ex OG

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

Propositional Neighborhood Logic (PNL) is an interval temporal logic featuring two modalities corresponding to the relations of right and left neighborhood between two intervals on a linear order (in terms of Allen's relations, meets and met by). Recently, it has been shown that PNL interpreted over several classes of linear orders, including natural numbers, is decidable (NEXPTIME-complete) and that some of its natural extensions preserve decidability. Most notably, this is the case with PNL over natural numbers extended with a limited form of metric constraints and with the future fragment of PNL extended with modal operators corresponding to Allen's relations begins, begun by, and before. This paper aims at demonstrating that PNL and its metric version MPNL, interpreted over natural numbers, are indeed very close to the border with undecidability, and even relatively weak extensions of them become undecidable. In particular, we show that (i) the addition of binders on integer variables ranging over interval lengths makes the resulting hybrid extension of MPNL undecidable, and (ii) a very weak first-order extension of the future fragment of PNL, obtained by replacing proposition letters by a restricted subclass of first-order formulae where only one variable is allowed, is undecidable (in contrast with the decidability of similar first-order extensions of point-based temporal logics)

Una storia dell'archittura contemporanea

Questo libro si propone di tracciare un inedito percorso di indagine storico e critico dell’architettura di epoca contemporanea – dalla Rivoluzione Francese all’oggi – a par- tire dall’aforisma rogersiano del progetto esteso «dal cucchiaio alla città». A un taglio cronologico tradizionale si affianca infatti una lettura disciplinare trasversale, nella quale architettura, città, territorio, design, tecniche e interni, sono descritti in relazione alla storia sociale ed economica, come aspetti di una più ampia storia della cultura. Arricchito di immagini, approfondimenti, cronologie, strumenti didattici e suggeri- menti per il confronto con i campi della letteratura, della musica e del cinema, si presta a essere strumento di formazione per gli studenti di architettura, di ingegneria, di design e di storia dell’arte, ma anche stimolo alla ricerca e all’approfondimento per gli studiosi e gli appassionati

A Road Map of Interval Temporal Logics and Duration Calculi

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results