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
]
Filters:
Author
is
Dino Pedreschi
[Clear All Filters]
1994
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
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
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
1997
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
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
1998
F. Giannotti
and
Pedreschi, D.
,
“
Datalog with Non-Deterministic Choice Computers NDB-PTIME
”
,
J. Log. Program.
, vol. 35, pp. 79-101, 1998.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
,
Manco, G.
,
Nanni, M.
, and
Pedreschi, D.
,
“
Query Answering in Nondeterministic, Nonmonotonic Logic Databases
”
, in
FQAS
, 1998, pp. 175-187.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
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
1999
D. Pedreschi
and
Ruggieri, S.
,
“
Bounded Nondeterminism of Logic Programs
”
, in
ICLP
, 1999, pp. 350-364.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Bonchi
,
Giannotti, F.
,
Mainetto, G.
, and
Pedreschi, D.
,
“
A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection
”
, in
KDD
, 1999, pp. 175-184.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
and
Ruggieri, S.
,
“
On Logic Programs That Do Not Fail
”
,
Electr. Notes Theor. Comput. Sci.
, vol. 30, 1999.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Bonchi
,
Giannotti, F.
,
Mainetto, G.
, and
Pedreschi, D.
,
“
Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi
”
, in
SEBD
, 1999, pp. 69-84.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Bonchi
,
Giannotti, F.
,
Mainetto, G.
, and
Pedreschi, D.
,
“
Using Data Mining Techniques in Fiscal Fraud Detection
”
, in
DaWaK
, 1999, pp. 369-376.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
and
Ruggieri, S.
,
“
Verification of Logic Programs
”
,
J. Log. Program.
, vol. 39, pp. 125-176, 1999.
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