Dirk Vermeir

Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock: Expressiveness of communication in answer set programming. TPLP 13(3): 361-394 (2013)

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: A core language for fuzzy answer set programming. Int. J. Approx. Reasoning 53(4): 660-692 (2012)

Steven Schockaert, Jeroen Janssen, Dirk Vermeir: Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction. J. Autom. Reasoning 49(4): 493-550 (2012)

Steven Schockaert, Jeroen Janssen, Dirk Vermeir: Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains. ACM Trans. Comput. Log. 13(4): 33 (2012)

Jeroen Janssen, Dirk Vermeir, Steven Schockaert, Martine De Cock: Reducing fuzzy answer set programming to model finding in fuzzy logics. TPLP 12(6): 811-842 (2012)

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Possible and Necessary Answer Sets of Possibilistic Answer Set Programs. ICTAI 2012: 836-843

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Possibilistic Answer Set Programming Revisited. CoRR abs/1203.3466 (2012)

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Aggregated Fuzzy Answer Set Programming. Ann. Math. Artif. Intell. 63(2): 103-147 (2011)

Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock: Modelling gene and protein regulatory networks with Answer Set Programming. IJDMB 5(2): 209-229 (2011)

Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir: Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees. ECSQARU 2011: 616-627

Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock: Communicating ASP and the Polynomial Hierarchy. LPNMR 2011: 67-79

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Weak and Strong Disjunction in Possibilistic ASP. SUM 2011: 475-488

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics. CoRR abs/1104.5133 (2011)

Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Expressiveness of Communication in Answer Set Programming. CoRR abs/1109.2434 (2011)

Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Communicating Answer Set Programs. ICLP (Technical Communications) 2010: 34-43

Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, Martine De Cock: Efficient Solving of Time-dependent Answer Set Programs. ICLP (Technical Communications) 2010: 64-73

Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir: Possibilistic Answer Set Programming Revisited. UAI 2010: 48-55

Timur Fayruzov, Martine De Cock, Chris Cornelis, Dirk Vermeir: Modeling Protein Interaction Networks with Answer Set Programming. BIBM 2009: 99-104

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: Fuzzy Answer Set Programming with Literal Preferences. IFSA/EUSFLAT Conf. 2009: 1347-1352

Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock: Answer Sets in a Fuzzy Equilibrium Logic. RR 2009: 135-149

Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock: Finite Satisfiability in Infinite-Valued Lukasiewicz Logic. SUM 2009: 240-254

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock: General Fuzzy Answer Set Programs. WILF 2009: 352-359

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming with guarded programs. ACM Trans. Comput. Log. 9(4) (2008)

Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. ICLP 2008: 362-376

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: An introduction to fuzzy answer set programming. Ann. Math. Artif. Intell. 50(3-4): 363-388 (2007)

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open answer set programming for the semantic web. J. Applied Logic 5(1): 144-169 (2007)

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: Computing Fuzzy Answer Sets Using dlvhex. ICLP 2007: 449-450

Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir: Conditional Planning with External Functions. LPNMR 2007: 214-227

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Conceptual logic programs. Ann. Math. Artif. Intell. 47(1-2): 103-137 (2006)

Davy Van Nieuwenborgh, Dirk Vermeir: Preferred answer sets for ordered logic programs. TPLP 6(1-2): 107-167 (2006)

Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir: Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. CLIMA 2006: 20-40

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Approximating Extended Answer Sets. ECAI 2006: 462-466

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming with Generalized Literals. FoIKS 2006: 179-200

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Cooperating Answer Set Programming. ICLP 2006: 226-241

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir: Fuzzy Answer Set Programming. JELIA 2006: 359-372

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Open Answer Set Programming with Guarded Programs. CoRR abs/cs/0603025 (2006)

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Extending Conceptual Logic Programs with Arbitrary Rules. Answer Set Programming 2005

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Intelligence Analysis Using Quantitative Preferences. Answer Set Programming 2005

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. ESWC 2005: 392-407

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Synthesis from Temporal Specifications Using Preferred Answer Set Programming. ICTCS 2005: 280-294

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Guarded Open Answer Set Programming. LPNMR 2005: 92-104

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: An Ordered Logic Program Solver. PADL 2005: 128-142

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Preferential Reasoning on a Web of Trust. International Semantic Web Conference 2005: 368-382

