Research indexBook chapter

Computing Equilibrium Models Using Signed Formulas

Pearce, de Guzmán, Valverde

Lecture notes in computer science1 Jan 2000

NobleIDark:/48914/w1/20260525/EB91C633DOI10.1007/3-540-44957-4_46

Book chapter

Computing Equilibrium Models Using Signed Formulas

Pearce, de Guzmán, Valverde · Lecture notes in computer science · 2000 · Subscription

NobleIDark:/48914/w1/20260525/EB91C633DOI10.1007/3-540-44957-4_46

Paywalled

The full text is at the publisher

Open it at the publisher to read it.

Read at the publisher

Discussion

Citations

Topics

Negation Circumscription Answer set programming Computer science Logic programming Reduction (mathematics)Non-monotonic logic Inference

More

Suggest a correction or report