Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde. Quantified Equilibrium Logic and Hybrid Rules. In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings. Volume 4524 of Lecture Notes in Computer Science, pages 58-72, Springer, 2007. [doi]
@inproceedings{BruijnPPV07,
title = {Quantified Equilibrium Logic and Hybrid Rules},
author = {Jos de Bruijn and David Pearce and Axel Polleres and Agustín Valverde},
year = {2007},
doi = {10.1007/978-3-540-72982-2_5},
url = {http://dx.doi.org/10.1007/978-3-540-72982-2_5},
tags = {rule-based, rules, logic},
researchr = {https://researchr.org/publication/BruijnPPV07},
cites = {0},
citedby = {0},
pages = {58-72},
booktitle = {Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
editor = {Massimo Marchiori and Jeff Z. Pan and Christian de Sainte Marie},
volume = {4524},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-72981-5},
}