Translations for comparing soft frameworks

DOI10.1007/3-540-45578-7_65MaRDI QIDQ4475694zbMATH OpenFDO

Authors Rosella Gennari

Publication date 9 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2239/22390764.htm

Mathematics Subject Classification ID

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

Recommendations

• Extending the process of comparison in soft systems methodology
• A framework for translating models and specifications
• Comparison of modeling frameworks for software engineering
• scientific article; zbMATH DE number 3481860
• Frames of translates
• Compositional comparison of formal software specifications using transformation systems.

Cited in

(11)

• General properties and termination conditions for soft constraint propagation
• Decomposition structures for soft constraint evaluation problems: an algebraic approach
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• MiniBrass: soft constraints for MiniZinc
• A rewriting logic framework for soft constraints
• Semiring-Based Soft Constraints
• Soft Constraints Processing over Divisible Residuated Lattices
• Constraint propagation for soft constraints: Generalization and termination conditions
• Partial valuation structures for qualitative soft constraints
• Recent Advances in Constraints
• Polyadic Soft Constraints

This page was built for publication: Translations for comparing soft frameworks

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