scientific article; zbMATH DE number 1538016

MaRDI QIDQ4518871zbMATH OpenFDO

Authors Alessandro Coglio, José Meseguer, Fausto Giunchiglia, Carolyn Talcott

Publication date 6 March 2001

zbMATH Keywords

heterogeneous reasoning systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1140677
• Combining semantical and syntactical theory reasoning
• scientific article; zbMATH DE number 1497752
• On Hierarchical Reasoning in Combinations of Theories
• Theory reasoning in connection calculi

Cited in

(3)

• Agenda control for heterogeneous reasoners
• scientific article; zbMATH DE number 1497752 (Why is no real title available?)
• The control layer in open mechanized reasoning systems: Annotations and tactics

Describes a project that uses

Uses Software

• Nuprl
• HOL
• PVS
• 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 Q4518871)