A Rewriting Logic Framework for Soft Constraints
From MaRDI portal
Publication:2873783
DOI10.1016/j.entcs.2007.06.015zbMath1279.68124MaRDI 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
68Q42: Grammars and rewriting systems
Related Items
Which Soft Constraints do you Prefer?, A Homage to Martin Wirsing, Abstract Constraint Data Types, Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems, PAGODA, Twenty years of rewriting logic, A Rewriting Logic Framework for Soft Constraints, Algebraic Reinforcement Learning
Uses Software
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