Context-Free Programmed Grammars and ETOL Systems. - Grzegorz Rozenberg; Dirk Vermeir (MFCS, 1976)

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

Acceptors for Iteration Languages. - Grzegorz Rozenberg; Dirk Vermeir (MFCS, 1977)

On ET0L Systems of Finite Index - Grzegorz Rozenberg; Dirk Vermeir (Inf. Control., 1978)

On the Effect of the Finite Index Restriction on Several Families of Grammars - Grzegorz Rozenberg; Dirk Vermeir (Inf. Control., 1978)

Extending the Notion of Finite Index. - Grzegorz Rozenberg; Dirk Vermeir (ICALP, 1979)

Persistent ET0L systems. - Robert Meersman; Grzegorz Rozenberg; Dirk Vermeir (Inf. Sci., 1979)

On ET0L Systems with Rank. - Andrzej Ehrenfeucht; Grzegorz Rozenberg; Dirk Vermeir (J. Comput. Syst. Sci., 1979)

On Recursion in ET0L Systems. - Grzegorz Rozenberg; Dirk Vermeir (J. Comput. Syst. Sci., 1979)

On metalinear ETOL systems. - Grzegorz Rozenberg; Dirk Vermeir (Fundam. Informaticae, 1980)

A note on M-growth functions of FTOL systems with rank. - Grzegorz Rozenberg; Dirk Vermeir (Fundam. Informaticae, 1980)

A hierarchy of ETOL languages with rank. - Grzegorz Rozenberg; Dirk Vermeir (Fundam. Informaticae, 1981)

On the amount of non-determinism in pushdown in pushdown automata. - Dirk Vermeir; Walter J. Savitch (Fundam. Informaticae, 1981)

On ET0L Systems with Finite Tree-Rank. - Andrzej Ehrenfeucht; Grzegorz Rozenberg; Dirk Vermeir (SIAM J. Comput., 1981)

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

On the Generation of Database Schemata. - Nagarajan Prabhakaran; Dirk Vermeir (Aust. Comput. J., 1983)

Semantic hierarchies and abstractions in conceptual schemata. - Dirk Vermeir (Inf. Syst., 1983)

An Overview of OOPS+, An Object-Oriented Database Programming Language. - Els Laenens; Dirk Vermeir (ECOOP, 1988)

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

A Customizable Window-Interface to Object-Oriented Databases. - Els Laenens; François Staes; Dirk Vermeir (ECOOP, 1989)

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

A Logical Basis for Object Oriented Programming. - Els Laenens; Dirk Vermeir (JELIA, 1990)

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

Extending Logic Programming. - Els Laenens; Domenico Saccà; Dirk Vermeir (SIGMOD Conference, 1990)

Advanced knowledge-base environments for large database systems. - Els Laenens; Dirk Vermeir (Knowl. Based Syst., 1990)

A Fixpoint Semantics for Ordered Logic. - Els Laenens; Dirk Vermeir (J. Log. Comput., 1990)

A 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., 1990)

The KIWIS Knowledge Base Management System. - Matts Ahlsén; 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; et al. (CAiSE, 1991)

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

Credulous vs. Sceptical Semantics for Ordered Logic Programs. - Dov M. Gabbay; Els Laenens; Dirk Vermeir (KR, 1991)

Credulous and Autoepistemic Reasoning Using Ordered Logic. - P. Geerts; Dirk Vermeir (LPNMR, 1991)

On the Relationship between Well-Founded and Stable Partial Models. - Els Laenens; Dirk Vermeir (MFDBS, 1991)

Evolution of Knowledge Bases. - Domenico Saccà; Brigitte Verdonk; Dirk Vermeir (EDBT, 1992)

Logic Programming Semantics Made Easy. - Els Laenens; Dirk Vermeir; Carlo Zaniolo (ICALP, 1992)

Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. - Els Laenens; Dirk Vermeir (J. Log. Comput., 1992)

A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. - P. Geerts; Dirk Vermeir (LPNMR, 1993)

Ordered logic: defeasible reasoning for multiple agents. - P. Geerts; Dirk Vermeir; Donald Nute (Decis. Support Syst., 1994)

Default Knowledge in Information Systems. - Terry A. Halpin; Dirk Vermeir (DS-6, 1995)

