A Rewriting Logic Framework for Soft Constraints

DOI10.1016/J.ENTCS.2007.06.015zbMath1279.68124OpenAlexW1989319242MaRDI QIDQ2873783

Andy Poggio, Grit Denker, Linda Briesemeister, Carolyn L. Talcott, Martin Wirsing

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.06.015

zbMATH Keywords

rewriting logicsoft constraintsoftware-defined radio

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

Algebraic Reinforcement Learning ⋮ Twenty years of rewriting logic ⋮ Which Soft Constraints do you Prefer? ⋮ PAGODA ⋮ A Homage to Martin Wirsing ⋮ Abstract Constraint Data Types ⋮ Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems ⋮ A Rewriting Logic Framework for Soft Constraints

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conditional rewriting logic as a unified model of concurrency
• Remote Agent: to boldly go where no AI system has gone before
• Semirings for constraint solving and programming.
• Hard and soft constraints for reasoning about qualitative conditional preferences
• A Rewriting Logic Framework for Soft Constraints
• Semiring-based constraint satisfaction and optimization

This page was built for publication: A Rewriting Logic Framework for Soft Constraints