%0 Conference Paper %1 conf/nmelp/BaldoniGMP96 %A Baldoni, Matteo %A Giordano, Laura %A Martelli, Alberto %A Patti, Viviana %B NMELP %D 1996 %E Dix, Jürgen %E Pereira, Luís Moniz %E Przymusinski, Teodor C. %I Springer %K dblp %P 132-150 %T An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. %U http://dblp.uni-trier.de/db/conf/nmelp/nmelp96.html#BaldoniGMP96 %V 1216 %@ 3-540-62843-6

@inproceedings{conf/nmelp/BaldoniGMP96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Baldoni, Matteo and Giordano, Laura and Martelli, Alberto and Patti, Viviana}, biburl = {https://www.bibsonomy.org/bibtex/243159e90a0ee10100821458a11a37317/dblp}, booktitle = {NMELP}, crossref = {conf/nmelp/1996}, editor = {Dix, Jürgen and Pereira, Luís Moniz and Przymusinski, Teodor C.}, ee = {https://doi.org/10.1007/BFb0023805}, interhash = {5b534676d54339a4ac189a0994115768}, intrahash = {43159e90a0ee10100821458a11a37317}, isbn = {3-540-62843-6}, keywords = {dblp}, pages = {132-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:35:09.000+0200}, title = {An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/nmelp/nmelp96.html#BaldoniGMP96}, volume = 1216, year = 1996 }