A Rewriting Logic Framework for Soft Constraints (Q2873783): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.06.015
+Normal rank
@@ Property / OpenAlex ID @@
+W1989319242
@@ Property / OpenAlex ID: W1989319242 / rank @@
+Normal rank
@@ Property / cites work @@
+Semirings for constraint solving and programming.
@@ Property / cites work: Semirings for constraint solving and programming. / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+Q4738345
@@ Property / cites work: Q4738345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729952
@@ Property / cites work: Q2729952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard and soft constraints for reasoning about qualitative conditional preferences
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Remote Agent: to boldly go where no AI system has gone before
+Normal rank
@@ Property / cites work @@
+A Rewriting Logic Framework for Soft Constraints
@@ Property / cites work: A Rewriting Logic Framework for Soft Constraints / rank @@
+Normal rank