Dirk Vermeir

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
98Expressiveness of Communication in Answer Set Programming. Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock. CoRR (abs/1109.2434) (2011). Web SearchBibTeXDownload
97Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics. Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock. CoRR (abs/1104.5133) (2011). Web SearchBibTeXDownload
96Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees. Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir. ECSQARU 2011, 616-627. Web SearchBibTeXDownload
95Modelling gene and protein regulatory networks with Answer Set Programming. Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock. IJDMB (5): 209-229 (2011). Web SearchBibTeXDownload
94Communicating ASP and the Polynomial Hierarchy. Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock. LPNMR 2011, 67-79. Web SearchBibTeXDownload
93Weak and Strong Disjunction in Possibilistic ASP. Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir. SUM 2011, 475-488. Web SearchBibTeXDownload
2010
92Communicating Answer Set Programs. Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock. ICLP (Technical Communications) 2010, 34-43. Web SearchBibTeXDownload
91Efficient Solving of Time-dependent Answer Set Programs. Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock. ICLP (Technical Communications) 2010, 64-73. Web SearchBibTeXDownload
90Possibilistic Answer Set Programming Revisited. Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir. UAI 2010, 48-55. Web SearchBibTeXDownload
2009
89Modeling Protein Interaction Networks with Answer Set Programming. Timur Fayruzov, Martine De Cock, Chris Cornelis, Dirk Vermeir. BIBM 2009, 99-104. Web SearchBibTeXDownload
88Fuzzy Answer Set Programming with Literal Preferences. Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock. IFSA/EUSFLAT Conf. 2009, 1347-1352. Web SearchBibTeXDownload
87Answer Sets in a Fuzzy Equilibrium Logic. Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock. RR 2009, 135-149. Web SearchBibTeXDownload
86Finite Satisfiability in Infinite-Valued Lukasiewicz Logic. Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock. SUM 2009, 240-254. Web SearchBibTeXDownload
85General Fuzzy Answer Set Programs. Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock. WILF 2009, 352-359. Web SearchBibTeXDownload
2008
84Open answer set programming with guarded programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ACM Trans. Comput. Log. (9) (2008). Web SearchBibTeXDownload
83Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock. ICLP 2008, 362-376. Web SearchBibTeXDownload
2007
82An introduction to fuzzy answer set programming. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. Ann. Math. Artif. Intell. (50): 363-388 (2007). Web SearchBibTeXDownload
81Computing Fuzzy Answer Sets Using dlvhex. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. ICLP 2007, 449-450. Web SearchBibTeXDownload
80Open answer set programming for the semantic web. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. J. Applied Logic (5): 144-169 (2007). Web SearchBibTeXDownload
79Conditional Planning with External Functions. Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir. LPNMR 2007, 214-227. Web SearchBibTeXDownload
2006
78Conceptual logic programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. Ann. Math. Artif. Intell. (47): 103-137 (2006). Web SearchBibTeXDownload
77Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir. CLIMA 2006, 20-40. Web SearchBibTeXDownload
76Open Answer Set Programming with Guarded Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. CoRR (abs/cs/0603025) (2006). Web SearchBibTeXDownload
75Approximating Extended Answer Sets. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ECAI 2006, 462-466. Web SearchBibTeX
74Guarded Open Answer Set Programming with Generalized Literals. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. FoIKS 2006, 179-200. Web SearchBibTeXDownload
73Cooperating Answer Set Programming. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ICLP 2006, 226-241. Web SearchBibTeXDownload
72Fuzzy Answer Set Programming. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. JELIA 2006, 359-372. Web SearchBibTeXDownload
71Preferred answer sets for ordered logic programs. Davy Van Nieuwenborgh, Dirk Vermeir. TPLP (6): 107-167 (2006). Web SearchBibTeXDownload
2005
70Extending Conceptual Logic Programs with Arbitrary Rules. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. Answer Set Programming 2005. Web SearchBibTeXDownload
69Intelligence Analysis Using Quantitative Preferences. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. Answer Set Programming 2005. Web SearchBibTeXDownload
68Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ESWC 2005, 392-407. Web SearchBibTeXDownload
67Synthesis from Temporal Specifications Using Preferred Answer Set Programming. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. ICTCS 2005, 280-294. Web SearchBibTeXDownload
66Preferential Reasoning on a Web of Trust. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. International Semantic Web Conference 2005, 368-382. Web SearchBibTeXDownload
65Guarded Open Answer Set Programming. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. LPNMR 2005, 92-104. Web SearchBibTeXDownload
64An Ordered Logic Program Solver. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. PADL 2005, 128-142. Web SearchBibTeXDownload
2004
63Extending Answer Sets for Logic Programming Agents. Marina De Vos, Dirk Vermeir. Ann. Math. Artif. Intell. (42): 103-139 (2004). Web SearchBibTeXDownload
62Preferred Answer Sets for Ordered Logic Programs. Davy Van Nieuwenborgh, Dirk Vermeir. CoRR (cs.LO/0407049) (2004). Web SearchBibTeXDownload
61On Programs with Linearly Ordered Multiple Preferences. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. ICLP 2004, 180-194. Web SearchBibTeXDownload
60Hierarchical Decision Making by Autonomous Agents. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. JELIA 2004, 44-56. Web SearchBibTeXDownload
59Weighted Answer Sets and Applications in Intelligence Analysis. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. LPAR 2004, 169-183. Web SearchBibTeXDownload
58Semantic Web Reasoning with Conceptual Logic Programs. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir. RuleML 2004, 113-127. Web SearchBibTeXDownload
2003
57Integrating Semantic Web Reasoning and Answer Set Programming. Stijn Heymans, Dirk Vermeir. Answer Set Programming 2003. Web SearchBibTeXDownload
56Ordered Programs as Abductive Systems. Davy Van Nieuwenborgh, Dirk Vermeir. APPIA-GULP-PRODE 2003, 374-385. Web SearchBibTeX
55Integrating Ontology Languages and Answer Set Programming. Stijn Heymans, Dirk Vermeir. DEXA Workshops 2003, 584-588. Web SearchBibTeXDownload
54Order and Negation as Failure. Davy Van Nieuwenborgh, Dirk Vermeir. ICLP 2003, 194-208. Web SearchBibTeXDownload
53Ordered Diagnosis. Davy Van Nieuwenborgh, Dirk Vermeir. LPAR 2003, 244-258. Web SearchBibTeXDownload
52Integrating Description Logics and Answer Set Programming. Stijn Heymans, Dirk Vermeir. PPSWR 2003, 146-159. Web SearchBibTeXDownload
2002
51Dynamic Decision-Making in Logic Programming and Game Theory. Marina De Vos, Dirk Vermeir. Australian Joint Conference on Artificial Intelligence 2002, 36-47. Web SearchBibTeXDownload
50A Defeasible Ontology Language. Stijn Heymans, Dirk Vermeir. CoopIS/DOA/ODBASE 2002, 1033-1046. Web SearchBibTeXDownload
49Using Preference Order in Ontologies. Stijn Heymans, Dirk Vermeir. DEXA Workshops 2002, 85-92. Web SearchBibTeXDownload
48Preferred Answer Sets for Ordered Logic Programs. Davy Van Nieuwenborgh, Dirk Vermeir. JELIA 2002, 432-443. Web SearchBibTeXDownload
2001
47Logic Programming Agents and Game Theory. Marina De Vos, Dirk Vermeir. Answer Set Programming 2001. Web SearchBibTeXDownload
46Semantic Forcing in Disjunctive Logic Programs. Marina De Vos, Dirk Vermeir. Computational Intelligence (17): 651-684 (2001). Web SearchBibTeXDownload
2000
45A Universal Fixpoint Semantics for Ordered Logic. Els Laenens, Dirk Vermeir. Computers and Artificial Intelligence (19) (2000). Web SearchBibTeX
44Dynamically Ordered Probabilistic Choice Logic Programming. Marina De Vos, Dirk Vermeir. FSTTCS 2000, 227-239. Web SearchBibTeXDownload
43A Logic for Modeling Decision Making with Dynamic Preferences. Marina De Vos, Dirk Vermeir. JELIA 2000, 391-406. Web SearchBibTeXDownload
1999
42Choice Logic Programs and Nash Equilibria in Strategic Games. Marina De Vos, Dirk Vermeir. CSL 1999, 266-276. Web SearchBibTeXDownload
41Dialectic semantics for argumentation frameworks. Hadassa Jakobovits, Dirk Vermeir. ICAIL 1999, 53-62. Web SearchBibTeXDownload
40Robust Semantics for Argumentation Frameworks. Hadassa Jakobovits, Dirk Vermeir. J. Log. Comput. (9): 215-261 (1999). Web SearchBibTeXDownload
39On the Role of Negation in Choice Logic Programs. Marina De Vos, Dirk Vermeir. LPNMR 1999, 236-246. Web SearchBibTeXDownload
1996
38R-Stable Models for Logic Programs. Hadassa Jakobovits, Dirk Vermeir. Logic in Databases 1996, 233-243. Web SearchBibTeXDownload
1995
37Default Knowledge in Information Systems. Terry A. Halpin, Dirk Vermeir. DS-6 1995, 423-442. Web SearchBibTeX
36Specificity by Default. P. Geerts, Dirk Vermeir. ECSQARU 1995, 207-216. Web SearchBibTeXDownload
1993
35A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. P. Geerts, Dirk Vermeir. LPNMR 1993, 380-396. Web SearchBibTeX
1992
34Evolution of Knowledge Bases. Domenico Saccà, Brigitte Verdonk, Dirk Vermeir. EDBT 1992, 230-244. Web SearchBibTeXDownload
33Logic Programming Semantics Made Easy. Els Laenens, Dirk Vermeir, Carlo Zaniolo. ICALP 1992, 499-508. Cited by 9Web SearchBibTeXDownload
32Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. Els Laenens, Dirk Vermeir. J. Log. Comput. (2): 133-172 (1992). Web SearchBibTeXDownload
1991
31The KIWIS Knowledge Base Management System. 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. CAiSE 1991, 79-97. Web SearchBibTeXDownload
30Supporting User Interactions with OODB's: A Declarative Approach. François Staes, Laura Tarantino, Brigitte Verdonk, Dirk Vermeir. DEXA 1991, 210-215. Web SearchBibTeX
29Credulous vs. Sceptical Semantics for Ordered Logic Programs. Dov M. Gabbay, Els Laenens, Dirk Vermeir. KR 1991, 208-217. Web SearchBibTeX
28Credulous and Autoepistemic Reasoning Using Ordered Logic. P. Geerts, Dirk Vermeir. LPNMR 1991, 21-36. Web SearchBibTeX
27On the Relationship between Well-Founded and Stable Partial Models. Els Laenens, Dirk Vermeir. MFDBS 1991, 59-73. Web SearchBibTeX
1990
26A Logical Basis for Object Oriented Programming. Els Laenens, Dirk Vermeir. JELIA 1990, 317-332. Web SearchBibTeXDownload
25A Fixpoint Semantics for Ordered Logic. Els Laenens, Dirk Vermeir. J. Log. Comput. (1): 159-185 (1990). Web SearchBibTeXDownload
24A seamless integration of graphics and dialogues within a logic based object-oriented language. François Staes, Els Laenens, Dirk Vermeir, Laura Tarantino. J. Vis. Lang. Comput. (1): 313-332 (1990). Web SearchBibTeXDownload
23Advanced knowledge-base environments for large database systems. Els Laenens, Dirk Vermeir. Knowl.-Based Syst. (3): 215-220 (1990). Web SearchBibTeXDownload
22The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. Els Laenens, Brigitte Verdonk, Dirk Vermeir. LPNMR 1990, 62-72. Web SearchBibTeX
21Extending Logic Programming. Els Laenens, Domenico Saccà, Dirk Vermeir. SIGMOD Conference 1990, 184-193. Web SearchBibTeX
1989
20Browsing à la Carte in Object-Oriented Databases. Els Laenens, François Staes, Dirk Vermeir. Comput. J. (32): 333-340 (1989). Web SearchBibTeXDownload
19A Customizable Window-Interface to Object-Oriented Databases. Els Laenens, François Staes, Dirk Vermeir. ECOOP 1989, 367-381. Web SearchBibTeX
1988
18An Overview of OOPS+, An Object-Oriented Database Programming Language. Els Laenens, Dirk Vermeir. ECOOP 1988, 350-373. Web SearchBibTeXDownload
1983
17On the Generation of Database Schemata. N. Prabhakaran, Dirk Vermeir. Australian Computer Journal (15): 91-102 (1983). Web SearchBibTeX
16Semantic hierarchies and abstractions in conceptual schemata. Dirk Vermeir. Inf. Syst. (8): 117-124 (1983). Web SearchBibTeXDownload
1982
15A procedure to define the object type structure of a conceptual schema. Dirk Vermeir, G. M. Nijssen. Inf. Syst. (7): 329-336 (1982). Web SearchBibTeXDownload
1981
14On the amount of non-determinism in pushdown in pushdown automata. Dirk Vermeir, Walter J. Savitch. Fundam. Inform. (4): 401-418 (1981). Web SearchBibTeX
13A hierarchy of ETOL languages with rank. Grzegorz Rozenberg, Dirk Vermeir. Fundam. Inform. (4): 197 (1981). Web SearchBibTeX
12On ET0L Systems with Finite Tree-Rank. Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir. SIAM J. Comput. (10): 40-58 (1981). Web SearchBibTeXDownload
1980
11A note on M-growth functions of FTOL systems with rank. Grzegorz Rozenberg, Dirk Vermeir. Fundam. Inform. (3): 295-302 (1980). Web SearchBibTeX
10On metalinear ETOL systems. Grzegorz Rozenberg, Dirk Vermeir. Fundam. Inform. (3): 15-36 (1980). Web SearchBibTeX
1979
9Extending the Notion of Finite Index. Grzegorz Rozenberg, Dirk Vermeir. ICALP 1979, 479-488. Web SearchBibTeXDownload
8Persistent ET0L systems. Robert Meersman, Grzegorz Rozenberg, Dirk Vermeir. Inf. Sci. (18): 189-212 (1979). Web SearchBibTeXDownload
7On Recursion in ET0L Systems. Grzegorz Rozenberg, Dirk Vermeir. J. Comput. Syst. Sci. (19): 179-196 (1979). Web SearchBibTeXDownload
6On ET0L Systems with Rank. Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir. J. Comput. Syst. Sci. (19): 237-255 (1979). Web SearchBibTeXDownload
1978
5On ET0L Systems of Finite Index. Grzegorz Rozenberg, Dirk Vermeir. Information and Control (38): 103-133 (1978). Web SearchBibTeX
4On the Effect of the Finite Index Restriction on Several Families of Grammars. Grzegorz Rozenberg, Dirk Vermeir. Information and Control (39): 284-302 (1978). Web SearchBibTeX
1977
3L Systems of Finite Index (Extended Abstract). Grzegorz Rozenberg, Dirk Vermeir. ICALP 1977, 430-439. Web SearchBibTeXDownload
2Acceptors for Iteration Languages. Grzegorz Rozenberg, Dirk Vermeir. MFCS 1977, 460-464. Web SearchBibTeXDownload
1976
1Context-Free Programmed Grammars and ETOL Systems. Grzegorz Rozenberg, Dirk Vermeir. MFCS 1976, 482-487. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research