𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A logical approach to efficient Max-SAT solving

✍ Scribed by Javier Larrosa; Federico Heras; Simon de Givry

Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
470 KB
Volume
172
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A logical approach to A-Prolog
A logical approach to A-Prolog
✍ Mauricio Osorio; Juan Antonio Navarro; JosΓ© Arrazola πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 758 KB
A dynamical approach to logical decision
A dynamical approach to logical decisions
✍ Eduardo Mizraji; Juan Lin πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 147 KB πŸ‘ 2 views

We propose a first approximation to the modeling of cognitive decisions based on the theory of associative memories. The basic structure are the matrix memories of Anderson-Kohonen adapted to include the modulation of associations via tensorial preprocessing of inputs. This view admits an easy imple

A logical approach to the dynamics of co
A logical approach to the dynamics of commitments
✍ J.-J.Ch. Meyer; W. van der Hoek; B. van Linder πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 313 KB

In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitudes both at the assertion level, i.e., ranging over propositions, and at the practition 2 level, i.e., ranging over actio