{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T02:30:04Z","timestamp":1725417004118},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Many Automated Theorem Prover (ATP) systems for different logics, and<\/jats:p><jats:p>translators for translating different logics from one to another, have<\/jats:p><jats:p>been developed and are now available.<\/jats:p><jats:p>Some logics are more expressive than others, and it is easier to express<\/jats:p><jats:p>problems in those logics.<\/jats:p><jats:p>On the other hand, the ATP systems for less expressive logics have been<\/jats:p><jats:p>under development for many years, and are more powerful and reliable.<\/jats:p><jats:p>There is a trade-off between expressivity of a logic, and the power and<\/jats:p><jats:p>reliability of the available ATP systems.<\/jats:p><jats:p>Translators and ATP systems can be combined to try to solve<\/jats:p><jats:p>a problem.<\/jats:p><jats:p>In this research, an experiment has been carried out to compare the<\/jats:p><jats:p>performance of difference combinations of translators and ATP systems.<\/jats:p>","DOI":"10.29007\/kvb1","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T18:02:55Z","timestamp":1516730575000},"page":"2--9","source":"Crossref","is-referenced-by-count":0,"title":["The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics"],"prefix":"10.29007","volume":"31","author":[{"given":"Negin","family":"Arhami","sequence":"first","affiliation":[]},{"given":"Geoff","family":"Sutcliffe","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T18:02:56Z","timestamp":1516730576000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/XmCW"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/kvb1","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}