|
Search the dblp DataBase
Franco Turini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- Giuseppe Manco, Franco Turini
A Structural (Meta-Logical) Semantics for Linear Objects. [Citation Graph (0, 0)][DBLP] GULP-PRODE, 1995, pp:421-434 [Conf]
- Danilo Montesi, Franco Turini
Integrity Constraints Evolution in Deductive Databases. [Citation Graph (0, 0)][DBLP] GULP-PRODE, 1995, pp:160-168 [Conf]
- Maurizio Atzori, Paolo Mancarella, Franco Turini
Abduction in Classification Tasks. [Citation Graph (0, 0)][DBLP] AI*IA, 2003, pp:213-224 [Conf]
- 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]
- Miriam Baglioni, Franco Turini
MQL: An Algebraic Query Language for Knowledge Discovery. [Citation Graph (0, 0)][DBLP] AI*IA, 2003, pp:225-236 [Conf]
- 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]
- 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]
- 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]
- Roberto Barbuti, C. D'Ascanio, Franco Turini
Cooperating Logic Theories. [Citation Graph (0, 0)][DBLP] AIMSA, 1986, pp:165-172 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- Allessandro Campioli, Luciano Lucchesi, Franco Turini
Spreadviews. [Citation Graph (0, 0)][DBLP] DEXA, 1991, pp:525-530 [Conf]
- 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]
- 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]
- Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
Universal Quantification by Case Analysis. [Citation Graph (0, 0)][DBLP] ECAI, 1990, pp:111-116 [Conf]
- Antonio Brogi, Franco Turini
Metalogic for State Oriented Programming. [Citation Graph (0, 0)][DBLP] ELP, 1992, pp:187-204 [Conf]
- Danilo Montesi, Chiara Renso, Franco Turini
Using Temporary Integrity Constraints to Optimize Databases. [Citation Graph (0, 0)][DBLP] FAPR, 1996, pp:430-435 [Conf]
- 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]
- 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]
- Domenico Aquilino, Chiara Renso, Franco Turini
Towards Declarative GIS Analysis. [Citation Graph (0, 0)][DBLP] ACM-GIS, 1996, pp:98-104 [Conf]
- Alessandra Raffaetà, Franco Turini, Chiara Renso
Enhancing GISs for spatio-temporal reasoning. [Citation Graph (0, 0)][DBLP] ACM-GIS, 2002, pp:42-48 [Conf]
- Salvatore Rinzivillo, Franco Turini
Extracting spatial association rules from spatial transactions. [Citation Graph (0, 0)][DBLP] GIS, 2005, pp:79-86 [Conf]
- 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]
- 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]
- Paolo Mancarella, Franco Turini
A High Level Analysis Tool for Concurrent Programs. [Citation Graph (0, 0)][DBLP] ICPP, 1983, pp:293-302 [Conf]
- 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]
- 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]
- Giuliano Pacini, Franco Turini
Demonizing Production Systems. [Citation Graph (0, 0)][DBLP] IJCAI, 1983, pp:862-866 [Conf]
- Maurizio Atzori, Paolo Mancarella, Franco Turini
Memory-Aware Frequent k-Itemset Mining. [Citation Graph (0, 0)][DBLP] KDID, 2005, pp:38-54 [Conf]
- Antonio Brogi, Franco Turini
Metalogic for Knowledge Representation. [Citation Graph (0, 0)][DBLP] KR, 1991, pp:61-69 [Conf]
- Antonio Brogi, Franco Turini
Semantics of Meta-Logic in an Algebra of Programs [Citation Graph (0, 0)][DBLP] LICS, 1994, pp:262-270 [Conf]
- 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]
- 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]
- 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]
- Antonio Brogi, Simone Contiero, Franco Turini
Composing General Logic Programs. [Citation Graph (0, 0)][DBLP] LPNMR, 1997, pp:274-289 [Conf]
- Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
Meta for Modularising Logic Programming. [Citation Graph (0, 0)][DBLP] META, 1992, pp:105-119 [Conf]
- 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]
- 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]
- Salvatore Rinzivillo, Franco Turini
Classification in Geographical Information Systems. [Citation Graph (0, 0)][DBLP] PKDD, 2004, pp:374-385 [Conf]
- 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]
- 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]
- 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]
- 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]
- Andrea Bracciali, Antonio Brogi, Franco Turini
Coordinating interaction patterns. [Citation Graph (0, 0)][DBLP] SAC, 2001, pp:159-165 [Conf]
- 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]
- Fosca Giannotti, Alessandra Raffaetà, Chiara Renso, Franco Turini
Complex Reasoning on Geographical Data. [Citation Graph (0, 0)][DBLP] SEBD, 2001, pp:331-338 [Conf]
- 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]
- Alessandra Raffaetà, Chiara Renso, Franco Turini
Qualitative Reasoning in a Spatio-Temporal Language. [Citation Graph (0, 0)][DBLP] SEBD, 2002, pp:105-118 [Conf]
- 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]
- 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]
- 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]
- Paolo Mancarella, Alessandra Raffaetà, Franco Turini
Time in a Multi-Theory Logical Framework. [Citation Graph (0, 0)][DBLP] TIME, 1997, pp:62-70 [Conf]
- 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]
- 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]
- Franco Turini
Abstractions of Control Environments. [Citation Graph (0, 0)][DBLP] BIT, 1983, v:23, n:1, pp:21-35 [Journal]
- 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]
- 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]
- 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]
- 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]
- Giuliano Pacini, Franco Turini
Semantics of Production Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:73, n:2, pp:87-101 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
The Semantics of Ugo Montanari. [Citation Graph (, )][DBLP]
Ontology-Based Business Plan Classification. [Citation Graph (, )][DBLP]
Integrating induction and deduction for finding evidence of discrimination. [Citation Graph (, )][DBLP]
Time-Annotated Sequences for Medical Data Mining. [Citation Graph (, )][DBLP]
Discrimination-aware data mining. [Citation Graph (, )][DBLP]
Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. [Citation Graph (, )][DBLP]
Measuring Discrimination in Socially-Sensitive Decision Records. [Citation Graph (, )][DBLP]
DCUBE: discrimination discovery in databases. [Citation Graph (, )][DBLP]
Mining Clinical Data with a Temporal Dimension: A Case Study. [Citation Graph (, )][DBLP]
XQuake - An XQuery-like Language for Mining XML Data. [Citation Graph (, )][DBLP]
Integrating induction and deduction for finding evidence of discrimination. [Citation Graph (, )][DBLP]
KDDML-G: a grid-enabled knowledge discovery system. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.459secs
|