Marina De Vos, Dirk Vermeir: Extending Answer Sets for Logic Programming Agents. Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004)

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: On Programs with Linearly Ordered Multiple Preferences. ICLP 2004: 180-194

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Hierarchical Decision Making by Autonomous Agents. JELIA 2004: 44-56

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Weighted Answer Sets and Applications in Intelligence Analysis. LPAR 2004: 169-183

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir: Semantic Web Reasoning with Conceptual Logic Programs. RuleML 2004: 113-127

Davy Van Nieuwenborgh, Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs. CoRR cs.LO/0407049 (2004)

Davy Van Nieuwenborgh, Dirk Vermeir: Ordered Programs as Abductive Systems. APPIA-GULP-PRODE 2003: 374-385

Stijn Heymans, Dirk Vermeir: Integrating Semantic Web Reasoning and Answer Set Programming. Answer Set Programming 2003

Stijn Heymans, Dirk Vermeir: Integrating Ontology Languages and Answer Set Programming. DEXA Workshops 2003: 584-588

Davy Van Nieuwenborgh, Dirk Vermeir: Order and Negation as Failure. ICLP 2003: 194-208

Davy Van Nieuwenborgh, Dirk Vermeir: Ordered Diagnosis. LPAR 2003: 244-258

Stijn Heymans, Dirk Vermeir: Integrating Description Logics and Answer Set Programming. PPSWR 2003: 146-159

Marina De Vos, Dirk Vermeir: Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47

Stijn Heymans, Dirk Vermeir: A Defeasible Ontology Language. CoopIS/DOA/ODBASE 2002: 1033-1046

Stijn Heymans, Dirk Vermeir: Using Preference Order in Ontologies. DEXA Workshops 2002: 85-92

Davy Van Nieuwenborgh, Dirk Vermeir: Preferred Answer Sets for Ordered Logic Programs. JELIA 2002: 432-443

Dirk Vermeir: Multi-paradigm programming using C++. Springer 2001, isbn 978-1-85233-483-3, pp. I-XV, 1-287

Marina De Vos, Dirk Vermeir: Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence 17(3): 651-684 (2001)

Marina De Vos, Dirk Vermeir: Logic Programming Agents and Game Theory. Answer Set Programming 2001

Els Laenens, Dirk Vermeir: A Universal Fixpoint Semantics for Ordered Logic. Computers and Artificial Intelligence 19(3) (2000)

Marina De Vos, Dirk Vermeir: Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239

Marina De Vos, Dirk Vermeir: A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406

Hadassa Jakobovits, Dirk Vermeir: Robust Semantics for Argumentation Frameworks. J. Log. Comput. 9(2): 215-261 (1999)

Marina De Vos, Dirk Vermeir: Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999: 266-276

Hadassa Jakobovits, Dirk Vermeir: Dialectic semantics for argumentation frameworks. ICAIL 1999: 53-62

Marina De Vos, Dirk Vermeir: On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246

Hadassa Jakobovits, Dirk Vermeir: R-Stable Models for Logic Programs. Logic in Databases 1996: 233-243

Terry A. Halpin, Dirk Vermeir: Default Knowledge in Information Systems. DS-6 1995: 423-442

P. Geerts, Dirk Vermeir: Specificity by Default. ECSQARU 1995: 207-216

P. Geerts, Dirk Vermeir: A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. LPNMR 1993: 380-396

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)

Domenico Saccà, Brigitte Verdonk, Dirk Vermeir: Evolution of Knowledge Bases. EDBT 1992: 230-244

Els Laenens, Dirk Vermeir, Carlo Zaniolo: Logic Programming Semantics Made Easy. ICALP 1992: 499-508

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

François Staes, Laura Tarantino, Brigitte Verdonk, Dirk Vermeir: Supporting User Interactions with OODB's: A Declarative Approach. DEXA 1991: 210-215

