%0 Conference Paper %1 conf/ecp/CastilhoGH97 %A Castilho, Marcos A. %A Gasquet, Olivier %A Herzig, Andreas %B ECP %D 1997 %E Steel, Sam %E Alami, Rachid %I Springer %K dblp %P 104-116 %T Modal Tableaux for Reasoning About Actions and Plans. %U http://dblp.uni-trier.de/db/conf/ecp/ecp1997.html#CastilhoGH97 %V 1348 %@ 3-540-63912-8

@inproceedings{conf/ecp/CastilhoGH97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Castilho, Marcos A. and Gasquet, Olivier and Herzig, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2013b245dff0743b469be5151109a3c11/dblp}, booktitle = {ECP}, crossref = {conf/ecp/1997}, editor = {Steel, Sam and Alami, Rachid}, ee = {https://doi.org/10.1007/3-540-63912-8_79}, interhash = {8d34427029d19569c282a8266647cdda}, intrahash = {013b245dff0743b469be5151109a3c11}, isbn = {3-540-63912-8}, keywords = {dblp}, pages = {104-116}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:37:57.000+0200}, title = {Modal Tableaux for Reasoning About Actions and Plans.}, url = {http://dblp.uni-trier.de/db/conf/ecp/ecp1997.html#CastilhoGH97}, volume = 1348, year = 1997 }