Specificity by Default. - P. Geerts; Dirk Vermeir (ECSQARU, 1995)

R-Stable Models for Logic Programs. - Hadassa Jakobovits; Dirk Vermeir (Logic in Databases, 1996)

Choice Logic Programs and Nash Equilibria in Strategic Games. - Marina De Vos; Dirk Vermeir (CSL, 1999)

Dialectic semantics for argumentation frameworks. - Hadassa Jakobovits; Dirk Vermeir (ICAIL, 1999)

On the Role of Negation in Choice Logic Programs. - Marina De Vos; Dirk Vermeir (LPNMR, 1999)

Robust Semantics for Argumentation Frameworks. - Hadassa Jakobovits; Dirk Vermeir (J. Log. Comput., 1999)

Dynamically Ordered Probabilistic Choice Logic Programming. - Marina De Vos; Dirk Vermeir (FSTTCS, 2000)

A Logic for Modeling Decision Making with Dynamic Preferences. - Marina De Vos; Dirk Vermeir (JELIA, 2000)

A Universal Fixpoint Semantics for Ordered Logic. - Els Laenens; Dirk Vermeir (Comput. Artif. Intell., 2000)

Multi-paradigm programming using C++. - Dirk Vermeir (Springer, 2001)

Logic Programming Agents and Game Theory. - Marina De Vos; Dirk Vermeir (Answer Set Programming, 2001)

Semantic Forcing in Disjunctive Logic Programs. - Marina De Vos; Dirk Vermeir (Comput. Intell., 2001)

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

A Defeasible Ontology Language. - Stijn Heymans; Dirk Vermeir (OTM, 2002)

Using Preference Order in Ontologies. - Stijn Heymans; Dirk Vermeir (DEXA Workshops, 2002)

Ordered Programs as Abductive Systems. - Davy Van Nieuwenborgh; Dirk Vermeir (APPIA-GULP-PRODE, 2003)

Integrating Semantic Web Reasoning and Answer Set Programming. - Stijn Heymans; Dirk Vermeir (Answer Set Programming, 2003)

Integrating Ontology Languages and Answer Set Programming. - Stijn Heymans; Dirk Vermeir (DEXA Workshops, 2003)

Order and Negation as Failure. - Davy Van Nieuwenborgh; Dirk Vermeir (ICLP, 2003)

Ordered Diagnosis. - Davy Van Nieuwenborgh; Dirk Vermeir (LPAR, 2003)

Integrating Description Logics and Answer Set Programming. - Stijn Heymans; Dirk Vermeir (PPSWR, 2003)

On Programs with Linearly Ordered Multiple Preferences. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (ICLP, 2004)

Hierarchical Decision Making by Autonomous Agents. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (JELIA, 2004)

Weighted Answer Sets and Applications in Intelligence Analysis. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (LPAR, 2004)

Semantic Web Reasoning with Conceptual Logic Programs. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (RuleML, 2004)

Extending Answer Sets for Logic Programming Agents. - Marina De Vos; Dirk Vermeir (Ann. Math. Artif. Intell., 2004)

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

Intelligence Analysis Using Quantitative Preferences. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (Answer Set Programming, 2005)

Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (ESWC, 2005)

Synthesis from Temporal Specifications Using Preferred Answer Set Programming. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (ICTCS, 2005)

Guarded Open Answer Set Programming. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (LPNMR, 2005)

An Ordered Logic Program Solver. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (PADL, 2005)

Preferential Reasoning on a Web of Trust. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (ISWC, 2005)

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

Approximating Extended Answer Sets. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (ECAI, 2006)

Guarded Open Answer Set Programming with Generalized Literals. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (FoIKS, 2006)

Cooperating Answer Set Programming. - Davy Van Nieuwenborgh; Stijn Heymans; Dirk Vermeir (ICLP, 2006)

Fuzzy Answer Set Programming. - Davy Van Nieuwenborgh; Martine De Cock; Dirk Vermeir (JELIA, 2006)

Conceptual logic programs. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (Ann. Math. Artif. Intell., 2006)

Preferred answer sets for ordered logic programs. - Davy Van Nieuwenborgh; Dirk Vermeir (Theory Pract. Log. Program., 2006)

Computing Fuzzy Answer Sets Using dlvhex. - Davy Van Nieuwenborgh; Martine De Cock; Dirk Vermeir (ICLP, 2007)

