Abstract | ||
---|---|---|
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by the usual dynamic logic program connectives. We investigate the mathematical properties of the resulting extension of equilibrium logic: we prove that the problem of logical consequence in equilibrium models is EXPTIME complete by relating equilibrium logic to dynamic logic of propositional assignments. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-40564-8_30 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
answer-set programming,here-and-there logic,equilibrium logic,propositional dynamic logic,dynamic logic of propositional assignments | Computational logic,Autoepistemic logic,Computer science,Zeroth-order logic,Algorithm,Theoretical computer science,Many-valued logic,Well-formed formula,Intermediate logic,Propositional variable,Dynamic logic (modal logic) | Conference |
Volume | Issue | ISSN |
8148 | 8148 | 0302-9743 |
Citations | PageRank | References |
2 | 0.36 | 14 |
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 |