scientific article; zbMATH DE number 1140677

zbMATH Open0899.03022MaRDI QIDQ4385442FDOQ4385442

Authors: Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott 

Publication date: 10 November 1998

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

deductive systemssequent systemsautomated theorem proverBoyer-Moore systemcomposite reasoning theoriesgeneral architecture for a class of reasoning modules and systemsreasoning structure

Mathematics Subject Classification ID

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

Cited In (12)

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

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)