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/kr/KautzMS96
%A Kautz, Henry A.
%A McAllester, David A.
%A Selman, Bart
%B KR
%D 1996
%E Aiello, Luigia Carlucci
%E Doyle, Jon
%E Shapiro, Stuart C.
%I Morgan Kaufmann
%K dblp
%P 374-384
%T Encoding Plans in Propositional Logic.
%U http://dblp.uni-trier.de/db/conf/kr/kr96.html#KautzMS96
%@ 1-55860-421-9
@inproceedings{conf/kr/KautzMS96,
added-at = {2012-05-18T00:00:00.000+0200},
author = {Kautz, Henry A. and McAllester, David A. and Selman, Bart},
biburl = {https://www.bibsonomy.org/bibtex/2a584d611f5fd5a47a30e6e3133cb24ed/dblp},
booktitle = {KR},
crossref = {conf/kr/1996},
editor = {Aiello, Luigia Carlucci and Doyle, Jon and Shapiro, Stuart C.},
interhash = {a943a710e90f075c7ea68f395283dbc7},
intrahash = {a584d611f5fd5a47a30e6e3133cb24ed},
isbn = {1-55860-421-9},
keywords = {dblp},
pages = {374-384},
publisher = {Morgan Kaufmann},
timestamp = {2012-05-19T11:40:02.000+0200},
title = {Encoding Plans in Propositional Logic.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr96.html#KautzMS96},
year = 1996
}
