Dino Pedreschi

Available identifiers

zbMath Open pedreschi.dinoDBLPp/DPedreschiWikidataQ102413421 ScholiaQ102413421MaRDI QIDQ202170

List of research outcomes

Publication	Date of Publication	Type
European Multilingual News Articles Dataset with Topic Annotation	2023-12-17	Dataset
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

This page was built for person: Dino Pedreschi