Journal of Automated Reasoning

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo et al. · 2007 · 1.4K citations

Computing, Computer Science, Mathematics +15

HermiT: An OWL 2 Reasoner

Birte Glimm, Ian Horrocks, Boris Motik et al. · 2014 · 596 citations · Full text

Computing, Computer Science, Knowledge Representation +11

A Formally Verified Compiler Back-end

Xavier Leroy · 2009 · 487 citations · Full text

Computing, Computer Engineering, Computer Science +12

The TPTP Problem Library and Associated Infrastructure

Geoff Sutcliffe · 2009 · 440 citations

Computing, Computer Science, Computer Systems +5

Basic principles of mechanical theorem proving in elementary geometries

Wen-tsün Wu · 1986 · 391 citations

Natural Sciences, Mathematics, Physics +15