b'@inproceedings{Sofronie-Stokkermans-jim-2003,'b"\nTITLE = {Automated theorem proving by resolution in non-classical logics},\nAUTHOR = {Sofronie-Stokkermans, Viorica},\nEDITOR = {Nadif, Mohamed and Napoli, Amedeo and SanJuan, Eric and Sigayret, Alain},\nLANGUAGE = {eng},\nISBN = {2-7261-1256-0},\nLOCALID = {Local-ID: C1256104005ECAFC-7C3D3A23074C8A17C1256D9D00366F25-Sofronie-Stokkermans-jim-2003},\nPUBLISHER = {INRIA},\nYEAR = {2003},\nDATE = {2003},\nABSTRACT = {We present several classes of non-classical logics (many of which are practically relevant in knowledge representation) which can be translated into tractable and relatively simple fragments of classical logic. In this context, refinements of resolution can be often used successfully for automated theorem proving, and in many cases yield optimal decision procedures.},\nBOOKTITLE = {Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03)},\nPAGES = {151--167},\nADDRESS = {Metz, France},\n}\n"