scientific article; zbMATH DE number 1140677

MaRDI QIDQ4385442zbMATH OpenFDO

Authors Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott

Publication date 10 November 1998

zbMATH Keywords

automated theorem proverBoyer-Moore systemcomposite reasoning theoriesdeductive systemsgeneral architecture for a class of reasoning modules and systemsreasoning structuresequent systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other applications of logic (03B80) Logic in artificial intelligence (68T27)

Recommendations

• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• scientific article; zbMATH DE number 1538016
• A multicontext architecture for formalizing complex reasoning

Cited in

(12)

• Towards the Mathematics Software Bus
• Computer algebra and artificial intelligence
• Constraint contextual rewriting.
• scientific article; zbMATH DE number 1614690 (Why is no real title available?)
• Combining semantical and syntactical theory reasoning
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
• scientific article; zbMATH DE number 1538016 (Why is no real title available?)
• Deduction as an engineering science
• A Global Workspace Framework for Combining Reasoning Systems
• scientific article; zbMATH DE number 2227401 (Why is no real title available?)
• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• Formal and efficient primality proofs by use of computer algebra oracles

Describes a project that uses

Uses Software

• OMRS

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