scientific article; zbMATH DE number 4164177

MaRDI QIDQ3490995zbMATH OpenFDO

Authors Toby Walsh, Fausto Giunchiglia

Publication date 1989

zbMATH Keywords

abstraction-based theorem provingtheory of abstraction

Mathematics Subject Classification ID

Recommendations

• A theory of abstraction
• scientific article; zbMATH DE number 139760
• scientific article; zbMATH DE number 1110849
• The inevitability of inconsistent abstract spaces
• scientific article; zbMATH DE number 4047177

Cited in

(22)

• Reasoning about model accuracy
• A theory of abstraction
• Constructing predicate mappings for goal-dependent abstraction
• The inevitability of inconsistent abstract spaces
• Automatically generating abstractions for planning
• Downward refinement and the efficiency of hierarchical problem solving
• Abstract proof checking: An example motivated by an incompleteness theorem
• An abstraction-refinement framework for reasoning with large theories
• Controlling the complexity in model-based diagnosis
• Abstractions of uniform proofs
• Disproving false conjectures
• scientific article; zbMATH DE number 139760 (Why is no real title available?)
• scientific article; zbMATH DE number 1341620 (Why is no real title available?)
• scientific article; zbMATH DE number 1759674 (Why is no real title available?)
• Representing knowledge with theories about theories
• Omission-based abstraction for answer set programs
• scientific article; zbMATH DE number 6315451 (Why is no real title available?)
• scientific article; zbMATH DE number 975697 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation
• Correct Hardware Design and Verification Methods
• Abstraction for non-ground answer set programs
• Experiments with proof plans for induction

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