Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Publications
You are here
Home
»
Research
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
Type
[
Year
]
1998
D. Pedreschi
and
Ruggieri, S.
,
“
Weakest Preconditions for Pure Prolog Programs
”
,
Inf. Process. Lett.
, vol. 67, pp. 145-150, 1998.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1997
D. Aquilino
,
Asirelli, P.
,
Renso, C.
, and
Turini, F.
,
“
Applying Restriction Constraint to Deductive Databases
”
,
Annals of Mathematics and Artificial Intelligence
, pp. 3–25, 1997.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Aquilino
,
Asirelli, P.
,
Renso, C.
, and
Turini, F.
,
“
Applying Restriction Constraints to Deductive Databases
”
,
Ann. Math. Artif. Intell.
, vol. 19, pp. 3-25, 1997.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
,
Manco, G.
,
Nanni, M.
, and
Pedreschi, D.
,
“
Datalog++: A Basis for Active Object-Oriented Databases
”
, in
DOOD
, 1997, pp. 283-301.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
,
Manco, G.
,
Nanni, M.
, and
Pedreschi, D.
,
“
Datalog++: a Basis for Active Object.Oriented Databases
”
, in
SEBD
, 1997, pp. 325-340.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
and
Subrahmanian, V. S.
,
“
Non-determinism in Deductive Databases - Preface
”
,
Ann. Math. Artif. Intell.
, vol. 19, pp. 1-2, 1997.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Static Analysis of Transactions for Conservative Multigranularity Locking
”
, in
DBPL
, 1997, pp. 413-430.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
and
Ruggieri, S.
,
“
Verification of Meta-Interpreters
”
,
J. Log. Comput.
, vol. 7, pp. 267-303, 1997.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1996
K. R. Apt
,
Gabbrielli, M.
, and
Pedreschi, D.
,
“
A Closer Look at Declarative Interpretations
”
,
J. Log. Program.
, vol. 28, pp. 147-180, 1996.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Asirelli
,
Renso, C.
, and
Turini, F.
,
“
Language Extensions for Semantic Integration of Deductive Databases
”
, in
Logic in Databases
, 1996, pp. 415-434.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
and
Zaniolo, C.
,
“
Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings
”
,
Lecture Notes in Computer Science
, vol. 1154. Springer, 1996.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
M. E. Carboni
,
Deo, A. D.
,
Giannotti, F.
, and
Masserotti, M. V.
,
“
Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche
”
, in
SEBD
, 1996, pp. 73-90.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
M. E. Carboni
,
Deo, A. D.
,
Giannotti, F.
, and
Masserotti, M. V.
,
“
Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications
”
, in
DDLP
, 1996, pp. 135-151.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Aquilino
,
Renso, C.
, and
Turini, F.
,
“
Towards {D}eclarative {GIS} {A}nalysis
”
, 1996, pp. 99–105.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Aquilino
,
Renso, C.
, and
Turini, F.
,
“
Towards Declarative GIS Analysis
”
, in
ACM-GIS
, 1996, pp. 98-104.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Montesi
,
Renso, C.
, and
Turini, F.
,
“
Using Temporary Integrity Constraints to Optimize Databases
”
, in
FAPR
, 1996, pp. 430-435.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1995
D. Pedreschi
and
Ruggieri, S.
,
“
A Case Study in Logic Program Verification: the Vanilla Metainterpreter
”
, in
GULP-PRODE
, 1995, pp. 643-654.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
M. E. Carboni
,
Giannotti, F.
,
Foddai, V.
, and
Pedreschi, D.
,
“
Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach
”
, in
SEBD
, 1995, pp. 3-13.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
M. E. Carboni
,
Foddai, V.
,
Giannotti, F.
, and
Pedreschi, D.
,
“
Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach
”
, in
GULP-PRODE
, 1995, pp. 169-182.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Aquilino
,
Asirelli, P.
,
Renso, C.
, and
Turini, F.
,
“
An Operator for Composing Deductive Databases with Theories of Constraints
”
, pp. 57–70, 1995.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Aquilino
,
Asirelli, P.
,
Renso, C.
, and
Turini, F.
,
“
An Operator for Composing Deductive Databases with Theories of Constraints
”
, in
LPNMR
, 1995, pp. 57-70.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1994
F. Fiore
and
Giannotti, F.
,
“
An abstract interpreter for the specification language LOTOS
”
, in
FORTE
, 1994, pp. 309-323.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Renso, C.
, and
Turini, F.
,
“
Amalgamating Language and Meta-language for Composing Logic Programs
”
, in
GULP-PRODE (2)
, 1994, pp. 408-422.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pages
« first
‹ previous
…
17
18
19
20
21
22
23
24
25
next ›
last »
Copyright © 2014 - KDD Lab