Dirk Vermeir - Concepedia

Author

Dirk Vermeir

Vrije Universiteit Brussel

Also Known As

D Vermeir, D. VERMEIR, D. Vermeir, DIRK VERMEIR, Dirk Vermeir, Vermeir, Dirk

176

Publications

1.6K

Citations

H-Index

Concepts

All Affiliations

Vrije Universiteit Brussel Ghent University University of Antwerp Cardiff University University of Washington Tacoma

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	25	605
2	Language Studies	9	9	280
3	Business	1	1	10
4	Medicine	1	1	15
5	Cell Biology	1	1	15

Dirk Vermeir

Publications

823

Citations

H-Index

Page 1

	Year	Citations
Dialectic semantics for argumentation frameworks H. Jakobovits, Dirk Vermeir EngineeringArgumentation AnalysisGame SemanticsDialogue TypeRhetoric	1999	84
A Fixpoint Semantics for Ordered Logic E. Laenens, Dirk Vermeir Journal of Logic and Computation EngineeringOrdered StructureWell-founded SemanticsHigher-order LogicSemantics	1990	63
An introduction to fuzzy answer set programming Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir Annals of Mathematics and Artificial Intelligence Fuzzy LogicEngineeringFuzzy ComputingAutomated ReasoningAnswer Set Programming	2007	61
Fuzzy Argumentation Frameworks Jeroen Janssen, Dirk Vermeir, Martine De Cock Ghent University Academic Bibliography (Ghent University)	2008	55
On ETOL systems of finite index G. Rozenberg, Dirk Vermeir Information and Control Index SystemIndexing TechniqueDiscrete Integrable SystemEtol Systems	1978	37
Semantic hierarchies and abstractions in conceptual schemata Dirk Vermeir Information Systems Conceptual SchemataOntology LanguageSemanticsSemantic WebOntology Modularity	1983	35
Credulous vs. sceptical semantics for ordered logic programs Dov M. Gabbay, E. Laenens, Dirk Vermeir Principles of Knowledge Representation and Reasoning Ordered Logic ProgramsEngineeringAutomated ReasoningFormal MethodsDefeasible Logic	1991	32
Extending logic programming E. Laenens, Domenico Saccà, Dirk Vermeir	1990	32
Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models E. Laenens, Dirk Vermeir Journal of Logic and Computation EngineeringWell-founded SemanticsHigher-order LogicSemanticsFormal Verification	1992	26
Possibilistic Answer Set Programming Revisited Kim Bauters, Steven Schockaert, Martine De Cock, arXiv (Cornell University) Mathematical ProgrammingEngineeringComputational ComplexitySemanticsConstraint Programming	2012	26

Page 1