BibTeX records: Dirk Vermeir

download as .bib file

@article{DBLP:journals/tplp/BautersSCV15,
  author    = {Kim Bauters and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Characterizing and extending answer set semantics using possibility
               theory},
  journal   = {Theory Pract. Log. Program.},
  volume    = {15},
  number    = {1},
  pages     = {79--116},
  year      = {2015}
}
@article{DBLP:journals/fss/BlondeelSCV14,
  author    = {Marjon Blondeel and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Fuzzy autoepistemic logic and its relation to fuzzy answer set programming},
  journal   = {Fuzzy Sets Syst.},
  volume    = {239},
  pages     = {51--80},
  year      = {2014}
}
@article{DBLP:journals/ijar/BautersSCV14,
  author    = {Kim Bauters and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Semantics for possibilistic answer set programs: Uncertain rules versus
               rules with uncertain conclusions},
  journal   = {Int. J. Approx. Reason.},
  volume    = {55},
  number    = {2},
  pages     = {739--761},
  year      = {2014}
}
@article{DBLP:journals/ijar/BlondeelSVC14,
  author    = {Marjon Blondeel and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Complexity of fuzzy answer set programming under {\L}ukasiewicz semantics},
  journal   = {Int. J. Approx. Reason.},
  volume    = {55},
  number    = {9},
  pages     = {1971--2003},
  year      = {2014}
}
@article{DBLP:journals/tplp/BautersSJVC13,
  author    = {Kim Bauters and
               Steven Schockaert and
               Jeroen Janssen and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Expressiveness of communication in answer set programming},
  journal   = {Theory Pract. Log. Program.},
  volume    = {13},
  number    = {3},
  pages     = {361--394},
  year      = {2013}
}
@inproceedings{DBLP:conf/ijcai/BlondeelSVC13,
  author    = {Marjon Blondeel and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees},
  booktitle = {{IJCAI}},
  pages     = {3205--3206},
  publisher = {{IJCAI/AAAI}},
  year      = {2013}
}
@incollection{DBLP:series/sfsc/BlondeelSVC13,
  author    = {Marjon Blondeel and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Fuzzy Answer Set Programming: An Introduction},
  booktitle = {Soft Computing: State of the Art Theory and Novel Applications},
  series    = {Studies in Fuzziness and Soft Computing},
  volume    = {291},
  pages     = {209--222},
  publisher = {Springer},
  year      = {2013}
}
@article{DBLP:journals/corr/BautersSCV13,
  author    = {Kim Bauters and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Characterizing and Extending Answer Set Semantics using Possibility
               Theory},
  journal   = {CoRR},
  volume    = {abs/1312.0127},
  year      = {2013}
}
@book{DBLP:books/daglib/0035275,
  author    = {Jeroen Janssen and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Answer Set Programming for Continuous Domains - {A} Fuzzy Logic Approach},
  series    = {Atlantis Computational Intelligence Systems},
  volume    = {5},
  publisher = {Atlantis Press},
  year      = {2012}
}
@article{DBLP:journals/ijar/JanssenSVC12,
  author    = {Jeroen Janssen and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {A core language for fuzzy answer set programming},
  journal   = {Int. J. Approx. Reason.},
  volume    = {53},
  number    = {4},
  pages     = {660--692},
  year      = {2012}
}
@article{DBLP:journals/jar/SchockaertJV12,
  author    = {Steven Schockaert and
               Jeroen Janssen and
               Dirk Vermeir},
  title     = {Satisfiability Checking in {\L}ukasiewicz Logic as Finite Constraint
               Satisfaction},
  journal   = {J. Autom. Reason.},
  volume    = {49},
  number    = {4},
  pages     = {493--550},
  year      = {2012}
}
@article{DBLP:journals/tocl/SchockaertJV12,
  author    = {Steven Schockaert and
               Jeroen Janssen and
               Dirk Vermeir},
  title     = {Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous
               Domains},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {13},
  number    = {4},
  pages     = {33:1--33:39},
  year      = {2012}
}
@article{DBLP:journals/tplp/JanssenVSC12,
  author    = {Jeroen Janssen and
               Dirk Vermeir and
               Steven Schockaert and
               Martine De Cock},
  title     = {Reducing fuzzy answer set programming to model finding in fuzzy logics},
  journal   = {Theory Pract. Log. Program.},
  volume    = {12},
  number    = {6},
  pages     = {811--842},
  year      = {2012}
}
@inproceedings{DBLP:conf/ictai/BautersSCV12,
  author    = {Kim Bauters and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Possible and Necessary Answer Sets of Possibilistic Answer Set Programs},
  booktitle = {{ICTAI}},
  pages     = {836--843},
  publisher = {{IEEE} Computer Society},
  year      = {2012}
}
@article{DBLP:journals/corr/abs-1203-3466,
  author    = {Kim Bauters and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Possibilistic Answer Set Programming Revisited},
  journal   = {CoRR},
  volume    = {abs/1203.3466},
  year      = {2012}
}
@article{DBLP:journals/amai/JanssenSVC11,
  author    = {Jeroen Janssen and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Aggregated Fuzzy Answer Set Programming},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {63},
  number    = {2},
  pages     = {103--147},
  year      = {2011}
}
@article{DBLP:journals/ijdmb/FayruzovJVCC11,
  author    = {Timur Fayruzov and
               Jeroen Janssen and
               Dirk Vermeir and
               Chris Cornelis and
               Martine De Cock},
  title     = {Modelling gene and protein regulatory networks with Answer Set Programming},
  journal   = {Int. J. Data Min. Bioinform.},
  volume    = {5},
  number    = {2},
  pages     = {209--229},
  year      = {2011}
}
@inproceedings{DBLP:conf/ecsqaru/BlondeelSCV11,
  author    = {Marjon Blondeel and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees},
  booktitle = {{ECSQARU}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6717},
  pages     = {616--627},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/lpnmr/BautersSVC11,
  author    = {Kim Bauters and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Communicating {ASP} and the Polynomial Hierarchy},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6645},
  pages     = {67--79},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/sum/BautersSCV11,
  author    = {Kim Bauters and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Weak and Strong Disjunction in Possibilistic {ASP}},
  booktitle = {{SUM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6929},
  pages     = {475--488},
  publisher = {Springer},
  year      = {2011}
}
@article{DBLP:journals/corr/abs-1104-5133,
  author    = {Jeroen Janssen and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics},
  journal   = {CoRR},
  volume    = {abs/1104.5133},
  year      = {2011}
}
@article{DBLP:journals/corr/abs-1109-2434,
  author    = {Kim Bauters and
               Jeroen Janssen and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Expressiveness of Communication in Answer Set Programming},
  journal   = {CoRR},
  volume    = {abs/1109.2434},
  year      = {2011}
}
@inproceedings{DBLP:conf/iclp/BautersJSVC10,
  author    = {Kim Bauters and
               Jeroen Janssen and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Communicating Answer Set Programs},
  booktitle = {{ICLP} (Technical Communications)},
  series    = {LIPIcs},
  volume    = {7},
  pages     = {34--43},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2010}
}
@inproceedings{DBLP:conf/iclp/FayruzovJVCC10,
  author    = {Timur Fayruzov and
               Jeroen Janssen and
               Dirk Vermeir and
               Chris Cornelis and
               Martine De Cock},
  title     = {Efficient Solving of Time-dependent Answer Set Programs},
  booktitle = {{ICLP} (Technical Communications)},
  series    = {LIPIcs},
  volume    = {7},
  pages     = {64--73},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2010}
}
@inproceedings{DBLP:conf/uai/BautersSCV10,
  author    = {Kim Bauters and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Possibilistic Answer Set Programming Revisited},
  booktitle = {{UAI}},
  pages     = {48--55},
  publisher = {{AUAI} Press},
  year      = {2010}
}
@inproceedings{DBLP:conf/bibm/FayruzovCCV09,
  author    = {Timur Fayruzov and
               Martine De Cock and
               Chris Cornelis and
               Dirk Vermeir},
  title     = {Modeling Protein Interaction Networks with Answer Set Programming},
  booktitle = {{BIBM}},
  pages     = {99--104},
  publisher = {{IEEE} Computer Society},
  year      = {2009}
}
@inproceedings{DBLP:conf/eusflat/JanssenSVC09,
  author    = {Jeroen Janssen and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Fuzzy Answer Set Programming with Literal Preferences},
  booktitle = {{IFSA/EUSFLAT} Conf},
  pages     = {1347--1352},
  year      = {2009}
}
@inproceedings{DBLP:conf/rr/SchockaertJVC09,
  author    = {Steven Schockaert and
               Jeroen Janssen and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Answer Sets in a Fuzzy Equilibrium Logic},
  booktitle = {{RR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5837},
  pages     = {135--149},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sum/SchockaertJVC09,
  author    = {Steven Schockaert and
               Jeroen Janssen and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Finite Satisfiability in Infinite-Valued Lukasiewicz Logic},
  booktitle = {{SUM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5785},
  pages     = {240--254},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/wilf/JanssenSVC09,
  author    = {Jeroen Janssen and
               Steven Schockaert and
               Dirk Vermeir and
               Martine De Cock},
  title     = {General Fuzzy Answer Set Programs},
  booktitle = {{WILF}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5571},
  pages     = {352--359},
  publisher = {Springer},
  year      = {2009}
}
@article{DBLP:journals/tocl/HeymansNV08,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Open answer set programming with guarded programs},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {9},
  number    = {4},
  pages     = {26:1--26:53},
  year      = {2008}
}
@inproceedings{DBLP:conf/iclp/JanssenHVC08,
  author    = {Jeroen Janssen and
               Stijn Heymans and
               Dirk Vermeir and
               Martine De Cock},
  title     = {Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories},
  booktitle = {{ICLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  pages     = {362--376},
  publisher = {Springer},
  year      = {2008}
}
@article{DBLP:journals/amai/NieuwenborghCV07,
  author    = {Davy Van Nieuwenborgh and
               Martine De Cock and
               Dirk Vermeir},
  title     = {An introduction to fuzzy answer set programming},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {50},
  number    = {3-4},
  pages     = {363--388},
  year      = {2007}
}
@article{DBLP:journals/japll/HeymansNV07,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Open answer set programming for the semantic web},
  journal   = {J. Appl. Log.},
  volume    = {5},
  number    = {1},
  pages     = {144--169},
  year      = {2007}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghCV07,
  author    = {Davy Van Nieuwenborgh and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Computing Fuzzy Answer Sets Using dlvhex},
  booktitle = {{ICLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4670},
  pages     = {449--450},
  publisher = {Springer},
  year      = {2007}
}
@inproceedings{DBLP:conf/lpnmr/NieuwenborghEV07,
  author    = {Davy Van Nieuwenborgh and
               Thomas Eiter and
               Dirk Vermeir},
  title     = {Conditional Planning with External Functions},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4483},
  pages     = {214--227},
  publisher = {Springer},
  year      = {2007}
}
@article{DBLP:journals/amai/HeymansNV06,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Conceptual logic programs},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {47},
  number    = {1-2},
  pages     = {103--137},
  year      = {2006}
}
@article{DBLP:journals/tplp/NieuwenborghV06,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Preferred answer sets for ordered logic programs},
  journal   = {Theory Pract. Log. Program.},
  volume    = {6},
  number    = {1-2},
  pages     = {107--167},
  year      = {2006}
}
@inproceedings{DBLP:conf/clima/NieuwenborghVHV06,
  author    = {Davy Van Nieuwenborgh and
               Marina De Vos and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {Hierarchical Decision Making in Multi-agent Systems Using Answer Set
               Programming},
  booktitle = {{CLIMA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4371},
  pages     = {20--40},
  publisher = {Springer},
  year      = {2006}
}
@inproceedings{DBLP:conf/ecai/NieuwenborghHV06,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {Approximating Extended Answer Sets},
  booktitle = {{ECAI}},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {141},
  pages     = {462--466},
  publisher = {{IOS} Press},
  year      = {2006}
}
@inproceedings{DBLP:conf/foiks/HeymansNV06,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Guarded Open Answer Set Programming with Generalized Literals},
  booktitle = {FoIKS},
  series    = {Lecture Notes in Computer Science},
  volume    = {3861},
  pages     = {179--200},
  publisher = {Springer},
  year      = {2006}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghHV06,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {Cooperating Answer Set Programming},
  booktitle = {{ICLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4079},
  pages     = {226--241},
  publisher = {Springer},
  year      = {2006}
}
@inproceedings{DBLP:conf/jelia/NieuwenborghCV06,
  author    = {Davy Van Nieuwenborgh and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Fuzzy Answer Set Programming},
  booktitle = {{JELIA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4160},
  pages     = {359--372},
  publisher = {Springer},
  year      = {2006}
}
@article{DBLP:journals/corr/abs-cs-0603025,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Open Answer Set Programming with Guarded Programs},
  journal   = {CoRR},
  volume    = {abs/cs/0603025},
  year      = {2006}
}
@inproceedings{DBLP:conf/asp/HeymansNV05,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Extending Conceptual Logic Programs with Arbitrary Rules},
  booktitle = {Answer Set Programming},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {142},
  publisher = {CEUR-WS.org},
  year      = {2005}
}
@inproceedings{DBLP:conf/asp/NieuwenborghHV05,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {Intelligence Analysis Using Quantitative Preferences},
  booktitle = {Answer Set Programming},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {142},
  publisher = {CEUR-WS.org},
  year      = {2005}
}
@inproceedings{DBLP:conf/esws/HeymansNV05,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual
               Logic Programs},
  booktitle = {{ESWC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3532},
  pages     = {392--407},
  publisher = {Springer},
  year      = {2005}
}
@inproceedings{DBLP:conf/ictcs/HeymansNV05,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Synthesis from Temporal Specifications Using Preferred Answer Set
               Programming},
  booktitle = {{ICTCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3701},
  pages     = {280--294},
  publisher = {Springer},
  year      = {2005}
}
@inproceedings{DBLP:conf/lpnmr/HeymansNV05,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Guarded Open Answer Set Programming},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3662},
  pages     = {92--104},
  publisher = {Springer},
  year      = {2005}
}
@inproceedings{DBLP:conf/padl/NieuwenborghHV05,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {An Ordered Logic Program Solver},
  booktitle = {{PADL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3350},
  pages     = {128--142},
  publisher = {Springer},
  year      = {2005}
}
@inproceedings{DBLP:conf/semweb/HeymansNV05,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Preferential Reasoning on a Web of Trust},
  booktitle = {{ISWC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3729},
  pages     = {368--382},
  publisher = {Springer},
  year      = {2005}
}
@article{DBLP:journals/amai/VosV04,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {Extending Answer Sets for Logic Programming Agents},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {42},
  number    = {1-3},
  pages     = {103--139},
  year      = {2004}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghHV04,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {On Programs with Linearly Ordered Multiple Preferences},
  booktitle = {{ICLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3132},
  pages     = {180--194},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/jelia/HeymansNV04,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Hierarchical Decision Making by Autonomous Agents},
  booktitle = {{JELIA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3229},
  pages     = {44--56},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/lpar/NieuwenborghHV04,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {Weighted Answer Sets and Applications in Intelligence Analysis},
  booktitle = {{LPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3452},
  pages     = {169--183},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/ruleml/HeymansNV04,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Semantic Web Reasoning with Conceptual Logic Programs},
  booktitle = {RuleML},
  series    = {Lecture Notes in Computer Science},
  volume    = {3323},
  pages     = {113--127},
  publisher = {Springer},
  year      = {2004}
}
@article{DBLP:journals/corr/cs-LO-0407049,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Preferred Answer Sets for Ordered Logic Programs},
  journal   = {CoRR},
  volume    = {cs.LO/0407049},
  year      = {2004}
}
@inproceedings{DBLP:conf/agp/NieuwenborghV03,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Ordered Programs as Abductive Systems},
  booktitle = {{APPIA-GULP-PRODE}},
  pages     = {374--385},
  year      = {2003}
}
@inproceedings{DBLP:conf/asp/HeymansV03,
  author    = {Stijn Heymans and
               Dirk Vermeir},
  title     = {Integrating Semantic Web Reasoning and Answer Set Programming},
  booktitle = {Answer Set Programming},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {78},
  publisher = {CEUR-WS.org},
  year      = {2003}
}
@inproceedings{DBLP:conf/dexaw/HeymansV03,
  author    = {Stijn Heymans and
               Dirk Vermeir},
  title     = {Integrating Ontology Languages and Answer Set Programming},
  booktitle = {{DEXA} Workshops},
  pages     = {584--588},
  publisher = {{IEEE} Computer Society},
  year      = {2003}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghV03,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Order and Negation as Failure},
  booktitle = {{ICLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2916},
  pages     = {194--208},
  publisher = {Springer},
  year      = {2003}
}
@inproceedings{DBLP:conf/lpar/NieuwenborghV03,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Ordered Diagnosis},
  booktitle = {{LPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2850},
  pages     = {244--258},
  publisher = {Springer},
  year      = {2003}
}
@inproceedings{DBLP:conf/ppswr/HeymansV03,
  author    = {Stijn Heymans and
               Dirk Vermeir},
  title     = {Integrating Description Logics and Answer Set Programming},
  booktitle = {{PPSWR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2901},
  pages     = {146--159},
  publisher = {Springer},
  year      = {2003}
}
@inproceedings{DBLP:conf/ausai/VosV02,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {Dynamic Decision-Making in Logic Programming and Game Theory},
  booktitle = {Australian Joint Conference on Artificial Intelligence},
  series    = {Lecture Notes in Computer Science},
  volume    = {2557},
  pages     = {36--47},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/coopis/HeymansV02,
  author    = {Stijn Heymans and
               Dirk Vermeir},
  title     = {A Defeasible Ontology Language},
  booktitle = {{OTM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2519},
  pages     = {1033--1046},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/dexaw/HeymansV02,
  author    = {Stijn Heymans and
               Dirk Vermeir},
  title     = {Using Preference Order in Ontologies},
  booktitle = {{DEXA} Workshops},
  pages     = {85--92},
  publisher = {{IEEE} Computer Society},
  year      = {2002}
}
@inproceedings{DBLP:conf/jelia/NieuwenborghV02,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Preferred Answer Sets for Ordered Logic Programs},
  booktitle = {{JELIA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2424},
  pages     = {432--443},
  publisher = {Springer},
  year      = {2002}
}
@book{DBLP:books/daglib/0007530,
  author    = {Dirk Vermeir},
  title     = {Multi-paradigm programming using {C++}},
  publisher = {Springer},
  year      = {2001}
}
@article{DBLP:journals/ci/VosV01,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {Semantic Forcing in Disjunctive Logic Programs},
  journal   = {Comput. Intell.},
  volume    = {17},
  number    = {3},
  pages     = {651--684},
  year      = {2001}
}
@inproceedings{DBLP:conf/asp/VosV01,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {Logic Programming Agents and Game Theory},
  booktitle = {Answer Set Programming},
  year      = {2001}
}
@article{DBLP:journals/cai/LaenensV00,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {A Universal Fixpoint Semantics for Ordered Logic},
  journal   = {Comput. Artif. Intell.},
  volume    = {19},
  number    = {3},
  year      = {2000}
}
@inproceedings{DBLP:conf/fsttcs/VosV00,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {Dynamically Ordered Probabilistic Choice Logic Programming},
  booktitle = {{FSTTCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1974},
  pages     = {227--239},
  publisher = {Springer},
  year      = {2000}
}
@inproceedings{DBLP:conf/jelia/VosV00,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {A Logic for Modeling Decision Making with Dynamic Preferences},
  booktitle = {{JELIA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1919},
  pages     = {391--406},
  publisher = {Springer},
  year      = {2000}
}
@article{DBLP:journals/logcom/JakobovitsV99,
  author    = {Hadassa Jakobovits and
               Dirk Vermeir},
  title     = {Robust Semantics for Argumentation Frameworks},
  journal   = {J. Log. Comput.},
  volume    = {9},
  number    = {2},
  pages     = {215--261},
  year      = {1999}
}
@inproceedings{DBLP:conf/csl/VosV99,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {Choice Logic Programs and Nash Equilibria in Strategic Games},
  booktitle = {{CSL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1683},
  pages     = {266--276},
  publisher = {Springer},
  year      = {1999}
}
@inproceedings{DBLP:conf/icail/JakobovitsV99,
  author    = {Hadassa Jakobovits and
               Dirk Vermeir},
  title     = {Dialectic semantics for argumentation frameworks},
  booktitle = {{ICAIL}},
  pages     = {53--62},
  publisher = {{ACM}},
  year      = {1999}
}
@inproceedings{DBLP:conf/lpnmr/VosV99,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {On the Role of Negation in Choice Logic Programs},
  booktitle = {{LPNMR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1730},
  pages     = {236--246},
  publisher = {Springer},
  year      = {1999}
}
@inproceedings{DBLP:conf/lid/JakobovitsV96,
  author    = {Hadassa Jakobovits and
               Dirk Vermeir},
  title     = {R-Stable Models for Logic Programs},
  booktitle = {Logic in Databases},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  pages     = {233--243},
  publisher = {Springer},
  year      = {1996}
}
@inproceedings{DBLP:conf/ds/HalpinV95,
  author    = {Terry A. Halpin and
               Dirk Vermeir},
  title     = {Default Knowledge in Information Systems},
  booktitle = {{DS-6}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {74},
  pages     = {423--442},
  publisher = {Chapman {\&} Hall},
  year      = {1995}
}
@inproceedings{DBLP:conf/ecsqaru/GeertsV95,
  author    = {P. Geerts and
               Dirk Vermeir},
  title     = {Specificity by Default},
  booktitle = {{ECSQARU}},
  series    = {Lecture Notes in Computer Science},
  volume    = {946},
  pages     = {207--216},
  publisher = {Springer},
  year      = {1995}
}
@article{DBLP:journals/dss/GeertsVN94,
  author    = {P. Geerts and
               Dirk Vermeir and
               Donald Nute},
  title     = {Ordered logic: defeasible reasoning for multiple agents},
  journal   = {Decis. Support Syst.},
  volume    = {11},
  number    = {2},
  pages     = {157--190},
  year      = {1994}
}
@inproceedings{DBLP:conf/lpnmr/GeertsV93,
  author    = {P. Geerts and
               Dirk Vermeir},
  title     = {A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information},
  booktitle = {{LPNMR}},
  pages     = {380--396},
  publisher = {{MIT} Press},
  year      = {1993}
}
@article{DBLP:journals/logcom/LaenensV92,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {Assumption-Free Semantics for Ordered Logic Programs: On the Relationship
               between Well-Founded and Stable Partial Models},
  journal   = {J. Log. Comput.},
  volume    = {2},
  number    = {2},
  pages     = {133--172},
  year      = {1992}
}
@inproceedings{DBLP:conf/edbt/SaccaVV92,
  author    = {Domenico Sacc{\`{a}} and
               Brigitte Verdonk and
               Dirk Vermeir},
  title     = {Evolution of Knowledge Bases},
  booktitle = {{EDBT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {580},
  pages     = {230--244},
  publisher = {Springer},
  year      = {1992}
}
@inproceedings{DBLP:conf/icalp/LaenensVZ92,
  author    = {Els Laenens and
               Dirk Vermeir and
               Carlo Zaniolo},
  title     = {Logic Programming Semantics Made Easy},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {623},
  pages     = {499--508},
  publisher = {Springer},
  year      = {1992}
}
@inproceedings{DBLP:conf/caise/AhlsenDJLLRRSTBCSVVV91,
  author    = {Matts Ahlsen and
               Alessandro D'Atri and
               Paul Johannesson and
               Els Laenens and
               Nicola Leone and
               Pasquale Rullo and
               P. Rossi and
               Fran{\c{c}}ois Staes and
               Laura Tarantino and
               L. Van Beirendonck and
               L. Van Cadsand and
               W. Van Santvliet and
               J. Vanslembrouck and
               Brigitte Verdonk and
               Dirk Vermeir},
  title     = {The {KIWIS} Knowledge Base Management System},
  booktitle = {CAiSE},
  series    = {Lecture Notes in Computer Science},
  volume    = {498},
  pages     = {79--97},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/dexa/StaesTVV91,
  author    = {Fran{\c{c}}ois Staes and
               Laura Tarantino and
               Brigitte Verdonk and
               Dirk Vermeir},
  title     = {Supporting User Interactions with OODB's: {A} Declarative Approach},
  booktitle = {{DEXA}},
  pages     = {210--215},
  publisher = {Springer-Verlag, Wien},
  year      = {1991}
}
@inproceedings{DBLP:conf/kr/GabbayLV91,
  author    = {Dov M. Gabbay and
               Els Laenens and
               Dirk Vermeir},
  title     = {Credulous vs. Sceptical Semantics for Ordered Logic Programs},
  booktitle = {{KR}},
  pages     = {208--217},
  publisher = {Morgan Kaufmann},
  year      = {1991}
}
@inproceedings{DBLP:conf/lpnmr/GeertsV91,
  author    = {P. Geerts and
               Dirk Vermeir},
  title     = {Credulous and Autoepistemic Reasoning Using Ordered Logic},
  booktitle = {{LPNMR}},
  pages     = {21--36},
  publisher = {The {MIT} Press},
  year      = {1991}
}
@inproceedings{DBLP:conf/mfdbs/LaenensV91,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {On the Relationship between Well-Founded and Stable Partial Models},
  booktitle = {{MFDBS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {495},
  pages     = {59--73},
  publisher = {Springer},
  year      = {1991}
}
@article{DBLP:journals/kbs/LaenensV90,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {Advanced knowledge-base environments for large database systems},
  journal   = {Knowl. Based Syst.},
  volume    = {3},
  number    = {4},
  pages     = {215--220},
  year      = {1990}
}
@article{DBLP:journals/logcom/LaenensV90,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {A Fixpoint Semantics for Ordered Logic},
  journal   = {J. Log. Comput.},
  volume    = {1},
  number    = {2},
  pages     = {159--185},
  year      = {1990}
}
@article{DBLP:journals/vlc/StaesLVT90,
  author    = {Fran{\c{c}}ois Staes and
               Els Laenens and
               Dirk Vermeir and
               Laura Tarantino},
  title     = {A seamless integration of graphics and dialogues within a logic based
               object-oriented language},
  journal   = {J. Vis. Lang. Comput.},
  volume    = {1},
  number    = {4},
  pages     = {313--332},
  year      = {1990}
}
@inproceedings{DBLP:conf/jelia/LaenensV90,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {A Logical Basis for Object Oriented Programming},
  booktitle = {{JELIA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {478},
  pages     = {317--332},
  publisher = {Springer},
  year      = {1990}
}
@inproceedings{DBLP:conf/lpnmr/LaenensVV90,
  author    = {Els Laenens and
               Brigitte Verdonk and
               Dirk Vermeir},
  title     = {The {LOCO} Language: Towards an Integration of Logic and Object-Oriented
               Programming},
  booktitle = {{LPNMR}},
  pages     = {62--72},
  year      = {1990}
}
@inproceedings{DBLP:conf/sigmod/LaenensSV90,
  author    = {Els Laenens and
               Domenico Sacc{\`{a}} and
               Dirk Vermeir},
  title     = {Extending Logic Programming},
  booktitle = {{SIGMOD} Conference},
  pages     = {184--193},
  publisher = {{ACM} Press},
  year      = {1990}
}
@article{DBLP:journals/cj/LaenensSV89,
  author    = {Els Laenens and
               Fran{\c{c}}ois Staes and
               Dirk Vermeir},
  title     = {Browsing {\`{a}} la Carte in Object-Oriented Databases},
  journal   = {Comput. J.},
  volume    = {32},
  number    = {4},
  pages     = {333--340},
  year      = {1989}
}
@inproceedings{DBLP:conf/caise/LaenensSSV89,
  author    = {Els Laenens and
               John Snijders and
               Fran{\c{c}}ois Staes and
               Dirk Vermeir},
  title     = {A Case Study in Object-Oriented Knowledge-Base Design Using the {KIWI}
               System},
  booktitle = {CA(i)SE},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {961},
  publisher = {CEUR-WS.org},
  year      = {1989}
}
@inproceedings{DBLP:conf/ecoop/LaenensSV89,
  author    = {Els Laenens and
               Fran{\c{c}}ois Staes and
               Dirk Vermeir},
  title     = {A Customizable Window-Interface to Object-Oriented Databases},
  booktitle = {{ECOOP}},
  pages     = {367--381},
  publisher = {Cambridge University Press},
  year      = {1989}
}
@inproceedings{DBLP:conf/ecoop/LaenensV88,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {An Overview of OOPS+, An Object-Oriented Database Programming Language},
  booktitle = {{ECOOP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {322},
  pages     = {350--373},
  publisher = {Springer},
  year      = {1988}
}
@article{DBLP:journals/acj/PrabhakaranV83,
  author    = {N. Prabhakaran and
               Dirk Vermeir},
  title     = {On the Generation of Database Schemata},
  journal   = {Aust. Comput. J.},
  volume    = {15},
  number    = {3},
  pages     = {91--102},
  year      = {1983}
}
@article{DBLP:journals/is/Vermeir83,
  author    = {Dirk Vermeir},
  title     = {Semantic hierarchies and abstractions in conceptual schemata},
  journal   = {Inf. Syst.},
  volume    = {8},
  number    = {2},
  pages     = {117--124},
  year      = {1983}
}
@article{DBLP:journals/is/VermeirN82,
  author    = {Dirk Vermeir and
               G. M. Nijssen},
  title     = {A procedure to define the object type structure of a conceptual schema},
  journal   = {Inf. Syst.},
  volume    = {7},
  number    = {4},
  pages     = {329--336},
  year      = {1982}
}
@article{DBLP:journals/fuin/RozenbergV81,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {A hierarchy of {ETOL} languages with rank},
  journal   = {Fundam. Informaticae},
  volume    = {4},
  number    = {1},
  pages     = {197},
  year      = {1981}
}
@article{DBLP:journals/fuin/VermeirS81,
  author    = {Dirk Vermeir and
               Walter J. Savitch},
  title     = {On the amount of non-determinism in pushdown in pushdown automata},
  journal   = {Fundam. Informaticae},
  volume    = {4},
  number    = {2},
  pages     = {401--418},
  year      = {1981}
}
@article{DBLP:journals/siamcomp/EhrenfeuchtRV81,
  author    = {Andrzej Ehrenfeucht and
               Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {On {ET0L} Systems with Finite Tree-Rank},
  journal   = {{SIAM} J. Comput.},
  volume    = {10},
  number    = {1},
  pages     = {40--58},
  year      = {1981}
}
@article{DBLP:journals/fuin/RozenbergV80,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {On metalinear {ETOL} systems},
  journal   = {Fundam. Informaticae},
  volume    = {3},
  number    = {1},
  pages     = {15--36},
  year      = {1980}
}
@article{DBLP:journals/fuin/RozenbergV80a,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {A note on M-growth functions of {FTOL} systems with rank},
  journal   = {Fundam. Informaticae},
  volume    = {3},
  number    = {3},
  pages     = {295--302},
  year      = {1980}
}
@article{DBLP:journals/isci/MeersmanRV79,
  author    = {Robert Meersman and
               Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {Persistent {ET0L} systems},
  journal   = {Inf. Sci.},
  volume    = {18},
  number    = {3},
  pages     = {189--212},
  year      = {1979}
}
@article{DBLP:journals/jcss/RozenbergV79,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {On Recursion in {ET0L} Systems},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {19},
  number    = {2},
  pages     = {179--196},
  year      = {1979}
}
@article{DBLP:journals/jcss/EhrenfeuchtRV79,
  author    = {Andrzej Ehrenfeucht and
               Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {On {ET0L} Systems with Rank},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {19},
  number    = {3},
  pages     = {237--255},
  year      = {1979}
}
@inproceedings{DBLP:conf/icalp/RozenbergV79,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {Extending the Notion of Finite Index},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {71},
  pages     = {479--488},
  publisher = {Springer},
  year      = {1979}
}
@article{DBLP:journals/iandc/RozenbergV78a,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {On {ET0L} Systems of Finite Index},
  journal   = {Inf. Control.},
  volume    = {38},
  number    = {1},
  pages     = {103--133},
  year      = {1978}
}
@article{DBLP:journals/iandc/RozenbergV78b,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {On the Effect of the Finite Index Restriction on Several Families
               of Grammars},
  journal   = {Inf. Control.},
  volume    = {39},
  number    = {3},
  pages     = {284--302},
  year      = {1978}
}
@inproceedings{DBLP:conf/icalp/RozenbergV77,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {L Systems of Finite Index (Extended Abstract)},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {52},
  pages     = {430--439},
  publisher = {Springer},
  year      = {1977}
}
@inproceedings{DBLP:conf/mfcs/RozenbergV77,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {Acceptors for Iteration Languages},
  booktitle = {{MFCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {53},
  pages     = {460--464},
  publisher = {Springer},
  year      = {1977}
}
@inproceedings{DBLP:conf/mfcs/RozenbergV76,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {Context-Free Programmed Grammars and {ETOL} Systems},
  booktitle = {{MFCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {45},
  pages     = {482--487},
  publisher = {Springer},
  year      = {1976}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics