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
]
1993
K. R. Apt
and
Pedreschi, D.
,
“
Reasoning about Termination of Pure Prolog Programs
”
,
Inf. Comput.
, vol. 106, pp. 109-157, 1993.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage
”
, in
FMLDO
, 1993, pp. 19-29.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Chiarelli
,
Mazzotta, V.
, and
Renso, C.
,
“
A WAM Estesa per la Composizione di Programi Logici
”
, in
GULP
, 1993, pp. 189-202.
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
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation
”
, in
SEBD
, 1994, pp. 329-349.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L. Corciulo
,
Giannotti, F.
,
Pedreschi, D.
, and
Zaniolo, C.
,
“
Expressive Power of Non-Deterministic Operators for Logic-based Languages
”
, in
Workshop on Deductive Databases and Logic Programming
, 1994, pp. 27-40.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Latella, D.
,
“
Gate Splitting in LOTOS Specifications Using Abstract Interpretation
”
,
Sci. Comput. Program.
, vol. 23, pp. 127-149, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, in
PLILP
, 1994, pp. 292-307.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, in
PLILP
, 1994, pp. 292-307.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Chiarelli, A.
,
Mancarella, P.
,
Mazzotta, V.
,
Pedreschi, D.
,
Renso, C.
, and
Turini, F.
,
“
Implementations of Program Composition Operations
”
, pp. 292–307, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Modular Logic Programming
”
,
ACM Trans. Program. Lang. Syst.
, vol. 16, pp. 1361-1398, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
“
A Proof Method for Runtime Properties of Prolog Programs
”
, in
ICLP
, 1994, pp. 584-598.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Mascellani
and
Pedreschi, D.
,
“
Proving termination of Prolog programs
”
, in
GULP-PRODE (1)
, 1994, pp. 46-61.
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
,
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
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
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
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
Pages
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
Copyright © 2014 - KDD Lab