Concepedia

Dirk Vermeir

DV

Statistics

Publications

32

Citations

823

H-Index

18

Active since

1978

Affiliations

Vrije Universiteit Brussel(Current)

Ghent University

University of Antwerp

Cardiff University

University of Washington Tacoma

Dirk Vermeir is an author at Vrije Universiteit Brussel specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningSemanticsFormal MethodsComputer ScienceAnswer Set ProgrammingLogic ProgrammingLanguageComputational LinguisticsFormal Verification

Publications per year

1978–2014

32

Publications

32

Dialectic semantics for argumentation frameworks

H. Jakobovits, Dirk Vermeir · 1999 · 84 citations · Full text

Engineering, Argumentation Analysis, Game Semantics +19

A Fixpoint Semantics for Ordered Logic

E. Laenens, Dirk Vermeir · Journal of Logic and Computation · 1990 · 63 citations

Engineering, Ordered Structure, Well-founded Semantics +17

An introduction to fuzzy answer set programming

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir · Annals of Mathematics and Artificial Intelligence · 2007 · 61 citations

Fuzzy Logic, Engineering, Fuzzy Computing +6

Fuzzy Argumentation Frameworks

Jeroen Janssen, Dirk Vermeir, Martine De Cock · Ghent University Academic Bibliography (Ghent University) · 2008 · 55 citations

On ETOL systems of finite index

G. Rozenberg, Dirk Vermeir · Information and Control · 1978 · 37 citations

Index System, Indexing Technique, Discrete Integrable System +1

1–5 of 32