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