| Publication | Date of Publication | Type |
|---|
Towards systematic treatment of partial functions in knowledge representation
| 2024-05-29 | Paper |
Justifications and a reconstruction of parity game solving algorithms
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
A freeness and sharing analysis of logic programs based on a pre-interpretation
Static Analysis | 2022-02-16 | Paper |
Improving parity game solvers with justifications
| 2020-08-05 | Paper |
Mining rooted ordered trees under subtree homeomorphism
Data Mining and Knowledge Discovery | 2019-05-03 | Paper |
Symmetric explanation learning: effective dynamic symmetry handling for SAT
| 2017-11-15 | Paper |
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
On local domain symmetry for model expansion
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Improved static symmetry breaking for SAT
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Constraint propagation for first-order logic and inductive definitions
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Lazy model expansion: interleaving grounding with search
Journal of Artificial Intelligence Research | 2015-03-04 | Paper |
Simulating Dynamic Systems Using Linear Time Calculus Theories
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics
Annals of Mathematics and Artificial Intelligence | 2014-06-26 | Paper |
Detection and exploitation of functional dependencies for model generation
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Modeling machine learning and data mining problems with \(\mathrm{FO}(\cdot )\)
| 2014-02-25 | Paper |
An approximative inference method for solving ∃∀SO satisfiability problems
Journal of Artificial Intelligence Research | 2012-12-03 | Paper |
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
Correct Reasoning | 2012-07-23 | Paper |
The magic of logical inference in probabilistic programming
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Answer Set Programming’s Contributions to Classical Logic
Lecture Notes in Computer Science | 2011-05-19 | Paper |
ProbLog Technology for Inference in a Probabilistic First Order Logic
| 2011-05-11 | Paper |
Binding-Time Annotations without Binding-Time Analysis
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Coherent composition of distributed knowledge-bases through abduction
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
A fixed point semantics for logic programs extended with cuts
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
FO(ID) as an extension of DL with rules
Annals of Mathematics and Artificial Intelligence | 2010-11-12 | Paper |
A comparison of pruning criteria for probability trees
Machine Learning | 2010-10-07 | Paper |
Embracing events in causal modelling: interventions and counterfactuals in CP-logic
Logics in Artificial Intelligence | 2010-10-01 | Paper |
An approximative inference method for solving \(\exists \forall \)SO satisfiability problems
Logics in Artificial Intelligence | 2010-10-01 | Paper |
A Transformational Approach for Proving Properties of the CHR Constraint Store
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
Learning directed probabilistic logical models: Ordering-search versus structure-search
Annals of Mathematics and Artificial Intelligence | 2009-09-18 | Paper |
CP-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming | 2009-08-19 | Paper |
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Computer Aided Verification | 2009-06-30 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Generalized ordering-search for learning directed probabilistic logical models
Machine Learning | 2009-03-31 | Paper |
Learning \((k,l)\)-contextual tree languages for information extraction from web pages
Machine Learning | 2009-03-31 | Paper |
From Monomorphic to Polymorphic Well-Typings and Beyond
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
Representing Causal Information About a Probabilistic Process
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Distance-Based Repairs of Databases
Logics in Artificial Intelligence | 2008-10-30 | Paper |
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
Representation of Partial Knowledge and Query Answering in Locally Complete Databases
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Satisfiability Checking for PC(ID)
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Learning Directed Probabilistic Logical Models Using Ordering-Search
Inductive Logic Programming | 2008-03-28 | Paper |
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning
Inductive Logic Programming | 2008-03-28 | Paper |
Predicate Introduction Under Stable and Well-Founded Semantics
Logic Programming | 2008-03-11 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence | 2007-10-23 | Paper |
Counting integer points in parametric polytopes using Barvinok's rational functions
Algorithmica | 2007-07-19 | Paper |
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming | 2007-04-19 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Computational methods for database repair by signed formulae
Annals of Mathematics and Artificial Intelligence | 2006-09-12 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
scientific article; zbMATH DE number 2243355 (Why is no real title available?)
| 2006-01-04 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
PROGRAMMING PEARL: Enhancing a search algorithm to perform intelligent backtracking
Theory and Practice of Logic Programming | 2005-04-15 | Paper |
Compact representation of knowledge bases in inductive logic programming
Machine Learning | 2005-01-17 | Paper |
Offline specialisation in Prolog using a hand-written compiler generator
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
scientific article; zbMATH DE number 2090120 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2086514 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2085279 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2085272 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2084361 (Why is no real title available?)
| 2004-08-06 | Paper |
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
scientific article; zbMATH DE number 1948414 (Why is no real title available?)
| 2003-07-13 | Paper |
scientific article; zbMATH DE number 1934563 (Why is no real title available?)
| 2003-06-25 | Paper |
scientific article; zbMATH DE number 1926599 (Why is no real title available?)
| 2003-06-11 | Paper |
scientific article; zbMATH DE number 1696867 (Why is no real title available?)
| 2002-01-28 | Paper |
scientific article; zbMATH DE number 1497826 (Why is no real title available?)
| 2001-03-05 | Paper |
scientific article; zbMATH DE number 1508927 (Why is no real title available?)
| 2000-09-18 | Paper |
scientific article; zbMATH DE number 683343 (Why is no real title available?)
| 1999-07-29 | Paper |
Exploiting goal independence in the analysis of logic programs
The Journal of Logic Programming | 1998-03-16 | Paper |
scientific article; zbMATH DE number 970705 (Why is no real title available?)
| 1997-05-25 | Paper |
scientific article; zbMATH DE number 970704 (Why is no real title available?)
| 1997-05-25 | Paper |
On the design of a correct freeness analysis for logic programs
The Journal of Logic Programming | 1997-04-27 | Paper |
Iterative versionspaces
Artificial Intelligence | 1996-02-26 | Paper |
CHICA, An Abductive Planning System Based on Event Calculus
Journal Of Logic And Computation | 1996-02-20 | Paper |
Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
Journal of Symbolic Computation | 1994-05-09 | Paper |
A general criterion for avoiding infinite unfolding during partial deduction
New Generation Computing | 1993-04-01 | Paper |
Acquiring object-knowledge
Journal of Experimental & Theoretical Artificial Intelligence | 1993-01-16 | Paper |
Interactive concept-learning and constructive induction by analogy
Machine Learning | 1992-09-27 | Paper |
Deriving descriptions of possible values of program variables by means of abstract interpretation
The Journal of Logic Programming | 1992-09-27 | Paper |
scientific article; zbMATH DE number 25188 (Why is no real title available?)
| 1992-06-26 | Paper |
A practical framework for theabstract interpretation of logic programs
The Journal of Logic Programming | 1991-01-01 | Paper |
Compiling bottom-up and mixed derivations into top-down executable logic programs
Journal of Automated Reasoning | 1991-01-01 | Paper |
Compiling control
The Journal of Logic Programming | 1989-01-01 | Paper |
On the existence of nonterminating queries for a restricted class of PROLOG-clauses
Artificial Intelligence | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4164123 (Why is no real title available?)
| 1989-01-01 | Paper |
On the transformation of logic programs with instantiation based computation rules
Journal of Symbolic Computation | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4166885 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4178791 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 3684931 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3721914 (Why is no real title available?)
| 1980-01-01 | Paper |
