scientific article; zbMATH DE number 3947593
From MaRDI portal
Publication:3718124
Recommendations
Cited in
(54)- Structured machine learning: the next ten years
- MAT learners for tree series: an abstract data type and two realizations
- Compiling a default reasoning system into Prolog
- Learning efficient logic programs
- The learnability of description logics with equality constraints
- scientific article; zbMATH DE number 1870455 (Why is no real title available?)
- Debugging for Model Expansion
- An operational formal definition of PROLOG: A specification method and its application
- Inductive constraint logic
- Inductive synthesis of dot expressions
- Correctness and completeness of logic programs
- Most specific logic programs
- A backward slicing algorithm for Prolog
- A Theoretical Framework for the Declarative Debugging of Datalog Programs
- Language learning from membership queries and characteristic examples
- A theory of formal synthesis via inductive learning
- First-order \(jk\)-clausal theories are PAC-learnable
- Declarative Debugging of Rewriting Logic Specifications
- IDT: integrated system for debugging and testing Prolog programs
- Learning logic programs by explaining their failures
- EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
- On correctness of normal logic programs
- scientific article; zbMATH DE number 194617 (Why is no real title available?)
- The Prolog debugger and declarative programming
- Automatic Binding-Related Error Diagnosis in Logic Programs
- Inductive logic programming
- Algorithmic debugging generalized
- On the connection between the phase transition of the covering test and the learning success rate in ILP
- Learning closed Horn expressions
- On Correctness and Completeness of an n Queens Program
- scientific article; zbMATH DE number 4047035 (Why is no real title available?)
- Declarative error diagnosis
- A procedure to debug computer programs
- A complete declarative debugger for Maude
- Tree-Based Generation of Restricted Graph Languages
- Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
- S-semantics for logic programming: a retrospective look
- Learning programs by learning from failures
- A generalized model for algorithmic debugging
- Meta-interpretive learning as metarule specialisation
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Knowledge base refinement: A bibliography
- A declarative debugger for Maude functional modules
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification
- Using the bottom clause and mode declarations in FOL theory revision from examples
- Incremental learning of logic programs
- Proving completeness of logic programs with the cut
- Debugging tools for a system with automatic program synthesis
- Plausible inferences and plausible reasoning
- ILP turns 20. Biography and future challenges
- Regular prefix relations
- Functional Logic Programming: From Theory to Curry
- Toward effective knowledge acquisition with first-order logic induction.
- Online probabilistic theory revision from examples with ProPPR
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3718124)
