scientific article; zbMATH DE number 549955

MaRDI QIDQ4287474zbMATH OpenFDO

Authors Hassan Aït-Kaci, Andreas Podelski

Publication date 12 April 1994

zbMATH Keywords

symbolic computationexperimental programming languageorthogonal programming paradigms

Mathematics Subject Classification ID

Theory of programming languages (68N15) Symbolic computation and algebraic computation (68W30)

Recommendations

• Towards a meaning of life
• scientific article; zbMATH DE number 826298
• Logic programming, functional programming, and inductive definitions
• scientific article; zbMATH DE number 4072431

Cited in

(14)

• C-expressions: A variable-free calculus for equational logic programming
• Situated simplification
• A feature constraint system for logic programming with entailment
• Similarity measures over refinement graphs
• Speeding up operations on feature terms using constraint programming and variable symmetry
• A rational reconstruction of the domain of feature structures
• Combining Horn rules and description logics in CARIN
• scientific article; zbMATH DE number 4123308 (Why is no real title available?)
• Constraint satisfaction with an object-oriented knowledge representation language
• Fifty Years of Prolog and Beyond
• Equational and membership constraints for infinite trees
• On subsumption and semiunification in feature algebras
• Life beyond set agreement
• Feature automata and recognizable sets of feature trees

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