%0 Conference Paper %1 conf/lpnmr/Truszczynski90 %A Truszczynski, Miroslaw %B LPNMR %D 1990 %E Marek, V. Wiktor %E Nerode, Anil %E Pedreschi, Dino %E Subrahmanian, V. S. %K dblp %P 150-169 %T Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr1990.html#Truszczynski90

@inproceedings{conf/lpnmr/Truszczynski90, added-at = {2017-03-20T00:00:00.000+0100}, author = {Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/2b77f024386f8569ac6f56aee6b153367/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1990}, editor = {Marek, V. Wiktor and Nerode, Anil and Pedreschi, Dino and Subrahmanian, V. S.}, interhash = {4084027dfe783c4e78c6d96f3513b679}, intrahash = {b77f024386f8569ac6f56aee6b153367}, keywords = {dblp}, pages = {150-169}, timestamp = {2017-03-21T11:37:13.000+0100}, title = {Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr1990.html#Truszczynski90}, year = 1990 }