65 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
1978 Other Unknown
Manuale di ALGOL-W
Simi M., Turini F.
nessun sommario disponibile

See at: CNR ExploRA


1974 Other Unknown
Two-level control structure for nondeterministic programming
Montangero C., Pacini G., Turini F.
no abstract available

See at: CNR ExploRA


2001 Report Unknown
Specifyng mining algorithms with interative user-defined aggregates
Giannotti F., Manco G., Turini F.
An abstract is not available.Source: ISTI Technical reports, 2001

See at: CNR ExploRA


1995 Other Unknown
On the local-state problem in object-oriented logic programming
Manco G., Turini F.
An abstract is not available

See at: CNR ExploRA


1975 Other Unknown
MAGMA-LISP : reference manual
Asirelli P., Lami C., Montangero C., Pacini G., Simi M., Turini F.
No abstract available

See at: CNR ExploRA


1974 Other Unknown
Graph representation and computation rules for typeless recursive languages
Montangero C., Pacini G., Turini F.
No abstract available

See at: CNR ExploRA


1989 Book Unknown
Semantica denotazionale ed algebrica dei linguaggi di programmazione
De Nicola R., Turini F., Manca V., Montanari U.
No abstract availableSource: Milano: Franco Angeli, 1989

See at: CNR ExploRA | www.francoangeli.it


2001 Conference article Unknown
Qualitative reasoning with a spatio temporal language
Raffaetà A., Renso C., Turini F.
An abstract is not available.Source: Workshop on complex reasoning on geographical data, Cipro, 2001

See at: CNR ExploRA


2001 Conference article Unknown
Reasoning on geographical data using constraints and annotations
Giannotti F., Raffaetà A., Renso C., Turini F.
An abstract is not available.Source: Workshop on Spatio-Temporal Reasoning at ECSQARU, Tolosa, France, 2001

See at: CNR ExploRA


2001 Conference article Unknown
Specifying mining algorithms with iterative user-defined aggregates: a case study.
Giannotti F., Manco G., Turini F.
An abstract is not available.Source: PKDD 2001, pp. 128–139, Friburgo, 2001

See at: CNR ExploRA


2001 Contribution to conference Unknown
Complex reasoning with logic database languages
Giannotti F., Raffaetà A., Renso C., Turini F.
An abstract is not available.Source: SEBD 2001, pp. 3331–339, Venezia, 2001

See at: CNR ExploRA


1999 Journal article Closed Access
Dynamic composition of parameterised logic modules
Brogi A., Renso C., Turini F.
An abstract is not available.Source: Computer languages 25 (1999): 211–242. doi:10.1016/S0096-0551(00)00006-0
DOI: 10.1016/s0096-0551(00)00006-0
Metrics:


See at: Computer Languages Restricted | www.scopus.com Restricted | CNR ExploRA | www.sciencedirect.com


1999 Contribution to conference Unknown
Medlan a language for semantic integration of heterogeneous knowledge bases
Turini F., Asirelli P.
An abstract is not available.Source: Dedugis Working Group Kick-Off-Meeting, Venezia, Italy, 14-15 gennaio 1999

See at: CNR ExploRA


1998 Other Unknown
Uno strumento per l'analisi intelligente dei dati di vendita della grande distribuzione
Giannotti F., Manco G., Nanni M., Pedreschi D., Turini F.
An abstract is not available.

See at: CNR ExploRA


2003 Contribution to conference Restricted
AI*IA 2003: Advances in Artificial Intelligence
Cappelli A., Turini F.
This volume contains the proceedings of the 8th conference of the AI*IA, Italian Association for Artificial Intelligence, held in Pisa on September 23-26, 2003.DOI: 10.1007/b13658
Metrics:


See at: doi.org Restricted | link.springer.com Restricted | CNR ExploRA


2001 Report Unknown
On query languages for data mining
Giannotti F., Manco G., Turini F.
This paper presents a logic database language with elementary data mining mechanisms to model the relevant aspects of knowledge discovery , and to provide support for both the interative and interactive features of the knowledge discovery proccessSource: ISTI Technical reports, pp.3–17, 2001

See at: CNR ExploRA


1998 Other Unknown
Tecniche di data mining per la lotta all'evasione:un case-study basato su classificazione e regole d'associazione
Bonchi F., Giannotti F., Mainetto G., Manco G., Nanni M., Pedreschi D., Turini F.
An abstract is not available.

See at: CNR ExploRA


1994 Other Unknown
An operator for composing deductive databases with theories of constraints
Aquilino D., Asirelli P., Renso C., Turini F.
An operation for restricting deductive databases represented as logic programs is introduced. The restrictions are represented in a separate deductive database. The operation is given an abstract semantics in terms of the immediate consequence operator. A transformational implementation is given and its correctness is proved with respect to the abstract semantics.

See at: CNR ExploRA


1995 Other Unknown
A structural (Meta-Logical) semantics for linear objects
Manco G., Turini F.
We propose a meta--logical reconstruction of the linar logic programming language Linear Objects. The meta-logic is based on a CLP schema, that can handle multisets of formulas. I The meta--logic provides a useful semantics for studying the structure of LO programs, and for comparing LO with other proposals in the field of computational logic

See at: CNR ExploRA


1975 Conference article Unknown
MAGMA-LISP: a machine language for artificial intelligence
Montangero C., Pacini G., Turini F.
The paper describes MAGMA-Lisp, an extended Lips system proposed as an implementation tool for A.I. language exploiting nondeterministic techiniques. The main idea informing MAGMA-Lisp i sthat a three structured of conceptually indipendent computation environments ( contex three) is the supporting structure of any nondeterministic system.Source: Advance Papers 4th International Joint Conference on Artificial Intelligence, pp. 556–561, Tbilisi, Georgia, 1975

See at: CNR ExploRA