Composing and controlling search in reasoning theories using mappings

DOI10.1007/10720084_14MaRDI QIDQ4518871zbMATH OpenFDO

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

Publication date 6 March 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10720084_14

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

(4)

• Agenda control for heterogeneous reasoners
• scientific article; zbMATH DE number 1140677 (Why is no real title available?)
• 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

• OMRS
• PVS
• HOL
• Nuprl

This page was built for publication: Composing and controlling search in reasoning theories using mappings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518871)