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]
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
P
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
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
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
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
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.
,
“
Weakest Preconditions for Pure Prolog Programs
”
,
Inf. Process. Lett.
, vol. 67, pp. 145-150, 1998.
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
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
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
D. Pedreschi
,
Ruggieri, S.
, and
Smaus, J. - G.
,
“
Classes of Terminating Logic Programs
”
,
CoRR
, vol. cs.LO/0106, 2001.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Ruggieri, S.
, and
Smaus, J. - G.
,
“
Classes of terminating logic programs
”
,
TPLP
, vol. 2, pp. 369-418, 2002.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
and
Ruggieri, S.
,
“
On logic programs that always succeed
”
,
Sci. Comput. Program.
, vol. 48, pp. 163-196, 2003.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
and
Ruggieri, S.
,
“
Bounded Nondeterminism of Logic Programs
”
,
Ann. Math. Artif. Intell.
, vol. 42, pp. 313-343, 2004.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Ruggieri, S.
, and
Smaus, J. - G.
,
“
Characterisations of Termination in Logic Programming
”
, in
Program Development in Computational Logic
, 2004, pp. 376-431.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Ruggieri, S.
, and
Turini, F.
,
“
Integrating induction and deduction for finding evidence of discrimination
”
, in
ICAIL
, 2009, pp. 157-166.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Ruggieri, S.
, and
Turini, F.
,
“
Measuring Discrimination in Socially-Sensitive Decision Records
”
, in
SDM
, 2009, pp. 581-592.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Ruggieri, S.
, and
Turini, F.
,
“
Discrimination-aware data mining
”
, in
KDD
, 2008, pp. 560-568.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Bonchi, F.
,
Turini, F.
,
Verykios, V. S.
,
Atzori, M.
,
Malin, B.
,
Moelans, B.
, and
Saygin, Y.
,
“
Privacy Protection: Regulations and Technologies, Opportunities and Threats
”
, in
Mobility, Data Mining and Privacy
, 2008, pp. 101-119.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Ruggieri, S.
, and
Turini, F.
,
“
The discovery of discrimination
”
, in
Discrimination and privacy in the information society
, Springer, 2013, pp. 91–108.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Giannotti, F.
,
Guidotti, R.
,
Monreale, A.
,
Pappalardo, L.
,
Ruggieri, S.
, and
Turini, F.
,
“
Open the Black Box Data-Driven Explanation of Black Box Decision Systems
”
, 2018.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
,
Giannotti, F.
,
Guidotti, R.
,
Monreale, A.
,
Ruggieri, S.
, and
Turini, F.
,
“
Meaningful explanations of Black Box AI decision systems
”
, in
Proceedings of the AAAI Conference on Artificial Intelligence
, 2019.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Pedreschi
and
Miliou, I.
,
“
Artificial Intelligence (AI): new developments and innovations applied to e-commerce
”
, European Parliament's committee on the Internal Market and Consumer Protection, 2020.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab