dblp.uni-trier.dewww.uni-trier.de

Dirk Vermeir

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
83EEJeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ICLP 2008: 362-376
82EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming with guarded programs. ACM Trans. Comput. Log. 9(4): (2008)
2007
81EEDavy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: Computing Fuzzy Answer Sets Using dlvhex. ICLP 2007: 449-450
80EEDavy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir: Conditional Planning with External Functions. LPNMR 2007: 214-227
79EEDavy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell. 50(3-4): 363-388 (2007)
78EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming for the semantic web. J. Applied Logic 5(1): 144-169 (2007)
2006
77EEDavy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir: Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. CLIMA VII 2006: 20-40
76 Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Approximating Extended Answer Sets. ECAI 2006: 462-466
75EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200
74EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Cooperating Answer Set Programming. ICLP 2006: 226-241
73EEDavy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: Fuzzy Answer Set Programming. JELIA 2006: 359-372
72EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006)
71EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open Answer Set Programming with Guarded Programs CoRR abs/cs/0603025: (2006)
70EEDavy Van Nieuwenborgh, Dirk Vermeir: Preferred answer sets for ordered logic programs. TPLP 6(1-2): 107-167 (2006)
2005
69EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005
68EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005
67EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407
66EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294
65EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Preferential Reasoning on a Web of Trust. International Semantic Web Conference 2005: 368-382
64EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104
63EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: An Ordered Logic Program Solver. PADL 2005: 128-142
2004
62EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194
61EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56
60EEDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183
59EEStijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Semantic Web Reasoning with Conceptual Logic Programs. RuleML 2004: 113-127
58EEMarina De Vos, Dirk Vermeir: Extending Answer Sets for Logic Programming Agents. Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004)
57EEDavy Van Nieuwenborgh, Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs CoRR cs.LO/0407049: (2004)
2003
56 Davy Van Nieuwenborgh, Dirk Vermeir: Ordered Programs as Abductive Systems. APPIA-GULP-PRODE 2003: 374-385
55EEStijn Heymans, Dirk Vermeir: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003
54EEStijn Heymans, Dirk Vermeir: Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588
53EEDavy Van Nieuwenborgh, Dirk Vermeir: Order and Negation as Failure. ICLP 2003: 194-208
52EEDavy Van Nieuwenborgh, Dirk Vermeir: Ordered Diagnosis. LPAR 2003: 244-258
51EEStijn Heymans, Dirk Vermeir: Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159
2002
50EEMarina De Vos, Dirk Vermeir: Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47
49EEStijn Heymans, Dirk Vermeir: A Defeasible Ontology Language. CoopIS/DOA/ODBASE 2002: 1033-1046
48EEStijn Heymans, Dirk Vermeir: Using Preference Order in Ontologies. DEXA Workshops 2002: 85-92
47EEDavy Van Nieuwenborgh, Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs. JELIA 2002: 432-443
2001
46EEMarina De Vos, Dirk Vermeir: Logic Programming Agents and Game Theory. Answer Set Programming 2001
45 Marina De Vos, Dirk Vermeir: Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence 17(3): 651-684 (2001)
2000
44EEMarina De Vos, Dirk Vermeir: Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239
43EEMarina De Vos, Dirk Vermeir: A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406
42 Els Laenens, Dirk Vermeir: A Universal Fixpoint Semantics for Ordered Logic. Computers and Artificial Intelligence 19(3): (2000)
1999
41 Marina De Vos, Dirk Vermeir: Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999: 266-276
40EEHadassa Jakobovits, Dirk Vermeir: Dialectic semantics for argumentation frameworks. ICAIL 1999: 53-62
39EEMarina De Vos, Dirk Vermeir: On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246
38EEHadassa Jakobovits, Dirk Vermeir: Robust Semantics for Argumentation Frameworks. J. Log. Comput. 9(2): 215-261 (1999)
1996
37 Hadassa Jakobovits, Dirk Vermeir: R-Stable Models for Logic Programs. Logic in Databases 1996: 233-243
1995
36 Terry A. Halpin, Dirk Vermeir: Default Knowledge in Information Systems. DS-6 1995: 423-442
35 P. Geerts, Dirk Vermeir: Specificity by Default. ECSQARU 1995: 207-216
1993
34 P. Geerts, Dirk Vermeir: A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. LPNMR 1993: 380-396
1992
33EEDomenico Saccà, Brigitte Verdonk, Dirk Vermeir: Evolution of Knowledge Bases. EDBT 1992: 230-244
32 Els Laenens, Dirk Vermeir, Carlo Zaniolo: Logic Programming Semantics Made Easy. ICALP 1992: 499-508
31 Els Laenens, Dirk Vermeir: Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. J. Log. Comput. 2(2): 133-172 (1992)
1991
30 Matts Ahlsen, Alessandro D'Atri, Paul Johannesson, Els Laenens, Nicola Leone, Pasquale Rullo, P. Rossi, François Staes, Laura Tarantino, L. Van Beirendonck, L. Van Cadsand, W. Van Santvliet, J. Vanslembrouck, Brigitte Verdonk, Dirk Vermeir: The KIWIS Knowledge Base Management System. CAiSE 1991: 79-97
29 François Staes, Laura Tarantino, Brigitte Verdonk, Dirk Vermeir: Supporting User Interactions with OODB's: A Declarative Approach. DEXA 1991: 210-215
28 Dov M. Gabbay, Els Laenens, Dirk Vermeir: Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217
27 P. Geerts, Dirk Vermeir: Credulous and Autoepistemic Reasoning Using Ordered Logic. LPNMR 1991: 21-36
26EEEls Laenens, Dirk Vermeir: On the Relationship between Well-Founded and Stable Partial Models. MFDBS 1991: 59-73
1990
25 Els Laenens, Dirk Vermeir: A Logical Basis for Object Oriented Programming. JELIA 1990: 317-332
24 Els Laenens, Brigitte Verdonk, Dirk Vermeir: The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. LPNMR 1990: 62-72
23EEEls Laenens, Domenico Saccà, Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990: 184-193
22 Els Laenens, Dirk Vermeir: A Fixpoint Semantics for Ordered Logic. J. Log. Comput. 1(2): 159-185 (1990)
21EEEls Laenens, Dirk Vermeir: Advanced knowledge-base environments for large database systems. Knowl.-Based Syst. 3(4): 215-220 (1990)
1989
20 Els Laenens, François Staes, Dirk Vermeir: A Customizable Window-Interface to Object-Oriented Databases. ECOOP 1989: 367-381
19 Els Laenens, François Staes, Dirk Vermeir: Browsing à la Carte in Object-Oriented Databases. Comput. J. 32(4): 333-340 (1989)
1988
18EEEls Laenens, Dirk Vermeir: An Overview of OOPS+, An Object-Oriented Database Programming Language. ECOOP 1988: 350-373
1983
17 N. Prabhakaran, Dirk Vermeir: On the Generation of Database Schemata. Australian Computer Journal 15(3): 91-102 (1983)
16 Dirk Vermeir: Semantic hierarchies and abstractions in conceptual schemata. Inf. Syst. 8(2): 117-124 (1983)
1982
15 Dirk Vermeir, G. M. Nijssen: A procedure to define the object type structure of a conceptual schema. Inf. Syst. 7(4): 329-336 (1982)
1981
14 Grzegorz Rozenberg, Dirk Vermeir: A hierarchy of ETOL languages with rank. Fundam. Inform. 4(1): 197- (1981)
13 Dirk Vermeir, Walter J. Savitch: On the amount of non-determinism in pushdown in pushdown automata. Fundam. Inform. 4(2): 401-418 (1981)
12 Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems with Finite Tree-Rank. SIAM J. Comput. 10(1): 40-58 (1981)
1980
11 Grzegorz Rozenberg, Dirk Vermeir: On metalinear ETOL systems. Fundam. Inform. 3(1): 15-36 (1980)
10 Grzegorz Rozenberg, Dirk Vermeir: A note on M-growth functions of FTOL systems with rank. Fundam. Inform. 3(3): 295-302 (1980)
1979
9 Grzegorz Rozenberg, Dirk Vermeir: Extending the Notion of Finite Index. ICALP 1979: 479-488
8EERobert Meersman, Grzegorz Rozenberg, Dirk Vermeir: Persistent ET0L systems. Inf. Sci. 18(3): 189-212 (1979)
7 Grzegorz Rozenberg, Dirk Vermeir: On Recursion in ET0L Systems. J. Comput. Syst. Sci. 19(2): 179-196 (1979)
6 Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems with Rank. J. Comput. Syst. Sci. 19(3): 237-255 (1979)
1978
5 Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems of Finite Index Information and Control 38(1): 103-133 (1978)
4 Grzegorz Rozenberg, Dirk Vermeir: On the Effect of the Finite Index Restriction on Several Families of Grammars Information and Control 39(3): 284-302 (1978)
1977
3 Grzegorz Rozenberg, Dirk Vermeir: L Systems of Finite Index (Extended Abstract). ICALP 1977: 430-439
2 Grzegorz Rozenberg, Dirk Vermeir: Acceptors for Iteration Languages. MFCS 1977: 460-464
1976
1 Grzegorz Rozenberg, Dirk Vermeir: Context-Free Programmed Grammars and ETOL Systems. MFCS 1976: 482-487

