Results for 'Piergiorgio Bertoli'

81 found
Order:
  1.  41
    Verifying Space and Time Requirements for Resource-Bounded Agents.Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer.
    The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  2.  3
    A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 1--18.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3. Pragmatism, Trascendentalism, and Perfectionism.Roberto Frega, Donatelli Piergiorgio & Laugier Sandra - 2010 - European Journal of Pragmatism and American Philosophy 2 (2):iv-xiii.
    Introduction to the symposia on Pragmatism and Perfectionism appered on the European Journal of Pragmatism and American Philosophy, vol. 2 issue 2, 2010.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  4. The Complexities of Legal Translation in the Drafting of Bilateral Treaties Between Italy and English-Speaking Countries.Rocco Loiacono & Laura Bertoli - 2018 - Perspectives 26 (5):646-662.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Lógica Y filosofía de la ciencia.Odifreddi Piergiorgio - 2000 - Teorema: International Journal of Philosophy 19 (2-3):239.
    Translate
     
     
    Export citation  
     
    My bibliography  
  6.  3
    Piergiorgio Donatelli millov perfekcionizam.Christoph Schmidt-Petri - 2006 - Prolegomena 5:2.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  7.  2
    Giasco Bertoli, Tennis Courts.Victor Secretan - 2011 - Multitudes 46 (3):140-141.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  8.  2
    Review: Piergiorgio Odifreddi, Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers. [REVIEW]Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.
  9.  1
    Piergiorgio Donatelli, Introduzione a Mill (Roma-Bari: Laterza, 2007). [REVIEW]Lorenzo Greco - 2008 - ReF - Recensioni Filosofiche 32.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  10.  1
    Logic and Computer Science, Edited by Odifreddi Piergiorgio, APIC Studies in Data Processing, Vol. 31, Academic Press, London, San Diego, Etc., 1990, Xii+ 430 Pp. [REVIEW]Grigori Mints - 1994 - Journal of Symbolic Logic 59 (3):1111-1114.
  11. Piergiorgio Donatelli, Emidio Spinelli (a cura di), Il senso della virtù.John Christian Laursen - 2011 - Rivista di Storia Della Filosofia 66 (1):197.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  12. Odifreddi Piergiorgio. Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers. Studies in Logic and the Foundations of Mathematics, Vol. 125. North-Holland, Amsterdam Etc. 1989, Xvii + 668 Pp. [REVIEW]Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.
  13.  3
    Not Being God: A Collaborative Autobiography.Gianni Vattimo & Piergiorgio Paterlini - 2009 - Columbia University Press.
    With Piergiorgio Paterlini, a noted Italian writer and journalist, Gianni Vattimo, a leading philosopher of the continental school, reflects on a lifetime of politics, sexual radicalism, and philosophical exuberance in postwar Italy.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  4
    Note From the Editors.Daniele Moyal-Sharrock & Piergiorgio Donatelli - 2015 - Nordic Wittgenstein Review 4.
    This special issue on Forms of Life was conceived on the top floor of a café overlooking one of Rome's wonderful Piazzas, after a conference, hosted by Piergiorgio Donatelli, on Forms of Life and Ways of Living. Piergiorgio, Sandra Laugier and I thought the subject cried out for a small collection of essays in which several voices would elucidate the genesis, use and potential of Wittgenstein's concept of form of life -- and we committed to producing it. This (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  8
    Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers.Piergiorgio Odifreddi - 1989 - Sole Distributors for the Usa and Canada, Elsevier Science Pub. Co..
    Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from small (...)
    Direct download  
     
    Export citation  
     
    My bibliography   29 citations  
  16. Bringing Truth Home : Mill, Wittgenstein, Cavell, and Moral Perfectionism.Piergiorgio Donatelli - 2006 - In Andrew John Norris (ed.), The Claim to Community: Essays on Stanley Cavell and Political Philosophy. Stanford University Press.
  17. Forcing and Reducibilities.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (2):288-310.
  18.  3
    The Cardiac Rehabilitation Psychodynamic Group Intervention : An Explorative Study.Claudia Venuleo, Gianna Mangeli, Piergiorgio Mossi, Antonio F. Amico, Mauro Cozzolino, Alessandro Distante, Gianfranco Ignone, Giulia Savarese & Sergio Salvatore - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  6
    Knowledge, Practice and Faith on Total Quality Management Principles Among Workers in the Health Care System: Evidence From an Italian Investigation.Dario Gregori, Giampaolo Napolitano, Cecilia Scarinzi, Arianna Semeraro, Rosalba Rosato, Eva Pagano, Giulia Zigon & Piergiorgio Gabassi - 2009 - Journal of Evaluation in Clinical Practice 15 (1):69-75.
  20.  52
    Reshaping Ethics After Wittgenstein.Piergiorgio Donatelli - 2013 - Wittgenstein-Studien 4 (1).
    This article suggests a reading of the significance of Wittgenstein’s Tractatus for ethics, in the light of Cora Diamond’s resolute reading. The contrasts between sense and nonsense and between ethics and science are commented on and are connected to a further contrast between a specialized response to language and the world and an unspecialized response characteristic of the humanistic disciplines. The Tractatus is seen as a work which diagnoses the loss of such a fully human unspecialized sense of things and (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  5
    Millov perfekcionizam.Piergiorgio Donatelli - 2006 - Prolegomena 5 (2):149-164.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  22.  4
    Well-Being and Functioning at Work Following Thefts and Robberies: A Comparative Study.Ilaria Setti, Peter G. van der Velden, Valentina Sommovigo, Maria S. Ferretti, Gabriele Giorgi, Deirdre O'Shea & Piergiorgio Argentero - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Kreiseliana. About and Around Georg Kreisel.Piergiorgio Odifreddi (ed.) - 1996 - A K Peters.
  24.  24
    Aldo Giorgio Gargani's Wittgenstein.Piergiorgio Donatelli & Luigi Perissinotto - 2010 - Iris. European Journal of Philosophy and Public Debate 2 (3):231-244.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  17
    "Natural Goodness" di Philippa Foot. Discussione.Piergiorgio Donatelli, Mario Ricciardi & Michael Thompson - 2003 - Iride: Filosofia e Discussione Pubblica 16 (1):179-200.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  26.  12
    Valore e possibilità di vita: Martha Nussbaum.Piergiorgio Donatelli - 2001 - Rivista di Filosofia 92 (1):97-120.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  27.  14
    Godel's Mathematics of Philosophy.Piergiorgio Odifreddi - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press. pp. 299.
  28.  8
    Manières d'être humain.Piergiorgio Donatelli - 2009 - Cités 38 (2):47.
    Je vais évoquer ici la pertinence des concepts d’éthique au moyen de quelques réflexions sur le concept d’être humain. C’est là une notion cruciale parce que nous comprenons ce que signifie s’engager dans certaines activités dans la mesure où elles sont perçues comme humaines. La pensée morale est l’une de ces activités ; et par « moralité »..
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  29.  8
    Forms of Life, Forms of Reality.Piergiorgio Donatelli - 2015 - Nordic Wittgenstein Review 4:43-62.
    The article explores aspects of the notion of forms of life in the Wittgensteinian tradition especially following Iris Murdoch’s lead. On the one hand, the notion signals the hardness and inexhaustible character of reality, as the background needed in order to make sense of our lives in various ways. On the other, the hardness of reality is the object of a moral work of apprehension and deepening to the point at which its distinctive character dissolves into the family of connections (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  10
    L'etica e la concezione espressivista della mente.Piergiorgio Donatelli - 2013 - Rivista di Filosofia 104 (2):183-208.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  31.  10
    Discussione Su "Making It Explicit" di Robert Brandom.Piergiorgio Donatelli, Paolo Leonardi & Carlo Penco - 1999 - Iride: Filosofia e Discussione Pubblica 12 (1):179-196.
  32.  10
    L'astensionismo elettorale in Italia: trasformazioni culturali o smobilitazione dei partiti?Piergiorgio Corbetta & Dario Tuorto - 2004 - Polis 18 (2):287-314.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  33.  8
    Ethics, Imagination and the Concept of Human Nature.Piergiorgio Donatelli - 2008 - Rivista di Filosofia 99 (2):229-262.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  4
    Kennedy Hubert C.. Peano. Life and Works of Giuseppe Peano. Studies in the History of Modern Science, Vol. 4. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, Xii + 230 Pp. [REVIEW]Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (2):503-504.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  7
    Lo sfondo del liberalismo e gli inizi della vita umana.Piergiorgio Donatelli - 2013 - Iride: Filosofia e Discussione Pubblica 26 (2):225-238.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  36.  5
    Review: Raymond M. Smullyan, Recursion Theory for Metamathematics. [REVIEW]Piergiorgio Odifreddi - 1995 - Journal of Symbolic Logic 60 (4):1324-1326.
  37.  4
    L'esperienza morale della città.Piergiorgio Donatelli - 2011 - Iride: Filosofia e Discussione Pubblica 24 (3):515-532.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  38.  4
    Trasformazioni del concetto di essere umano.Piergiorgio Donatelli - 2008 - Iride: Filosofia e Discussione Pubblica 21 (1):83-102.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  39.  5
    Nota introduttiva.Piergiorgio Donatelli - 2008 - Iride: Filosofia e Discussione Pubblica 21 (1):41-46.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  40.  4
    John Stuart Mill E la Cultura Del Sé.Piergiorgio Donatelli - 2006 - Iride: Filosofia e Discussione Pubblica 19 (2):319-330.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41.  4
    Pathway Rewiring with Neural Transplantation.Piergiorgio Strata & Ferdinando Rossi - 1995 - Behavioral and Brain Sciences 18 (1):73.
  42.  3
    L’etica analitica dal punto di vista del soggetto.Piergiorgio Donatelli & Lorenzo Greco - 2007 - In Annalisa Coliva (ed.), Filosofia analitica. Temi e problemi. Carocci Editore. pp. 331-50.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  43.  7
    Forcing and Reducibilities. III. Forcing in Fragments of Set Theory.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (4):1013-1034.
  44.  3
    Bioetica e laicità.Piergiorgio Donatelli - 2010 - Iride: Filosofia e Discussione Pubblica 23 (3):479-490.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  45.  6
    Forcing and Reducibilities. II. Forcing in Fragments of Analysis.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (3):724-743.
  46.  3
    The Emergence of Sexuality di Arnold Davidson.Piergiorgio Donatelli & Patrick Singy - 2005 - Iride: Filosofia e Discussione Pubblica 18 (2):433-444.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47.  2
    Diritti e identità nella cultura morale moderna.Piergiorgio Donatelli - 2005 - Iride: Filosofia e Discussione Pubblica 18 (2):245-252.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  48.  2
    La vie des mots.Piergiorgio Donatelli - 2011 - Revue Internationale de Philosophie 256 (2):129-150.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  49.  2
    L'art du Spectateur.Piergiorgio Giacchè - 2001 - Diogène 193 (1):100.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  50.  2
    [Omnibus Review].Steven Homer - 1999 - Journal of Symbolic Logic 64 (1):399-401.
    Reviewed Works:Andrea Sorbi, Complexity, Logic, and Recursion Theory.Klaus Ambos-Spies, Elvira Mayordomo, Resource-Bounded Measure and Randomness.Marat Arslanov, Degree Structures in Local Degree Theory.Jose L. Balcazar, Ricard Gavalda, Montserrat Hermo, Compressibility of Infinite Binary Sequences.S. Barry Cooper, Beyond Godel's Theorem: The Failure to Capture Information Content.Robert A. Di Paola, Franco Montagna, Progressions of Theories of Bounded Arithmetic.Rodney G. Downey, On Presentations of Algebraic Structures.Sophie Fischer, Lane Hemaspaandra, Leen Torenvliet, Witness-Isomorphic Reductions and Local Search.William Gasarch, Carl H. Smith, A Survey of Inductive Inference (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 81