Abstract | ||
---|---|---|
Here-and-there models and equilibrium models were investigated as a semantical framework for answer-set programming by Pearce, Valverde, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is given in an indirect way: the notion of an equilibrium model is defined in terms of quantification over here-and-there models. We here give a direct semantics of equilibrium logic, stated for a modal language embedding the language of equilibrium logic. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1016/j.jal.2013.12.003 | Journal of Applied Logic |
Keywords | Field | DocType |
Equilibrium logic,Here-and-there models,Bimodal logic,Answer-set programming | Autoepistemic logic,Normal modal logic,Multimodal logic,Algorithm,Modal logic,Many-valued logic,Higher-order logic,Dynamic logic (modal logic),Intermediate logic,Mathematics | Journal |
Volume | Issue | ISSN |
12 | 2 | 1570-8683 |
Citations | PageRank | References |
1 | 0.35 | 19 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luis Fariñas del Cerro | 1 | 622 | 79.47 |
Andreas Herzig | 2 | 655 | 48.55 |
Ezgi Iraz Su | 3 | 7 | 3.13 |