dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marcello D'Agostino Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Valentino Dardanoni: The measurement of rank mobility. J. Economic Theory 144(4): 1783-1803 (2009)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Valentino Dardanoni: What's so special about Euclidean distance? - A characterization with applications to mobility and spatial voting. Social Choice and Welfare 33(2): 211-233 (2009)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Luciano Floridi: The enduring scandal of deduction. Synthese 167(2): 271-315 (2009)
2008
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Cut-Based Abduction. Logic Journal of the IGPL 16(6): 537-560 (2008)
2005
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino: Classical Natural Deduction. We Will Show Them! (1) 2005: 429-468
1998
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt: WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems 1998: 605
1997
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Dov M. Gabbay, Alessandra Russo: Grafting Modalities onto Substructural Implication Systems. Studia Logica 59(1): 65-102 (1997)
1996
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Dov M. Gabbay: Fibred Tableaux for Multi-Implication Logic. TABLEAUX 1996: 16-35
1995
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves: Editorial. Logic Journal of the IGPL 3(6): 826 (1995)
1994
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Dov M. Gabbay: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. J. Autom. Reasoning 13(2): 243-281 (1994)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Marco Mondadori: The Taming of the Cut. Classical Refutations with Analytic Cut. J. Log. Comput. 4(3): 285-319 (1994)
1992
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello D'Agostino, Marco Mondadori: An Improvement of Analytic Tableaux. TABLEAUX 1992: 1-3
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Cunningham, Marcello D'Agostino, Jeremy V. Pitt: Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX 1992: 23-25

Coauthor Index

1Krysia Broda [5]
2Jim Cunningham (R. James Cunningham) [1]
3Valentino Dardanoni [12] [13]
4Ulrich Endriss (Ulle Endriss) [8]
5Marcelo Finger [10]
6Luciano Floridi [11]
7Dov M. Gabbay [4] [6] [7] [8] [10]
8Rajeev Goré [5]
9Rob Johnson [5]
10Marco Mondadori [2] [3] [8]
11Jeremy V. Pitt (Jeremy Pitt) [1] [8]
12Steve Reeves [5]
13Alessandra Russo [7]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page