On inductive inference of cyclic structures

DOI10.1007/BF01534454MaRDI QIDQ1924733zbMATH OpenOpenAlexFDO

Authors Michael J. Maher, Peter J. Stuckey

Publication date 20 October 1996

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01534454

zbMATH Keywords

inductive inferencelogic programming languagespointer-based data structures

Mathematics Subject Classification ID

Logic programming (68N17) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3956468
• scientific article; zbMATH DE number 3982507
• Identification in the limit of first order structures
• scientific article; zbMATH DE number 996380
• scientific article; zbMATH DE number 3976382

Cites work

• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Equational problems and disunification
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Explicit representation of terms defined by counter examples
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 176121 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Negation in logic programming
• Properties of substitutions and unifications
• Semantics of infinite tree logic programming
• The description identification problem

Cited in

(4)

• Explicit versus implicit representations of subsets of the Herbrand universe.
• scientific article; zbMATH DE number 7439738 (Why is no real title available?)
• On the inducibility of cycles
• On the inducibility of cycles

This page was built for publication: On inductive inference of cyclic structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924733)