A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
La logique modale des modèles d'équilibre
2012
Revue d'intelligence artificielle : Revue des Sciences et Technologies de l'Information
Les modèles ici-et-là-bas et les modèles d'équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d'autres. La sémantique de la logique de l'équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une sémantique directe de la logique de l'équilibre en termes d'un langage modal dans lequel le langage de la logique
doi:10.3166/ria.26.85-102
fatcat:7hg36y7urnf5ndj35ei32ddrmu