| 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
Physica A | 2023-09-28 | Paper |
Dense Hebbian neural networks: a replica symmetric picture of supervised learning
Physica A | 2023-09-08 | Paper |
Proving termination of general Prolog programs
Lecture Notes in Computer Science | 2022-08-16 | Paper |
GLocalX -- from local to global explanations of black box AI models
Artificial Intelligence | 2021-11-02 | Paper |
Data mining and constraints: an overview
Data Mining and Constraint Programming | 2021-05-20 | Paper |
Clustering formulation using constraint optimization
Software Engineering and Formal Methods | 2021-05-18 | Paper |
A classification for community discovery methods in complex networks
Statistical Analysis and Data Mining: The ASA Data Science Journal | 2020-10-14 | Paper |
Discrimination- and privacy-aware patterns
Data Mining and Knowledge Discovery | 2019-01-29 | Paper |
Weakest preconditions for pure Prolog programs
Information Processing Letters | 2016-06-09 | Paper |
Constraint-Based Mining and Inductive Databases
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Bounded nondeterminism of logic programs
Annals of Mathematics and Artificial Intelligence | 2005-01-17 | Paper |
On logic programs that always succeed.
Science of Computer Programming | 2004-03-14 | Paper |
Classes of terminating logic programs
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1926609 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1926633 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1790369 (Why is no real title available?) | 2003-02-19 | Paper |
Semantics and expressive power of nondeterministic constructs in deductive databases
Journal of Computer and System Sciences | 2002-08-26 | Paper |
Foundations of distributed interaction systems
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
| scientific article; zbMATH DE number 1696847 (Why is no real title available?) | 2002-04-28 | Paper |
| scientific article; zbMATH DE number 1630012 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1497820 (Why is no real title available?) | 2001-03-05 | Paper |
Verification of logic programs
The Journal of Logic Programming | 1999-11-01 | Paper |
Datalog with non-deterministic choice computes NDB-PTIME
The Journal of Logic Programming | 1998-10-04 | Paper |
Verification of meta-interpreters
Journal Of Logic And Computation | 1997-06-10 | Paper |
A closer look at declarative interpretations
The Journal of Logic Programming | 1997-06-09 | Paper |
A closer look at declarative interpretations
The Journal of Logic Programming | 1997-06-09 | Paper |
| scientific article; zbMATH DE number 879005 (Why is no real title available?) | 1996-05-14 | Paper |
Reasoning about termination of pure Prolog programs
Information and Computation | 1993-12-12 | Paper |
A transformational approach to negation in logic programming
The Journal of Logic Programming | 1992-06-25 | Paper |
Complete logic programs with domain-closure axiom
The Journal of Logic Programming | 1988-01-01 | Paper |
Symbolic evaluation with structural recursive symbolic constants
Science of Computer Programming | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4033044 (Why is no real title available?) | 1987-01-01 | Paper |
Symbolic Semantics and Program Reduction
IEEE Transactions on Software Engineering | 1985-01-01 | Paper |
