Dino Pedreschi

Available identifiers

zbMath Open pedreschi.dinoWikidataQ102413421 ScholiaQ102413421MaRDI QIDQ202170

List of research outcomes

Publication	Date of Publication	Type
Dense Hebbian neural networks: a replica symmetric picture of unsupervised learning	2023-09-28	Paper
Dense Hebbian neural networks: a replica symmetric picture of supervised learning	2023-09-08	Paper
Proving termination of general Prolog programs	2022-08-16	Paper
GLocalX -- from local to global explanations of black box AI models	2021-11-02	Paper
Data Mining and Constraints: An Overview	2021-05-20	Paper
Clustering Formulation Using Constraint Optimization	2021-05-18	Paper
A classification for community discovery methods in complex networks	2020-10-14	Paper
Discrimination- and privacy-aware patterns	2019-01-29	Paper
Weakest preconditions for pure Prolog programs	2016-06-09	Paper
Constraint-Based Mining and Inductive Databases	2006-11-13	Paper
Program Development in Computational Logic	2005-12-23	Paper
Bounded nondeterminism of logic programs	2005-01-17	Paper
On logic programs that always succeed.	2004-03-14	Paper
Classes of terminating logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4707741	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4707761	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4549408	2003-02-19	Paper
Semantics and expressive power of nondeterministic constructs in deductive databases	2002-08-26	Paper
Foundations of distributed interaction systems	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2767120	2002-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2729731	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4499240	2001-03-05	Paper
Verification of logic programs	1999-11-01	Paper
Datalog with non-deterministic choice computes NDB-PTIME	1998-10-04	Paper
Verification of meta-interpreters	1997-06-10	Paper
A closer look at declarative interpretations	1997-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4878774	1996-05-14	Paper
Reasoning about termination of pure Prolog programs	1993-12-12	Paper
A transformational approach to negation in logic programming	1992-06-25	Paper
Complete logic programs with domain-closure axiom	1988-01-01	Paper
Symbolic evaluation with structural recursive symbolic constants	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773305	1987-01-01	Paper
Symbolic Semantics and Program Reduction	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dino Pedreschi