The following pages link to Dino Pedreschi (Q202170):
Displaying 34 items.
- Weakest preconditions for pure Prolog programs (Q293340) (← links)
- Bounded nondeterminism of logic programs (Q702093) (← links)
- Symbolic evaluation with structural recursive symbolic constants (Q1101205) (← links)
- Reasoning about termination of pure Prolog programs (Q1308986) (← links)
- On logic programs that always succeed. (Q1426033) (← links)
- Foundations of distributed interaction systems (Q1601847) (← links)
- Discrimination- and privacy-aware patterns (Q1715918) (← links)
- GLocalX -- from local to global explanations of black box AI models (Q2238629) (← links)
- (Q2729731) (← links)
- (Q2767120) (← links)
- A closer look at declarative interpretations (Q3129509) (← links)
- Symbolic Semantics and Program Reduction (Q3677145) (← links)
- (Q3773305) (← links)
- Complete logic programs with domain-closure axiom (Q3789103) (← links)
- Datalog with non-deterministic choice computes NDB-PTIME (Q4208855) (← links)
- Verification of meta-interpreters (Q4340422) (← links)
- Classes of terminating logic programs (Q4452620) (← links)
- (Q4499240) (← links)
- (Q4549408) (← links)
- Verification of logic programs (Q4700388) (← links)
- (Q4707741) (← links)
- (Q4707761) (← links)
- A transformational approach to negation in logic programming (Q4713088) (← links)
- (Q4878774) (← links)
- A classification for community discovery methods in complex networks (Q4969805) (← links)
- Clustering Formulation Using Constraint Optimization (Q4988644) (← links)
- Data Mining and Constraints: An Overview (Q4988862) (← links)
- Proving termination of general Prolog programs (Q5096221) (← links)
- Program Development in Computational Logic (Q5712539) (← links)
- Constraint-Based Mining and Inductive Databases (Q5897698) (← links)
- Semantics and expressive power of nondeterministic constructs in deductive databases (Q5943120) (← links)
- Dense Hebbian neural networks: a replica symmetric picture of unsupervised learning (Q6054639) (← links)
- Dense Hebbian neural networks: a replica symmetric picture of supervised learning (Q6095677) (← links)
- European Multilingual News Articles Dataset with Topic Annotation (Q6709015) (← links)
