Concepedia

Dimiter Vakarelov

DV

Statistics

Publications

27

Citations

1.1K

H-Index

17

Active since

1977

Affiliations

Sofia University "St. Kliment Ohridski"(Current)

Université Toulouse III - Paul Sabatier

Centre National de la Recherche Scientifique

University of the Witwatersrand

Brock University

Dimiter Vakarelov is an author at Sofia University "St. Kliment Ohridski" specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringComputer ScienceSemanticsFormal MethodsLanguageLinguisticsFormal VerificationKnowledge CompilationKnowledge Representation

Publications per year

1977–2012

27

Publications

27

Notes on N-lattices and constructive logic with strong negation

Dimiter Vakarelov · Studia Logica · 1977 · 159 citations

Non-classical Logic, Engineering, Automated Reasoning +4

Contact Algebras and Region-based Theory of Space: Proximity Approach – II

Georgi Dimov, Dimiter Vakarelov · Fundamenta Informaticae · 2006 · 97 citations

Integral Geometry, Topological Semigroups, Discrete Geometry +12

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

Willem Conradie, Valentin Goranko, Dimiter Vakarelov · Logical Methods in Computer Science · 2006 · 95 citations · Full text

Core Algorithm Sqema, Engineering, Substructural Logic +15

A Modal Logic for Similarity Relations in Pawlak Knowledge Representation Systems

Dimiter Vakarelov · Fundamenta Informaticae · 1991 · 93 citations

Engineering, Knowledge Extraction, Knowledge-based Reasoning +22

Elementary canonical formulae: extending Sahlqvist’s theorem

Valentin Goranko, Dimiter Vakarelov · Annals of Pure and Applied Logic · 2005 · 81 citations

Algebraic Analysis, Elementary Canonical Formulae

1–5 of 27