scientific article; zbMATH DE number 140407

MaRDI QIDQ4028816zbMATH OpenFDO

Authors C. David jun. Page, Alan M. Frisch

Publication date 28 March 1993

zbMATH Keywords

generalizationmonadic constraintsnon-deductive reasoning

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Induction of Constraint Logic Programs
• Generalized subsumption and its applications to induction and redundancy
• scientific article; zbMATH DE number 970715
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Generalization by absorption of definite clauses

Cited in

(7)

• Generation and enumeration of atoms in the presence of logical constraints through binary trees
• The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
• scientific article; zbMATH DE number 2000443 (Why is no real title available?)
• scientific article; zbMATH DE number 2090081 (Why is no real title available?)
• scientific article; zbMATH DE number 5176700 (Why is no real title available?)
• On Computing Constraint Abduction Answers
• Inductive constraint logic

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 Q4028816)