Conditional Planning with External Functions. - Davy Van Nieuwenborgh; Thomas Eiter; Dirk Vermeir (LPNMR, 2007)

An introduction to fuzzy answer set programming. - Davy Van Nieuwenborgh; Martine De Cock; Dirk Vermeir (Ann. Math. Artif. Intell., 2007)

Open answer set programming for the semantic web. - Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir (J. Appl. Log., 2007)

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. - Jeroen Janssen; Stijn Heymans; Dirk Vermeir; Martine De Cock (ICLP, 2008)

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

Modeling Protein Interaction Networks with Answer Set Programming. - Timur Fayruzov; Martine De Cock; Chris Cornelis; Dirk Vermeir (BIBM, 2009)

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

Answer Sets in a Fuzzy Equilibrium Logic. - Steven Schockaert; Jeroen Janssen; Dirk Vermeir; Martine De Cock (RR, 2009)

Finite Satisfiability in Infinite-Valued Lukasiewicz Logic. - Steven Schockaert; Jeroen Janssen; Dirk Vermeir; Martine De Cock (SUM, 2009)

General Fuzzy Answer Set Programs. - Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock (WILF, 2009)

Extending boolean regulatory network models with answer set programming. - Timur Fayruzov; Jeroen Janssen; Chris Cornelis; Dirk Vermeir; Martine De Cock (BIBM Workshops, 2010)

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

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

Possibilistic Answer Set Programming Revisited. - Kim Bauters; Steven Schockaert; Martine De Cock; Dirk Vermeir (UAI, 2010)

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

Communicating ASP and the Polynomial Hierarchy. - Kim Bauters; Steven Schockaert; Dirk Vermeir; Martine De Cock (LPNMR, 2011)

Weak and Strong Disjunction in Possibilistic ASP. - Kim Bauters; Steven Schockaert; Martine De Cock; Dirk Vermeir (SUM, 2011)

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

Modelling gene and protein regulatory networks with Answer Set Programming. - Timur Fayruzov; Jeroen Janssen; Dirk Vermeir; Chris Cornelis; Martine De Cock (Int. J. Data Min. Bioinform., 2011)

Answer Set Programming for Continuous Domains - A Fuzzy Logic Approach. - Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock (Atlantis Press, 2012)

Possible and Necessary Answer Sets of Possibilistic Answer Set Programs. - Kim Bauters; Steven Schockaert; Martine De Cock; Dirk Vermeir (ICTAI, 2012)

A core language for fuzzy answer set programming. - Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock (Int. J. Approx. Reason., 2012)

Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction. - Steven Schockaert; Jeroen Janssen; Dirk Vermeir (J. Autom. Reason., 2012)

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

Reducing fuzzy answer set programming to model finding in fuzzy logics. - Jeroen Janssen; Dirk Vermeir; Steven Schockaert; Martine De Cock (Theory Pract. Log. Program., 2012)

Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees. - Marjon Blondeel; Steven Schockaert; Dirk Vermeir; Martine De Cock (IJCAI, 2013)

Expressiveness of communication in answer set programming. - Kim Bauters; Steven Schockaert; Jeroen Janssen; Dirk Vermeir; Martine De Cock (Theory Pract. Log. Program., 2013)

Fuzzy Answer Set Programming: An Introduction. - Marjon Blondeel; Steven Schockaert; Dirk Vermeir; Martine De Cock (Soft Computing: State of the Art Theory and Novel Applications, 2013)

Fuzzy autoepistemic logic and its relation to fuzzy answer set programming. - Marjon Blondeel; Steven Schockaert; Martine De Cock; Dirk Vermeir (Fuzzy Sets Syst., 2014)

Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions. - Kim Bauters; Steven Schockaert; Martine De Cock; Dirk Vermeir (Int. J. Approx. Reason., 2014)

Complexity of fuzzy answer set programming under Łukasiewicz semantics. - Marjon Blondeel; Steven Schockaert; Dirk Vermeir; Martine De Cock (Int. J. Approx. Reason., 2014)

Characterizing and extending answer set semantics using possibility theory. - Kim Bauters; Steven Schockaert; Martine De Cock; Dirk Vermeir (Theory Pract. Log. Program., 2015)