Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Dirk Vermeir
Observed names:
D Vermeir,
D. VERMEIR,
D. Vermeir,
DIRK VERMEIR,
Jakobovits And Vermeir,
Vermeir, Dirk
show all 6
Institutions:
Vrije Universiteit Brussel,
University of Antwerp
Observed institutions:
University of Technology Sydney,
Universidad Complutense de Madrid,
Université Libre de Bruxelles,
Vrije Universiteit Brussel,
University of Antwerp,
The University of Queensland,
Ghent University,
Philips (Netherlands),
University of Bath,
Cardiff University,
KU Leuven
show all 11
OpenAlex ID:
A5111467762
Works
202
Awards
1
Dialectic semantics for argumentation frameworks
1999
·
H. Jakobovits
, D. Vermeir
·
International Conference on Artificial Intelligence and Law
·
82
PDF
A Fixpoint Semantics for Ordered Logic
1990
·
E. LAENENS
, D. VERMEIR
·
Journal of Logic and Computation
·
63
Fuzzy Argumentation Frameworks
2008
·
Jeroen Janssen
, Dirk Vermeir
, et al.
·
60
An introduction to fuzzy answer set programming
2007
·
Davy Van Nieuwenborgh
, Martine De Cock
, et al.
·
Annals of Mathematics and Artificial Intelligence
·
59
Preferred Answer Sets for Ordered Logic Programs
2002
·
Davy Van Nieuwenborgh
, Dirk Vermeir
·
Lecture notes in computer science
·
40
On ETOL systems of finite index
1978
·
G. Rozenberg
, D. Vermeir
·
Information and Control
·
40
PDF
A Defeasible Ontology Language
2002
·
S. Heymans
, D. Vermeir
·
Lecture notes in computer science
·
38
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
2005
·
Stijn Heymans
, Davy Van Nieuwenborgh
, et al.
·
Lecture notes in computer science
·
37
Choice Logic Programs and Nash Equilibria in Strategic Games
1999
·
Marina De Vos
, Dirk Vermeir
·
Lecture notes in computer science
·
35
Semantic hierarchies and abstractions in conceptual schemata
1983
·
Dirk Vermeir
·
Information Systems
·
34
Credulous vs. sceptical semantics for ordered logic programs
1991
·
Dov M. Gabbay
, E. Laenens
, et al.
·
Principles of Knowledge Representation and Reasoning
·
31
Extending logic programming
1990
·
Els Laenens
, Domenico Sacca
, et al.
·
ACM SIGMOD International Conference on Management of Data (SIGMOD)
·
31
PDF
Possibilistic Answer Set Programming Revisited
2012
·
Bauters, Kim
, Schockaert, Steven
, et al.
·
arXiv (Cornell University)
·
30
PDF
Semantic Web Reasoning with Conceptual Logic Programs
2004
·
Stijn Heymans
, Davy Van Nieuwenborgh
, et al.
·
Lecture notes in computer science
·
26
General Fuzzy Answer Set Programs
2009
·
Jeroen Janssen
, Steven Schockaert
, et al.
·
Lecture notes in computer science
·
25
Guarded Open Answer Set Programming
2005
·
Stijn Heymans
, Davy Van Nieuwenborgh
, et al.
·
Lecture notes in computer science
·
25
Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models
1992
·
E. LAENENS
, D. VERMEIR
·
Journal of Logic and Computation
·
25
On the effect of the finite index restriction on several families of grammars
1978
·
G. Rozenberg
, D. Vermeir
·
Information and Control
·
25
Open answer set programming with guarded programs
2008
·
Stijn Heymans
, Davy Van Nieuwenborgh
, et al.
·
ACM Transactions on Computational Logic
·
24
PDF
On the Amount of Nondeterminism in Pushdown Automata
1981
·
Dirk Vermeir
, W.J. Savitch
·
Fundamenta Informaticae
·
24
Extending Answer Sets for Logic Programming Agents
2004
·
M. De Vos
, D. Vermeir
·
Annals of Mathematics and Artificial Intelligence
·
23
Open answer set programming for the semantic web
2006
·
Stijn Heymans
, Davy Van Nieuwenborgh
, et al.
·
Journal of Applied Logic
·
22
PDF
Preferred answer sets for ordered logic programs
2006
·
DAVY VAN NIEUWENBORGH
, DIRK VERMEIR
·
Theory and Practice of Logic Programming
·
22
PDF
Conceptual logic programs
2006
·
Stijn Heymans
, Davy Van Nieuwenborgh
, et al.
·
Annals of Mathematics and Artificial Intelligence
·
21
Integrating Semantic Web Reasoning and Answer Set Programming
2003
·
Stijn Heymans
, Dirk Vermeir
·
21
Show more works
View as search
Works count:
202
Citation count:
1,559
H-index:
22
I10-index:
55
Year
Topic
Type