2022
Factored Conditional Filtering: Tracking States and Estimating Parameters in High-Dimensional Spaces.
CoRR, 2022
2013
Probabilities on Sentences in an Expressive Logic.
J. Appl. Log., 2013
2011
Declarative programming for agent applications.
Auton. Agents Multi Agent Syst., 2011
2009
Probabilistic reasoning in a classical logic.
J. Appl. Log., 2009
2008
Probabilistic modelling, inference and learning using logical theories.
Ann. Math. Artif. Intell., 2008
2007
Probabilistic and Logical Beliefs.
Proceedings of the Languages, 2007
Declarative programming for artificial intelligence applications.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
Reflections on Agent Beliefs.
Proceedings of the Declarative Agent Languages and Technologies V, 2007
2006
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006
2005
Predicate Selection for Structural Decision Trees.
Proceedings of the Inductive Logic Programming, 15th International Conference, 2005
An Architecture for Rational Agents.
Proceedings of the Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January, 2005
Personalisation for user agents.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
2004
Kernels and Distances for Structured Data.
Mach. Learn., 2004
2003
Agents that Reason and Learn.
Proceedings of the Inductive Logic Programming: 13th International Conference, 2003
Logic for learning - learning comprehensible theories from structured data.
Cognitive Technologies, Springer, ISBN: 978-3-540-42027-9, 2003
2002
Learning Comprehensible Theories from Structured Data.
Proceedings of the Advanced Lectures on Machine Learning, 2002
Kernels for Structured Data.
Proceedings of the Inductive Logic Programming, 12th International Conference, 2002
Higher-Order Computational Logic.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2000
Predicate Construction in Higher-order Logic.
Electron. Trans. Artif. Intell., 2000
Classification of Individuals with Complex Structure.
Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000
1999
Programming in an Integrated Functional and Logic Language.
J. Funct. Log. Program., 1999
1998
Strongly Typed Inductive Concept Learning.
Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998
1995
Integration of Functional and Logic Programming Languages (Panel Abstract).
Proceedings of the Logic Programming, 1995
Debugging for a Declarative Programming Language.
Proceedings of the Machine Intelligence 15, 1995
1994
Combining Functional and Logic Programming Languages.
Proceedings of the Logic Programming, 1994
Practical Advtanages of Declarative Programming.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
The Gödel programming language.
MIT Press, ISBN: 978-0-262-08229-7, 1994
1991
Updating Knowledge Bases II.
New Gener. Comput., 1991
Partial Evaluation in Logic Programming.
J. Log. Program., 1991
1990
Updating Knowledge Bases.
New Gener. Comput., 1990
Properties of a Pruning Operator.
J. Log. Comput., 1990
A Partial Evaluation Procedure for Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990
1989
A Completeness Theorem for SLDNF Resolution.
J. Log. Program., 1989
Meta-Programming for Knowledge Base Systems (Extended Abstract).
Proceedings of the Wissensbasierte Systeme, 1989
Logic as a Foundation for Deductive Database Systems.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
1988
Analysis of Meta-Programs.
Proceedings of the Meta-Programming in Logic Programming, 1988
Directions for Meta-Programming.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1987
Integrity Constraint Checking in Stratified Databases.
J. Log. Program., 1987
Foundations of Logic Programming, 2nd Edition
Springer, ISBN: 978-3-642-83189-8, 1987
1986
A Basis for Deductive Database Systems II.
J. Log. Program., 1986
1985
A Basis for Deductive Database Systems.
J. Log. Program., 1985
1984
Making Prolog more Expressive.
J. Log. Program., 1984
A Logical Reconstruction of Prolog II.
J. Log. Program., 1984
Foundations of Logic Programming, 1st Edition
Springer, ISBN: 3-540-13299-6, 1984
1983
Partial-Match Retrieval Using Hashing and Descriptors.
ACM Trans. Database Syst., 1983
An Introduction to Deductive Database Systems.
Aust. Comput. J., 1983
Completeness of the Negation as Failure Rule.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
1982
Partial Match Retrieval for Dynamic Files.
BIT, 1982
1980
Optimal Partial-Match Retrieval.
BIT, 1980