Marcello D Agostino s Publication List

Transcription

1 Marcello D Agostino s Publication List Last update: 30 August 2018 Forthcoming [1] Forthcoming (with D.M. Gabbay, and S. Modgil). Normality, Non- Contamination and Logical Depth in Classical Natural Deduction. In: Studia Logica. [2] 2019 (with D.M. Gabbay). Feasible Deduction for Realistic Agents. Vol. 1. London: College Publications. Published [3] 2018a (with S. Modgil). A Study of Argumentative Characterisations of Preferred Subtheories. In: Proceedings of IJCAI-ECAI Ed. by J. Lang. International Joint Conferences on Artificial Intelligence, pp [4] 2018b (with S. Modgil). Classical logic, argument and dialectic. In: Artificial Intelligence 262, pp [5] 2017 (with V. Dardanoni, and R. Ghiselli Ricci). How to standardize (if you must). In: Scientometrics 113, pp [6] The Philosophy of Mathematical Information. In: Routledge Handbook of the Philosophy of Information. Ed. by L. Floridi. London: Routledge, pp [7] 2016 (with T. Flaminio, and H. Hosni). Rational Beliefs a Real Agent Can Have. In: Proceedings of the NIPS 2016 Workshop on Imperfect Decision Makers. Ed. by T.V. Guy, M. Kárný, D. Rios-Insua, and D.H. Wolpert. Vol. 58. Proceedings of Machine Learning Research. PMLR, pp [8] 2016 (with S. Modgil). A Rational Account of Classical Logic Argumentation for Real-World Agents. In: ECAI nd European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications 285. IOS Press, pp [9] 2015 (with G. Boniolo, M. Piazza, and G. Pulcini). Adding Logic to the toolbox of molecular biology. In: European Journal for Philosophy of Science 5.3, pp

2 [10] 2015a. An informational view of classical logic. In: Theoretical Computer Science 606, pp doi: [11] 2015b. La logica nelle Scienze Economiche e Sociali. In: Le Direzioni della Ricerca Logica in Italia. Ed. by H. Hosni, G. Lolli, and C. Toffalori. Pisa: Edizioni della Scuola Normale, pp [12] 2015 (with L. Floridi). Towards a more realistic theory of semantic information. In: Handbook of the 5th World Congress and School on Universal Logic. UNILOG Ed. by J-Y. Beziau and A. Buchsbaum. Extended Abstract. University of Istanbul, Turkey, pp [13] 2015 (with H. Hosni, and T. Flaminio). Depth-bounded probability logic: a preliminary investigation. In: Handbook of the 5th World Congress and School on Universal Logic. UNILOG Ed. by J-Y. Beziau and A. Buchsbaum. Extended Abstract. University of Istanbul, Turkey, pp [14] 2015 (with M. Piazza M. D Agostino and G. Pulcini). How to go nonmonotonic through context-sensitiveness. In: Logic & Philosophy of Science XIII, pp [15] 2014a. Analytic Inference and the Informational Meaning of the Logical Operators. In: Logique et Analyse 227, pp [16] 2014b. Informational Semantics, Non-deterministic Matrices and Feasible Deduction. In: Electronic Notes in Theoretical Computer Science 305, pp url: [17] 2014 (with M. Carapezza). La logica e il mito del linguaggio perfetto. In: L uso dei simboli dall antichità al mondo contemporaneo. Pisa-Roma: Fabrizio Serra Editore, pp [18] 2014 (with M. Piazza, and G. Pulcini). A logical calculus for controlled monotonicity. In: Journal of Applied Logic 12, pp url: http: //dx.medra.org/ /j.jal [19] 2013 (with G. Boniolo, M. Piazza, and G. Pulcini). A logic of nonmonotonic interactions. In: Journal of Applied Logic 11, pp url: [20] 2013a. DEDUCTION. In: Encyclopedia of Philosophy and the Social Sciences. Vol. 1. Los Angeles/London/New Deli: SAGE Publications, pp [21] 2013b. Depth-Bounded Logic for Realistic Agents. In: Logic and Philosophy of Science XI, pp [22] 2013c. Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction. In: Information 4, pp url: http : //dx.medra.org/ /info [23] 2013 (with M. Finger, and D.M. Gabbay). Semantics and proof-theory of depth-bounded Boolean logics. In: Theoretical Computer Science 480, pp url: [24] 2011 (with J. Pitt, and J. Schaumeier). Modelling resource allocation in open embedded systems. In: Logic and Philosophy of Science 9, pp

