scientific article; zbMATH DE number 2217742

MaRDI QIDQ5699476zbMATH OpenFDO

Authors Mircea Marin, Temur Kutsia

Publication date 26 October 2005

zbMATH Keywords

deductionrule based programmingstrategies

Mathematics Subject Classification ID

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

Recommendations

• A Rule-Based System for Computation and Deduction in Mathematica
• Foundations of the rule-based system \(\rho\,\text{Log}\)
• A rule-based approach to the implementation of evaluation strategies
• Evolution of rule-based programs
• Transformational program development in a particular problem domain

Cited in

(7)

• Implicit rule formation in symbolic computation
• Evolution of rule-based programs
• Deduction and presentation in Log
• Evolution scenarios for rule-based implementations of language-based functionality
• A rule-based approach to the implementation of evaluation strategies
• Ruler: Programming Type Rules
• Foundations of the rule-based system \(\rho\,\text{Log}\)

Describes a project that uses

Uses Software

• Theorema
• Mathematica

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