scientific article; zbMATH DE number 1538016

zbMATH Open0965.68094MaRDI QIDQ4518871FDOQ4518871

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

Publication date: 6 March 2001

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

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

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)

Cited In (3)

• Agenda control for heterogeneous reasoners
• Title not available (Why is that?)
• The control layer in open mechanized reasoning systems: Annotations and tactics

Uses Software

• OMRS
• PVS
• HOL
• Nuprl

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)