Coauthor Index

1Matts Ahlsen [30]
2L. Van Beirendonck [30]
3L. Van Cadsand [30]
4Martine De Cock [73] [79] [81] [83]
5Alessandro D'Atri [30]
6Andrzej Ehrenfeucht [6] [12]
7Thomas Eiter [80]
8Dov M. Gabbay [28]
9P. Geerts [27] [34] [35]
10Terry A. Halpin [36]
11Stijn Heymans [48] [49] [51] [54] [55] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [71] [72] [74] [75] [76] [77] [78] [82] [83]
12Hadassa Jakobovits [37] [38] [40]
13Jeroen Janssen [83]
14Paul Johannesson [30]
15Els Laenens [18] [19] [20] [21] [22] [23] [24] [25] [26] [28] [30] [31] [32] [42]
16Nicola Leone [30]
17Robert Meersman [8]
18Davy Van Nieuwenborgh [47] [52] [53] [56] [57] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82]
19G. M. Nijssen [15]
20N. Prabhakaran [17]
21P. Rossi [30]
22Grzegorz Rozenberg [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
23Pasquale Rullo [30]
24Domenico Saccà [23] [33]
25W. Van Santvliet [30]
26Walter J. Savitch [13]
27François Staes [19] [20] [29] [30]
28Laura Tarantino [29] [30]
29J. Vanslembrouck [30]
30Brigitte Verdonk [24] [29] [30] [33]
31Marina De Vos [39] [41] [43] [44] [45] [46] [50] [58] [77]
32Carlo Zaniolo [32]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)