| Publication | Date of Publication | Type |
|---|
Probabilities on sentences in an expressive logic
Journal of Applied Logic | 2014-04-17 | Paper |
Probabilistic modelling, inference and learning using logical theories
Annals of Mathematics and Artificial Intelligence | 2009-09-18 | Paper |
Probabilistic reasoning in a classical logic
Journal of Applied Logic | 2009-08-03 | Paper |
Learning Modal Theories
Inductive Logic Programming | 2007-11-15 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Kernels and distances for structured data
Machine Learning | 2005-01-17 | Paper |
scientific article; zbMATH DE number 1950771 (Why is no real title available?)
| 2003-07-20 | Paper |
scientific article; zbMATH DE number 1950580 (Why is no real title available?)
| 2003-07-17 | Paper |
scientific article; zbMATH DE number 1926604 (Why is no real title available?)
| 2003-06-11 | Paper |
scientific article; zbMATH DE number 1911272 (Why is no real title available?)
| 2003-05-15 | Paper |
scientific article; zbMATH DE number 788038 (Why is no real title available?)
| 1995-08-21 | Paper |
scientific article; zbMATH DE number 410424 (Why is no real title available?)
| 1993-09-06 | Paper |
scientific article; zbMATH DE number 43398 (Why is no real title available?)
| 1992-09-17 | Paper |
Partial evaluation in logic programming
The Journal of Logic Programming | 1992-06-28 | Paper |
scientific article; zbMATH DE number 33190 (Why is no real title available?)
| 1992-06-28 | Paper |
Updating knowledge bases
New Generation Computing | 1990-01-01 | Paper |
Properties of a Pruning Operator
Journal Of Logic And Computation | 1990-01-01 | Paper |
A completeness theorem for SLDNF resolution
The Journal of Logic Programming | 1989-01-01 | Paper |
Declarative error diagnosis
New Generation Computing | 1987-01-01 | Paper |
Integrity constraint checking in stratified databases
The Journal of Logic Programming | 1987-01-01 | Paper |
A basis for deductive database systems II
The Journal of Logic Programming | 1986-01-01 | Paper |
A basis for deductive database systems
The Journal of Logic Programming | 1985-01-01 | Paper |
Making prolog more expressive
The Journal of Logic Programming | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3872640 (Why is no real title available?)
| 1984-01-01 | Paper |
A logical reconstruction of Prolog II
The Journal of Logic Programming | 1984-01-01 | Paper |
Partial-match retrieval using hashing and descriptors
ACM Transactions on Database Systems | 1983-01-01 | Paper |
Partial-match retrieval for dynamic files
BIT | 1982-01-01 | Paper |
Dynamic Hashing Schemes
The Computer Journal | 1982-01-01 | Paper |
Optimal partial-match retrieval
BIT | 1980-01-01 | Paper |
Eberlein compacts and spaces of continuous functions
Mathematical Proceedings of the Cambridge Philosophical Society | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3629881 (Why is no real title available?)
| 1978-01-01 | Paper |
Weakly compactly generated locally convex spaces
Mathematical Proceedings of the Cambridge Philosophical Society | 1977-01-01 | Paper |
Inductive and projective limits of smooth topological vector spaces
Bulletin of the Australian Mathematical Society | 1972-01-01 | Paper |