Dov M. Gabbay, Els Laenens, Dirk Vermeir: Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217

P. Geerts, Dirk Vermeir: Credulous and Autoepistemic Reasoning Using Ordered Logic. LPNMR 1991: 21-36

Els Laenens, Dirk Vermeir: On the Relationship between Well-Founded and Stable Partial Models. MFDBS 1991: 59-73

Els Laenens, Dirk Vermeir: Advanced knowledge-base environments for large database systems. Knowl.-Based Syst. 3(4): 215-220 (1990)

Els Laenens, Dirk Vermeir: A Fixpoint Semantics for Ordered Logic. J. Log. Comput. 1(2): 159-185 (1990)

François Staes, Els Laenens, Dirk Vermeir, Laura Tarantino: A seamless integration of graphics and dialogues within a logic based object-oriented language. J. Vis. Lang. Comput. 1(4): 313-332 (1990)

Els Laenens, Dirk Vermeir: A Logical Basis for Object Oriented Programming. JELIA 1990: 317-332

Els Laenens, Brigitte Verdonk, Dirk Vermeir: The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. LPNMR 1990: 62-72

Els Laenens, Domenico Saccà, Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990: 184-193

Els Laenens, François Staes, Dirk Vermeir: Browsing à la Carte in Object-Oriented Databases. Comput. J. 32(4): 333-340 (1989)

Els Laenens, John Snijders, François Staes, Dirk Vermeir: A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System. CA(i)SE 1989

Els Laenens, François Staes, Dirk Vermeir: A Customizable Window-Interface to Object-Oriented Databases. ECOOP 1989: 367-381

Els Laenens, Dirk Vermeir: An Overview of OOPS+, An Object-Oriented Database Programming Language. ECOOP 1988: 350-373

N. Prabhakaran, Dirk Vermeir: On the Generation of Database Schemata. Australian Computer Journal 15(3): 91-102 (1983)

Dirk Vermeir: Semantic hierarchies and abstractions in conceptual schemata. Inf. Syst. 8(2): 117-124 (1983)

Dirk Vermeir, G. M. Nijssen: A procedure to define the object type structure of a conceptual schema. Inf. Syst. 7(4): 329-336 (1982)

Grzegorz Rozenberg, Dirk Vermeir: A hierarchy of ETOL languages with rank. Fundam. Inform. 4(1): 197- (1981)

Dirk Vermeir, Walter J. Savitch: On the amount of non-determinism in pushdown in pushdown automata. Fundam. Inform. 4(2): 401-418 (1981)

Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems with Finite Tree-Rank. SIAM J. Comput. 10(1): 40-58 (1981)

Grzegorz Rozenberg, Dirk Vermeir: On metalinear ETOL systems. Fundam. Inform. 3(1): 15-36 (1980)

Grzegorz Rozenberg, Dirk Vermeir: A note on M-growth functions of FTOL systems with rank. Fundam. Inform. 3(3): 295-302 (1980)

Robert Meersman, Grzegorz Rozenberg, Dirk Vermeir: Persistent ET0L systems. Inf. Sci. 18(3): 189-212 (1979)

Grzegorz Rozenberg, Dirk Vermeir: On Recursion in ET0L Systems. J. Comput. Syst. Sci. 19(2): 179-196 (1979)

Andrzej Ehrenfeucht, Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems with Rank. J. Comput. Syst. Sci. 19(3): 237-255 (1979)

Grzegorz Rozenberg, Dirk Vermeir: Extending the Notion of Finite Index. ICALP 1979: 479-488

Grzegorz Rozenberg, Dirk Vermeir: On ET0L Systems of Finite Index. Information and Control 38(1): 103-133 (1978)

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)

Grzegorz Rozenberg, Dirk Vermeir: L Systems of Finite Index (Extended Abstract). ICALP 1977: 430-439

Grzegorz Rozenberg, Dirk Vermeir: Acceptors for Iteration Languages. MFCS 1977: 460-464

Grzegorz Rozenberg, Dirk Vermeir: Context-Free Programmed Grammars and ETOL Systems. MFCS 1976: 482-487