%0 Conference Paper %1 conf/lpnmr/Cabalar11 %A Cabalar, Pedro %B Log-IC@LPNMR %D 2011 %E Mileo, Alessandra %E Fink, Michael %I CEUR-WS.org %K dblp %P 3 %T Temporal Equilibrium Logic. %U http://dblp.uni-trier.de/db/conf/lpnmr/logic2011.html#Cabalar11 %V 738

@inproceedings{conf/lpnmr/Cabalar11, added-at = {2023-03-10T00:00:00.000+0100}, author = {Cabalar, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/218ba8fab3f804125a37438c25b916e95/dblp}, booktitle = {Log-IC@LPNMR}, crossref = {conf/lpnmr/2011logic}, editor = {Mileo, Alessandra and Fink, Michael}, ee = {https://ceur-ws.org/Vol-738/cabalar.pdf}, interhash = {e4ca6562875ccebcc528759b803a238d}, intrahash = {18ba8fab3f804125a37438c25b916e95}, keywords = {dblp}, pages = 3, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T16:58:14.000+0200}, title = {Temporal Equilibrium Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/logic2011.html#Cabalar11}, volume = 738, year = 2011 }