Publications

You are here

Export 5 results:
[ Author(Desc)] Title Type Year
Filters: Author is Fosca Giannotti  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
F. Giannotti, Raffaetà, A., Renso, C., and Turini, F., Complex Reasoning on Geographical Data, in SEBD, 2001, pp. 331-338.
F. Giannotti, Mazzoni, A., Puntoni, S., and Renso, C., Synthetic generation of cellular network positioning data, in GIS, 2005, pp. 12-20.
F. Giannotti, Matteucci, A., Pedreschi, D., and Turini, F., Symbolic Evaluation with Structural Recursive Symbolic Constants, Sci. Comput. Program., vol. 9, pp. 161-177, 1987.
F. Giannotti and Pedreschi, D., Declarative Semantics for Pruning Operators in Logic Programming, in LPNMR, 1990, pp. 27-37.
F. Giannotti and Hermenegildo, M. V., A Technique for Recursive Invariance Detection and Selective Program Specification, in PLILP, 1991, pp. 323-334.
F. Giannotti, Pedreschi, D., Saccà, D., and Zaniolo, C., Non-Determinism in Deductive Databases, in DOOD, 1991, pp. 129-146.
F. Giannotti and Latella, D., Using Abstract Interpretation for Gate splitting in LOTOS Specifications, in WSA, 1992, pp. 194-204.
F. Giannotti and Latella, D., Gate Splitting in LOTOS Specifications Using Abstract Interpretation, in TAPSOFT, 1993, pp. 437-452.
F. Giannotti and Latella, D., Gate Splitting in LOTOS Specifications Using Abstract Interpretation, Sci. Comput. Program., vol. 23, pp. 127-149, 1994.
F. Giannotti, Greco, S., Saccà, D., and Zaniolo, C., Programming with Non-Determinism in Deductive Databases, Ann. Math. Artif. Intell., vol. 19, pp. 97-125, 1997.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., Datalog++: a Basis for Active Object.Oriented Databases, in SEBD, 1997, pp. 325-340.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., Datalog++: A Basis for Active Object-Oriented Databases, in DOOD, 1997, pp. 283-301.
F. Giannotti, Manco, G., and Pedreschi, D., A Deductive Data Model for Representing and Querying Semistructured Data, in APPIA-GULP-PRODE, 1997, pp. 129-140.
F. Giannotti and Pedreschi, D., Datalog with Non-Deterministic Choice Computers NDB-PTIME, J. Log. Program., vol. 35, pp. 79-101, 1998.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., Query Answering in Nondeterministic, Nonmonotonic Logic Databases, in FQAS, 1998, pp. 175-187.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases, in CSL, 1998, pp. 58-72.
F. Giannotti, Manco, G., Nanni, M., Pedreschi, D., and Turini, F., Integration of Deduction and Induction for Mining Supermarket Sales Data, in SEBD, 1999, pp. 117-131.
F. Giannotti and Manco, G., Querying Inductive Databases via Logic-Based User-Defined Aggregates, in PKDD, 1999, pp. 125-135.
F. Giannotti, Jeansoulin, R., and Theodoridis, Y., Beyond Current Technology: The Perspective of Three EC GIS Projects, in DEXA Workshop, 1999, p. 510.
F. Giannotti and Manco, G., Querying inductive Databases via Logic-Based user-defined aggregates, in APPIA-GULP-PRODE, 1999, pp. 605-620.
F. Giannotti, Manco, G., Pedreschi, D., and Turini, F., Experiences with a Logic-Based Knowledge Discovery Support Environment, in AI*IA, 1999, pp. 202-213.
F. Giannotti, Manco, G., Pedreschi, D., and Turini, F., Experiences with a Logic-based knowledge discovery Support Environment, in 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999.
F. Giannotti and Manco, G., Making Knowledge Extraction and Reasoning Closer, in PAKDD, 2000, pp. 360-371.
F. Giannotti and Manco, G., Declarative Knowledge Extraction with Interactive User-Defined Aggregates, in FQAS, 2000, pp. 435-444.
F. Giannotti, Nanni, M., and Pedreschi, D., Logic-Based Knowledge Discovery in Databases, in EJC, 2000, pp. 279-283.

Pages