Journal of Applied Logic

Tractable query answering and rewriting under description logic constraints

Héctor Pérez-Urbina, Boris Motik, Ian Horrocks · 2009 · 160 citations

Computing, Computer Science, Mathematics +12

Mathematical modal logic: A view of its evolution

Robert Goldblatt · 2003 · 151 citations

Humanities, Mathematics, Philosophy +10

Nonmonotonic abductive inductive learning

Oliver Ray · 2008 · 148 citations

Computing, Computer Science, Artificial Intelligence +7

Theorema: Towards computer-aided mathematical theory exploration

Bruno Buchberger, Adrian Crăciun, Tudor Jebelean et al. · 2005 · 130 citations

Natural Sciences, Computer Science, Mathematics +8

Lightweight relevance filtering for machine-generated resolution problems

Meng Jia, Lawrence C. Paulson · 2007 · 120 citations

Computing, Computer Science, Algorithms +7