Journal of Applied Logic

Aims & Scope

Cessation.

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Mathematics, designed to support cutting-edge academic discovery.

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Automatic detection of bunches of grapes in natural environment from color images

  Citation: 89

  Authors: M.J.C.S., R., E., C., O., S., A., J., P.J.S.G., J.

• 50 years of fuzzy set theory and models for supplier assessment and selection: A literature review

  Citation: 88

  Authors: Dragan, Ilija, Vasa, Svetlana

• Theorema: Towards computer-aided mathematical theory exploration

  Citation: 85

  Authors: Bruno, Adrian, Tudor, Laura, Temur, Koji, Florina, Nikolaj, Judit, Markus, Wolfgang

• Nonmonotonic abductive inductive learning

  Citation: 83

  Authors: Oliver

• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

  Citation: 79

  Authors: Franco, Alessio

• Automatic grape bunch detection in vineyards with an SVM classifier

  Citation: 79

  Authors: Scarlett, Mark

• Tractable query answering and rewriting under description logic constraints

  Citation: 71

  Authors: Héctor, Boris, Ian

• Framing human inference by coherence based probability logic

  Citation: 71

  Authors: Niki, Gernot D.

• Group announcement logic

  Citation: 69

  Authors: Thomas, Philippe, Hans, Pablo

• Lightweight relevance filtering for machine-generated resolution problems

  Citation: 67

  Authors: Jia, Lawrence C.