%0 Conference Paper %1 L.2007 %A L., %A V., Gliozzi %A Giordano, Pozzato G. L. %B Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) %C Aix En Provence, France %D 2007 %E Olivetti, N. %I Springer-Verlag %K klm\_logics tableaux theorem\_proving %P 238--244 %T KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning %V 4548

@inproceedings{L.2007, added-at = {2012-07-01T20:56:06.000+0200}, address = {Aix En Provence, France}, author = {L. and V., Gliozzi and Giordano, Pozzato G. L.}, biburl = {https://www.bibsonomy.org/bibtex/29b9251b38e65a81d60c68c0b0bf7e994/ralenda}, booktitle = {Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)}, editor = {Olivetti, N.}, groups = {public}, interhash = {410b6b77a359e7d88ca2362d305fec16}, intrahash = {9b9251b38e65a81d60c68c0b0bf7e994}, keywords = {klm\_logics tableaux theorem\_proving}, month = {July}, pages = {238--244}, publisher = {Springer-Verlag}, series = {LNAI}, timestamp = {2012-07-01T20:56:06.000+0200}, title = {{KLML}ean 2.0: {A} {T}heorem {P}rover for {KLM} {L}ogics of {N}onmonotonic {R}easoning}, username = {ralenda}, volume = 4548, year = 2007 }