%0 Conference Paper %1 conf/aaai/EiterFTW05 %A Eiter, Thomas %A Fink, Michael %A Tompits, Hans %A Woltran, Stefan %B AAAI %D 2005 %E Veloso, Manuela M. %E Kambhampati, Subbarao %I AAAI Press / The MIT Press %K dblp %P 695-700 %T Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2005.html#EiterFTW05 %@ 1-57735-236-X

@inproceedings{conf/aaai/EiterFTW05, added-at = {2023-09-05T00:00:00.000+0200}, author = {Eiter, Thomas and Fink, Michael and Tompits, Hans and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2620ef17dfa0510f0ac0a6b6916cf7419/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2005}, editor = {Veloso, Manuela M. and Kambhampati, Subbarao}, ee = {http://www.aaai.org/Library/AAAI/2005/aaai05-109.php}, interhash = {6bd2de3bb404091f41135af82de256fd}, intrahash = {620ef17dfa0510f0ac0a6b6916cf7419}, isbn = {1-57735-236-X}, keywords = {dblp}, pages = {695-700}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-10T17:38:25.000+0200}, title = {Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2005.html#EiterFTW05}, year = 2005 }