Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dirk Vermeir
@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/bibm/FayruzovJCVC10,
author = {Timur Fayruzov and
Jeroen Janssen and
Chris Cornelis and
Dirk Vermeir and
Martine De Cock},
title = {Extending boolean regulatory network models with answer set programming},
booktitle = {{BIBM} Workshops},
pages = {207--212},
publisher = {{IEEE}},
year = {2010}
}
@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},
pages = {221--254},
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 Ahls{\'{e}}n 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 = {Nagarajan 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 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-11 22:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
