scientific article; zbMATH DE number 569781

MaRDI QIDQ4292828zbMATH OpenFDO

Authors M. Graças Volpe Nunes

Publication date 18 May 1994

zbMATH Keywords

intelligent knowledge based systemslogic based systemnatural deduction theorem proverreasoningresolution

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 1537943
• Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning
• scientific article; zbMATH DE number 3922016
• scientific article; zbMATH DE number 1728343
• scientific article; zbMATH DE number 1104364

Cited in

(6)

• Natural language directed inference from ontologies
• Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning
• scientific article; zbMATH DE number 1322243 (Why is no real title available?)
• scientific article; zbMATH DE number 1754117 (Why is no real title available?)
• A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems
• Evaluating plan recognition systems: Three properties of a good explanation

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