scientific article; zbMATH DE number 1231668

MaRDI QIDQ4222995zbMATH OpenFDO

Authors Alessandro Coglio, Fausto Giunchiglia, Piergiorgio Bertoli

Publication date 7 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15017

zbMATH Keywords

reasoning systems

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• scientific article; zbMATH DE number 1497753
• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• scientific article; zbMATH DE number 1231674
• scientific article; zbMATH DE number 1497752

Cited in

(6)

• Rewriting logic: Roadmap and bibliography
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
• scientific article; zbMATH DE number 1231674 (Why is no real title available?)
• scientific article; zbMATH DE number 1497753 (Why is no real title available?)
• Project abstract: logic atlas and integrator (LATIN)
• Reasoning theories. Toward an architecture for open mechanized reasoning systems

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