A rewriting logic framework for soft constraints

DOI10.1016/J.ENTCS.2007.06.015MaRDI QIDQ2873783zbMATH OpenOpenAlexFDO

Authors Grit Denker, Andy Poggio, Linda Briesemeister, Martin Wirsing, Carolyn Talcott

Publication date 24 January 2014

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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)

Recommendations

• Which soft constraints do you prefer?
• scientific article; zbMATH DE number 2080300
• scientific article; zbMATH DE number 2084757
• Soft concurrent constraint programming
• scientific article; zbMATH DE number 2087537

Cites work

• A rewriting logic framework for soft constraints
• Conditional rewriting logic as a unified model of concurrency
• Hard and soft constraints for reasoning about qualitative conditional preferences
• scientific article; zbMATH DE number 1630124 (Why is no real title available?)
• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• scientific article; zbMATH DE number 2087537 (Why is no real title available?)
• Remote Agent: to boldly go where no AI system has gone before
• Semiring-based constraint satisfaction and optimization
• Semirings for constraint solving and programming.

Cited in

(11)

• Twenty years of rewriting logic
• PAGODA
• A framework for reasoning with soft information
• A logic of soft constraints based on partially ordered preferences
• A rewriting logic framework for soft constraints
• Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
• 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
• Formal Approaches to Software Testing

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A rewriting logic framework for soft constraints

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