3 [25] 2010 (with G. Boniolo, and P. Di Fiore). Zsyntax: A Formal Language for Molecular Biology with Projected Applications in Text Mining and Biological Prediction. In: Plos One 5, pp url: org/ /journal.pone [26] 2010 (with M. Carapezza). Logic and the Myth of the Perfect Language. In: Logic and Philosophy of Science 8, pp [27] Tractable Depth Bounded Logics and the Problem of Logical Omniscience. In: Probability, Uncertainty and Rationality. Pisa: Edizioni della Scuola Normale Superiore, pp [28] 2010 (with C. Sinigaglia.). Epistemic accuracy and subjective probability. In: EPSA Epistemology and Methodology of Science. Madrid: Springer-Verlag, pp [29] 2010 (with G. Giorello, et al.), eds. New Essays in Logic and Philosophy of Science. London: College Publications. [30] 2009a (with V. Dardanoni). The measurement of rank mobility. In: Journal of Economic Theory 144, pp url: org/ /j.jet [31] 2009b (with V. Dardanoni). What s so special about Euclidean distance? A characterization with applications to mobility and spatial voting. In: Social Choice and Welfare 33, pp url: /s [32] 2009 (with L. Floridi). The enduring scandal of deduction. Is propositional logic really uninformative? In: Synthese 167, pp url: [33] 2008 (with M. Finger, and D.M. Gabbay). Cut-Based Abduction. In: Logic Journal of the IGPL 16, pp url: /jigpal/jzn020. [34] 2007 (with G. Boniolo). Towards a Formal Language for Biology. In: First Conference of the European Philosophy of Science Association. Madrid: Universidad Complutense de Madrid, pp [35] 2007 (with C. Sinigaglia). Forecasting Accuracy and Subjective Probability. In: First Conference of the European Philosophy of Science Association (EPSA07). Madrid: Universidad Complutense de Madrid, pp [36] 2006 (with K. Broda, and M. Mondadori). A Solution to a Problem of Popper. In: Popper Philosopher of Science. Soveria Mannelli: Rubbettino, pp [37] 2005a. Classical Natural Deduction. In: We will show them! Essays in honour of Dov Gabbay. Vol. 1. London: College Pubblications, pp [38] 2005b. L impatto di Turing sulla logica. In: L eredità di Alan Turing. 50 anni di intelligenza artificiale. Milano: Alboversorio, pp [39] 2004 (with V. Dardanoni, and V. Peragine). Libertà: aspetti teorici ed empirici. In: Diritti, regole, mercato. Economia pubblica ed analisi economica del diritto. Milano: Franco Angeli, pp

4 [40] 2003 (with V. Dardanoni, and V. Peragine). Libertà: un approccio statistico. In: Filosofia e Questioni Pubbliche VIII, pp [41] 2001 (with D. Checchi, and V. Dardanoni). Measuring Ordinal Mobility: Theory and an Application to Italy. In: Atti della Conferenza della Società Italiana di Economia Pubblica. Vol. II. Pavia: SIEP, pp [42] 2001a (with G. Giorello, and S. Veca). Ragionare dobbiamo, e spesso. In: Logica e Politica. Ed. by M. D Agostino, G. Giorello, and S. Veca. Milan: Il Saggiatore, pp [43] 2001b (with G. Giorello, and S. Veca), eds. Logica e Politica. Per Marco Mondadori. Milano: Il Saggiatore e Fondazione Mondadori. [44] 2000 (with D. Basin et al.), eds. Labelled Deduction. Berlin: Springer. [45] 2000 (with U. Endriss, et al.). Un nuovo approccio alla meccanizzazione del ragionamento deduttivo. In: L uomo e la macchina. Trent anni dopo. Proceedings of the conference held in Bari October Bari: Laterza, pp [46] 1999 (with K. Broda, and A. Russo). Transformation methods in LDS. In: Logic, Language and Reasoning. Essays in Honour of Dov M. Gabbay. Dordrecht: Kluwer Academic Publishers, pp [47] Tableau Methods for Classical Propositional Logics. In: Handbook of Tableau Methods. Ed. by M. D Agostino, D.M. Gabbay, R. Haehnle, and J. Posegga. Dordrecht: Kluwer Academic Publishers, pp [48] 1999 (with D.M. Gabbay, and K. Broda). Tableaux methods for substructural logics. In: Handbook of Tableau Methods. Ed. by M. D Agostino, D.M. Gabbay, R. Haehnle, and J. Posegga. Dordrecht: Kluwer Academic Publishers, pp [49] 1999 (with D.M. Gabbay, R. Haehnle, and J. Posegga), eds. Handbook of Tableau Methods. Dordrecht: Kluwer Academic Publishers. [50] 1999 (with M. Mondadori). La logica è davvero analitica? In: Studi in onore di Franco Crispini. Cosenza: Edizioni Brenner, pp [51] 1998 (with U. Endriss, et al.). WinKE: A Pedagogic Tool for Teaching Logic and Reasoning. In: Intelligent Tutoring Systems. San Antonio, Texas: Springer, pp [52] 1997 (with D.M. Gabbay, and A. Russo). Grafting modalities onto substructural implication systems. In: Studia Logica 59, pp url: [53] 1997 (with M. Mondadori). Logica. Milano: Edizioni Bruno Mondadori. [54] 1996 (with D.M. Gabbay). Fibred Tableaux for multi-implication logics. In: Lecture Notes in Artificial Intelligence, Berlin: Springer, pp [55] 1996 (with D.M. Gabbay, and A. Russo). Information Frames, Implication Systems and Modalities. In: Mathware & Soft Computing 3, pp [56] 1995 (with K. Broda, and M. Mondadori). I sistemi logici di Karl Popper e l insegnamento della logica. Annali dell Università di Ferrara. 4

