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

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item