Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cl/PearceGV00
%A Pearce, David
%A de Guzmán, Inman P.
%A Valverde, Agustín
%B Computational Logic
%D 2000
%E Lloyd, John W.
%E Dahl, Verónica
%E Furbach, Ulrich
%E Kerber, Manfred
%E Lau, Kung-Kiu
%E Palamidessi, Catuscia
%E Pereira, Luís Moniz
%E Sagiv, Yehoshua
%E Stuckey, Peter J.
%I Springer
%K dblp
%P 688-702
%T Computing Equilibrium Models Using Signed Formulas.
%U http://dblp.uni-trier.de/db/conf/cl/cl2000.html#PearceGV00
%V 1861
%@ 3-540-67797-6
@inproceedings{conf/cl/PearceGV00,
added-at = {2017-05-19T00:00:00.000+0200},
author = {Pearce, David and de Guzmán, Inman P. and Valverde, Agustín},
biburl = {https://www.bibsonomy.org/bibtex/2131d5c53d61dbb79972c5277aa1e2827/dblp},
booktitle = {Computational Logic},
crossref = {conf/cl/2000},
editor = {Lloyd, John W. and Dahl, Verónica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luís Moniz and Sagiv, Yehoshua and Stuckey, Peter J.},
ee = {https://doi.org/10.1007/3-540-44957-4_46},
interhash = {634b9227699a98534bf425959ec4ee87},
intrahash = {131d5c53d61dbb79972c5277aa1e2827},
isbn = {3-540-67797-6},
keywords = {dblp},
pages = {688-702},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:07:50.000+0200},
title = {Computing Equilibrium Models Using Signed Formulas.},
url = {http://dblp.uni-trier.de/db/conf/cl/cl2000.html#PearceGV00},
volume = 1861,
year = 2000
}