The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Franco Turini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini
    Information Management in Context Trees. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:85-94 [Journal]
  2. Antonio Brogi, Chiara Renso, Franco Turini
    Amalgamating Language and Meta-language for Composing Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:408-422 [Conf]
  3. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    LOO: An Object Oriented Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:271-282 [Conf]
  4. Giuseppe Manco, Alessandra Raffaetà, Franco Turini
    Modeling Object Dynamics in Object-Oriented Logic Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:567-580 [Conf]
  5. Giuseppe Manco, Franco Turini
    A Structural (Meta-Logical) Semantics for Linear Objects. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:421-434 [Conf]
  6. Danilo Montesi, Franco Turini
    Integrity Constraints Evolution in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:160-168 [Conf]
  7. Maurizio Atzori, Paolo Mancarella, Franco Turini
    Abduction in Classification Tasks. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:213-224 [Conf]
  8. Miriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini
    Preprocessing and Mining Web Log Data for Web Personalization. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:237-249 [Conf]
  9. Miriam Baglioni, Franco Turini
    MQL: An Algebraic Query Language for Knowledge Discovery. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:225-236 [Conf]
  10. Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini
    Experiences with a Logic-Based Knowledge Discovery Support Environment. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:202-213 [Conf]
  11. Alessandra Raffaetà, Chiara Renso, Franco Turini
    Qualitative Spatial Reasoning in a Logical Framework. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:78-90 [Conf]
  12. Vincenzo Ambriola, Giuliano Pacini, Franco Turini
    The Sharing of Partial Results in Nondeterministic Computations. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:93-103 [Conf]
  13. Roberto Barbuti, C. D'Ascanio, Franco Turini
    Cooperating Logic Theories. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:165-172 [Conf]
  14. Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    MuTACLP: A Language for Temporal Reasoning with Multiple Theories. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:1-40 [Conf]
  15. Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo
    Examples of Integration of Induction and Deduction in Knowledge Discovery. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:307-326 [Conf]
  16. Fosca Giannotti, Giuseppe Manco, Franco Turini
    Towards a Logic Query Language for Data Mining. [Citation Graph (0, 0)][DBLP]
    Database Support for Data Mining Applications, 2004, pp:76-94 [Conf]
  17. Antonio Brogi, Simone Contiero, Franco Turini
    On the Interplay between Reactivity and Computation. [Citation Graph (0, 0)][DBLP]
    CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:66-0 [Conf]
  18. Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini
    MuTACLP: A Language for Declarative GIS Analysis. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1002-1016 [Conf]
  19. Allessandro Campioli, Luciano Lucchesi, Franco Turini
    Spreadviews. [Citation Graph (0, 0)][DBLP]
    DEXA, 1991, pp:525-530 [Conf]
  20. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    Temporal Annotated Constraint Logic Programming with Multiple Theories. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1999, pp:501-508 [Conf]
  21. Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini
    Experiences with a Logic-based knowledge discovery Support Environment. [Citation Graph (0, 0)][DBLP]
    1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999, pp:- [Conf]
  22. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Universal Quantification by Case Analysis. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:111-116 [Conf]
  23. Antonio Brogi, Franco Turini
    Metalogic for State Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:187-204 [Conf]
  24. Danilo Montesi, Chiara Renso, Franco Turini
    Using Temporary Integrity Constraints to Optimize Databases. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:430-435 [Conf]
  25. Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini
    A Progress Report on the LML Project. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:675-684 [Conf]
  26. Piero Alcamo, Francesco Domenichini, Franco Turini
    An XML Based Environment in Support of the Overall KDD Process. [Citation Graph (0, 0)][DBLP]
    FQAS, 2000, pp:413-424 [Conf]
  27. Domenico Aquilino, Chiara Renso, Franco Turini
    Towards Declarative GIS Analysis. [Citation Graph (0, 0)][DBLP]
    ACM-GIS, 1996, pp:98-104 [Conf]
  28. Alessandra Raffaetà, Franco Turini, Chiara Renso
    Enhancing GISs for spatio-temporal reasoning. [Citation Graph (0, 0)][DBLP]
    ACM-GIS, 2002, pp:42-48 [Conf]
  29. Salvatore Rinzivillo, Franco Turini
    Extracting spatial association rules from spatial transactions. [Citation Graph (0, 0)][DBLP]
    GIS, 2005, pp:79-86 [Conf]
  30. Giuliano Pacini, Carlo Montangero, Franco Turini
    Graph Representation and Computation Rules for Typeless Recursive Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:157-169 [Conf]
  31. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Theory Construction in Computational Logic. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:241-250 [Conf]
  32. Paolo Mancarella, Franco Turini
    A High Level Analysis Tool for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICPP, 1983, pp:293-302 [Conf]
  33. Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
    A Flexible Environment for Program Development Based on a Symbolic Interpreter. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:251-264 [Conf]
  34. Carlo Montangero, Giuliano Pacini, Franco Turini
    MAGMA-LISP: A "Machine Language" For Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:556-561 [Conf]
  35. Giuliano Pacini, Franco Turini
    Demonizing Production Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:862-866 [Conf]
  36. Maurizio Atzori, Paolo Mancarella, Franco Turini
    Memory-Aware Frequent k-Itemset Mining. [Citation Graph (0, 0)][DBLP]
    KDID, 2005, pp:38-54 [Conf]
  37. Antonio Brogi, Franco Turini
    Metalogic for Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:61-69 [Conf]
  38. Antonio Brogi, Franco Turini
    Semantics of Meta-Logic in an Algebra of Programs [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:262-270 [Conf]
  39. Patrizia Asirelli, Chiara Renso, Franco Turini
    Language Extensions for Semantic Integration of Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Logic in Databases, 1996, pp:415-434 [Conf]
  40. Antonio Brogi, Simone Contiero, Franco Turini
    The Use of Renaming in Composing General Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:124-142 [Conf]
  41. Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
    An Operator for Composing Deductive Databases with Theories of Constraints. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:57-70 [Conf]
  42. Antonio Brogi, Simone Contiero, Franco Turini
    Composing General Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:274-289 [Conf]
  43. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Meta for Modularising Logic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:105-119 [Conf]
  44. Andrea Romei, M. Sciolla, Franco Turini, M. Valentini
    Distributed Knowledge Discovery with the Parallel KDDML System. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Networks, 2006, pp:204-211 [Conf]
  45. Fosca Giannotti, Giuseppe Manco, Franco Turini
    Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study. [Citation Graph (0, 0)][DBLP]
    PKDD, 2001, pp:128-139 [Conf]
  46. Salvatore Rinzivillo, Franco Turini
    Classification in Geographical Information Systems. [Citation Graph (0, 0)][DBLP]
    PKDD, 2004, pp:374-385 [Conf]
  47. Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini
    Implementations of Program Composition Operations. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:292-307 [Conf]
  48. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Logic Programming within a Functional Framework. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:372-386 [Conf]
  49. Carlo Montangero, Giuliano Pacini, Franco Turini
    A model for structured parallel processing in block-structured programming languages. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:350-361 [Conf]
  50. Miriam Baglioni, Barbara Furletti, Franco Turini
    DrC4.5: Improving C4.5 by means of prior knowledge. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:474-481 [Conf]
  51. Andrea Bracciali, Antonio Brogi, Franco Turini
    Coordinating interaction patterns. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:159-165 [Conf]
  52. Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Franco Turini
    Integration of Deduction and Induction for Mining Supermarket Sales Data. [Citation Graph (0, 0)][DBLP]
    SEBD, 1999, pp:117-131 [Conf]
  53. Fosca Giannotti, Alessandra Raffaetà, Chiara Renso, Franco Turini
    Complex Reasoning on Geographical Data. [Citation Graph (0, 0)][DBLP]
    SEBD, 2001, pp:331-338 [Conf]
  54. Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini
    Deductive and Inductive Reasoning on Trajectories. [Citation Graph (0, 0)][DBLP]
    SEBD, 2004, pp:98-105 [Conf]
  55. Alessandra Raffaetà, Chiara Renso, Franco Turini
    Qualitative Reasoning in a Spatio-Temporal Language. [Citation Graph (0, 0)][DBLP]
    SEBD, 2002, pp:105-118 [Conf]
  56. Andrea Romei, Salvatore Ruggieri, Franco Turini
    KDDML: a middleware language and system for knowledge discovery in databases. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:208-219 [Conf]
  57. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Intensional Negation of Logic Programs: Examples and Implementation Techniques. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:96-110 [Conf]
  58. Patrizia Asirelli, Chiara Renso, Franco Turini
    The Constraint Operator of MedLan: Its Efficient Implementation and Use. [Citation Graph (0, 0)][DBLP]
    IICIS, 1998, pp:41-55 [Conf]
  59. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    Time in a Multi-Theory Logical Framework. [Citation Graph (0, 0)][DBLP]
    TIME, 1997, pp:62-70 [Conf]
  60. Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini
    Deductive and Inductive Reasoning on Spatio-Temporal Data. [Citation Graph (0, 0)][DBLP]
    INAP/WLP, 2004, pp:98-115 [Conf]
  61. Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
    Applying Restriction Constraints to Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:19, n:1-2, pp:3-25 [Journal]
  62. Franco Turini
    Abstractions of Control Environments. [Citation Graph (0, 0)][DBLP]
    BIT, 1983, v:23, n:1, pp:21-35 [Journal]
  63. Carlo Montangero, Giuliano Pacini, Franco Turini
    Two-Level Control Structure for Nondeterministic Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:10, pp:725-730 [Journal]
  64. Antonio Brogi, Chiara Renso, Franco Turini
    Dynamic composition of parameterised logic modules. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1999, v:25, n:4, pp:211-242 [Journal]
  65. Andrea Romei, Salvatore Ruggieri, Franco Turini
    KDDML: A middleware language and system for knowledge discovery in databases. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2006, v:57, n:2, pp:179-220 [Journal]
  66. Paolo Mancarella, Alessandra Raffaetà, Chiara Renso, Franco Turini
    Integrating knowledge representation and reasoning in Geographical Information Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Geographical Information Science, 2004, v:18, n:4, pp:417-447 [Journal]
  67. Giuliano Pacini, Franco Turini
    Semantics of Production Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1987, v:73, n:2, pp:87-101 [Journal]
  68. Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    Knowledge representation with multiple logical theories and time. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1999, v:11, n:1, pp:47-76 [Journal]
  69. Salvatore Rinzivillo, Franco Turini
    Knowledge discovery from spatial transactions. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 2007, v:28, n:1, pp:1-22 [Journal]
  70. Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso, Franco Turini
    Using MedLan to Integrate Geographical Data. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:43, n:1, pp:3-14 [Journal]
  71. Andrea Bracciali, Antonio Brogi, Franco Turini
    A framework for specifying and verifying the behaviour of open systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:63, n:2, pp:215-240 [Journal]
  72. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
    A Transformational Approach to Negation in Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1990, v:8, n:3, pp:201-228 [Journal]
  73. Antonio Brogi, Simone Contiero, Franco Turini
    Programming by Combining General Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:1, pp:7-24 [Journal]
  74. Fosca Giannotti, Attilio Matteucci, Dino Pedreschi, Franco Turini
    Symbolic Evaluation with Structural Recursive Symbolic Constants. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:9, n:2, pp:161-177 [Journal]
  75. Antonio Brogi, Franco Turini
    Fully Abstract Composition Semantics for an Algebra of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:2, pp:201-209 [Journal]
  76. Fosca Giannotti, Giuseppe Manco, Franco Turini
    Specifying Mining Algorithms with Iterative User-Defined Aggregates. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2004, v:16, n:10, pp:1232-1246 [Journal]
  77. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Modular Logic Programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:4, pp:1361-1398 [Journal]
  78. Franco Turini
    Magma2: A Language Oriented toward Experiments in Control. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:4, pp:468-486 [Journal]
  79. Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini
    Symbolic Semantics and Program Reduction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:8, pp:784-794 [Journal]
  80. Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini
    RSF: A Formalism for Executable Requirement Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1235-1246 [Journal]

  81. The Semantics of Ugo Montanari. [Citation Graph (, )][DBLP]


  82. Ontology-Based Business Plan Classification. [Citation Graph (, )][DBLP]


  83. Integrating induction and deduction for finding evidence of discrimination. [Citation Graph (, )][DBLP]


  84. Time-Annotated Sequences for Medical Data Mining. [Citation Graph (, )][DBLP]


  85. Discrimination-aware data mining. [Citation Graph (, )][DBLP]


  86. Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. [Citation Graph (, )][DBLP]


  87. Measuring Discrimination in Socially-Sensitive Decision Records. [Citation Graph (, )][DBLP]


  88. DCUBE: discrimination discovery in databases. [Citation Graph (, )][DBLP]


  89. Mining Clinical Data with a Temporal Dimension: A Case Study. [Citation Graph (, )][DBLP]


  90. XQuake - An XQuery-like Language for Mining XML Data. [Citation Graph (, )][DBLP]


  91. Integrating induction and deduction for finding evidence of discrimination. [Citation Graph (, )][DBLP]


  92. KDDML-G: a grid-enabled knowledge discovery system. [Citation Graph (, )][DBLP]


Search in 0.290secs, Finished in 0.294secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002