| Publication | Date of Publication | Type |
|---|
| Declarative reasoning on explanations using constraint logic programming | 2024-05-29 | Paper |
An operator for composing deductive data bases with theories of constraints
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | 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 |
Qualitative spatial reasoning in a logical framework
Lecture Notes in Computer Science | 2010-03-05 | Paper |
Abduction in classification tasks
Lecture Notes in Computer Science | 2010-03-05 | Paper |
The Semantics of Ugo Montanari
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Knowledge Discovery in Inductive Databases
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Database Support for Data Mining Applications
Lecture Notes in Computer Science | 2006-01-10 | Paper |
A framework for specifying and verifying the behaviour of open systems
The Journal of Logic and Algebraic Programming | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 1926630 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1897900 (Why is no real title available?) | 2003-04-21 | Paper |
| scientific article; zbMATH DE number 1696850 (Why is no real title available?) | 2002-01-28 | Paper |
Dynamic composition of parameterised logic modules
Computer Languages | 2001-11-27 | Paper |
| scientific article; zbMATH DE number 1630012 (Why is no real title available?) | 2001-10-23 | Paper |
Programming by combining general logic programs
Journal Of Logic And Computation | 1999-03-30 | Paper |
Applying restriction constraints to deductive databases
Annals of Mathematics and Artificial Intelligence | 1998-01-07 | Paper |
Fully abstract compositional semantics for an algebra of logic programs
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 140372 (Why is no real title available?) | 1993-03-28 | Paper |
A transformational approach to negation in logic programming
The Journal of Logic Programming | 1992-06-25 | Paper |
The Logiform system
Computers & Mathematics with Applications | 1990-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 |
Semantics of production systems
Information and Computation | 1987-01-01 | Paper |
Symbolic Semantics and Program Reduction
IEEE Transactions on Software Engineering | 1985-01-01 | Paper |
Magma2: a language oriented toward experiments in control
ACM Transactions on Programming Languages and Systems | 1984-01-01 | Paper |
Information management in context trees
Acta Informatica | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3466555 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3483555 (Why is no real title available?) | 1974-01-01 | Paper |