5 [57] 1995 (with K. Broda, and D Agostino M. And R. Goré), eds. Special issue of the Journal of IGPL on Theorem Proving with Analytic Tableaxu and Related Methods. Oxford: Oxford University Press. [58] 1995 (with D.M. Gabbay, and A. Russo). Labelled analytic deduction for Normal Modal Logics. In: LMPS95-10th International Congress of Logic, Methodology and Philosophy of Science. Firenze: Università di Firenze, pp [59] 1995 (with M. Mondadori). Carnap e la verità logica. In: L eredità di Rudolf Carnap. Bologna: Clueb, pp [60] 1994 (with K. Broda). Finding proofs in substructural logics. In: Proof theory, Linear Logic and Categorial Grammar. Roma: Università di Roma La Sapienza, pp [61] 1994 (with D.M. Gabbay). A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics. In: Journal of Automated Reasoning 13, pp url: /BF [62] 1994a (with M. Mondadori). An Improvement of Analytic Tableaux. In: Logica e Filosofia della Scienza, Problemi e Prospettive. Lucca: ETS, pp [63] 1994b (with M. Mondadori). Classical logic as the limit of a sequence of cut-bounded feasible logics. In: Logic Colloquium Clermont- Ferrand: Université de Clermont-Ferrand, pp [64] 1994c (with M. Mondadori). The Taming of the Cut. Classical Refutations with Analytic Cut. In: Journal of Logic and Computation 4, pp [65] The complexity of proof search with analytic tableaux and related systems. In: Second Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Marseille: University of Marseille, pp [66] 1993 (with D.M. Gabbay). Labelled Refutation Systems. A Case Study. In: Second Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Marseille: University of Marseille, pp [67] 1993 (with M. Mondadori). Il Dilemma dell ATP. In: Discipline Filosofiche 3, pp [68] 1992 (with J. Cunningham, and J. Pitt). Towards theorem proving with analytic cut. In: First Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Lautenbach: University of Karlsruhe, pp [69] 1992 (with D.M. Gabbay). Sistemi di refutazione indicizzati e logiche substrutturali. In: Discipline Filosofiche 2, pp [70] 1992a (with M. Mondadori). An Improvement of Analytic Tableaux. In: First Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Lautenbach: University of Karlsruhe, pp [71] 1992b (with M. Mondadori). Deduzione analitica classica, complessità e significato degli operatori logici. In: Semantica, complessità e linguaggio naturale. Bologna: Clueb, pp

6 [72] 1992 D Agostino M. Are Tableaux an improvement on truth-tables? Cutfree proofs and bivalence. In: Journal of Logic, Language and Information 1, pp url: [73] Proper derived rules and the relative complexity of formal proofs. In: Nuovi Problemi della Logica e della Filosofia della Scienza. Viareggio: Clueb, pp [74] 1991 (with M. Mondadori). Classical Analytic Deduction and Complexity. In: LMPS91. 9th International Congress of Logic, Methodology and Philosophy of Science. Uppsala: University of Uppsala, pp [75] Investigations into the Complexity of some Propositional calculi. Oxford: Oxford University Computing Laboratory, pp [76] 1990 (with M. Mondadori). Efficient Classical Refutations. In: KLEENE 90, the third logical biennal. Sofia: University of Sofia, pp [77] A note on the relative complexity of proofs in the propositional fragments of KE and KI. [78] Introduzione all edizione italiana. In: Scritti Filosofici di Imre Lakatos, 2 voll. Milano: Il Saggiatore, pp. XIX XLVII. [79] Leibniz e la geometria nascosta. In: Epistemologia 7, pp