Publication:3225701

zbMath1234.68286MaRDI QIDQ3225701

Stefano Bistarelli, Francesco Santini

Publication date: 22 March 2012

Full work available at URL: http://iospress.metapress.com/content/8312m1l2h6362324/fulltext.html

zbMATH Keywords

belief revision; quality of service; negotiation; nonmonotonicity; soft constraint concurrent programming

Mathematics Subject Classification ID

68N15: Theory of programming languages

68Q65: Abstract data types; algebraic specification

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

Timed soft concurrent constraint programs: An interleaved and a parallel approach, A survey of constraint-based programming paradigms, Models and emerging trends of concurrent constraint programming