%0 Conference Paper %1 conf/asp/Ortiz05 %A Ortiz, Magdalena %A Osorio, Mauricio %B Answer Set Programming %D 2005 %E Vos, Marina De %E Provetti, Alessandro %I CEUR-WS.org %K dblp %T Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. %U http://dblp.uni-trier.de/db/conf/asp/asp2005.html#Ortiz05 %V 142

@inproceedings{conf/asp/Ortiz05, added-at = {2023-03-10T00:00:00.000+0100}, author = {Ortiz, Magdalena and Osorio, Mauricio}, biburl = {https://www.bibsonomy.org/bibtex/28f8653622212ea31bf6c99a42152de37/dblp}, booktitle = {Answer Set Programming}, crossref = {conf/asp/2005}, editor = {Vos, Marina De and Provetti, Alessandro}, ee = {https://ceur-ws.org/Vol-142/page70.pdf}, interhash = {1d2fa70d94d2e3a831c29843e381c0aa}, intrahash = {8f8653622212ea31bf6c99a42152de37}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:07:03.000+0200}, title = {Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics.}, url = {http://dblp.uni-trier.de/db/conf/asp/asp2005.html#Ortiz05}, volume = 142, year = 2005 }