OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Combining equilibrium logic and dynamic logic

Fariñas del Cerro, Luis and Herzig, Andreas and Su, Ezgi Iraz Combining equilibrium logic and dynamic logic. (2013) In: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 15 September 2013 - 19 September 2013 (Corunna, Spain).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-642-40564-8_30


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 8148 Lecture Notes in Artificial Intelligence ISSN : 0302-9743. ISBN: 978-3-642-40563-1. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-40564-8_30
HAL Id:hal-01228754
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:22 Oct 2015 12:20

Repository Staff Only: item control page