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},
url = {https://doi.org/10.1017/S147106841300063X},
doi = {10.1017/S147106841300063X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BautersSCV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.fss.2012.09.012},
doi = {10.1016/J.FSS.2012.09.012},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/BlondeelSCV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.ijar.2013.09.006},
doi = {10.1016/J.IJAR.2013.09.006},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/BautersSCV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.ijar.2013.10.011},
doi = {10.1016/J.IJAR.2013.10.011},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/BlondeelSVC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1017/S1471068411000561},
doi = {10.1017/S1471068411000561},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BautersSJVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BlondeelSVC13,
author = {Marjon Blondeel and
Steven Schockaert and
Dirk Vermeir and
Martine De Cock},
editor = {Francesca Rossi},
title = {Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {3205--3206},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6867},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BlondeelSVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sfsc/BlondeelSVC13,
author = {Marjon Blondeel and
Steven Schockaert and
Dirk Vermeir and
Martine De Cock},
editor = {Ronald R. Yager and
Ali M. Abbasov and
Marek Z. Reformat and
Shahnaz N. Shahbazova},
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},
url = {https://doi.org/10.1007/978-3-642-34922-5\_15},
doi = {10.1007/978-3-642-34922-5\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sfsc/BlondeelSVC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1312.0127},
eprinttype = {arXiv},
eprint = {1312.0127},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BautersSCV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.2991/978-94-91216-59-6},
doi = {10.2991/978-94-91216-59-6},
isbn = {978-94-91216-58-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.ijar.2012.01.005},
doi = {10.1016/J.IJAR.2012.01.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/JanssenSVC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s10817-011-9227-0},
doi = {10.1007/S10817-011-9227-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/SchockaertJV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1145/2362355.2362361},
doi = {10.1145/2362355.2362361},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SchockaertJV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1017/S1471068411000093},
doi = {10.1017/S1471068411000093},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JanssenVSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {836--843},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.117},
doi = {10.1109/ICTAI.2012.117},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BautersSCV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1203.3466},
eprinttype = {arXiv},
eprint = {1203.3466},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s10472-011-9256-8},
doi = {10.1007/S10472-011-9256-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/JanssenSVC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1504/IJDMB.2011.039178},
doi = {10.1504/IJDMB.2011.039178},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdmb/FayruzovJVCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/BlondeelSCV11,
author = {Marjon Blondeel and
Steven Schockaert and
Martine De Cock and
Dirk Vermeir},
editor = {Weiru Liu},
title = {Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 11th European Conference, {ECSQARU} 2011, Belfast, UK, June 29-July
1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6717},
pages = {616--627},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22152-1\_52},
doi = {10.1007/978-3-642-22152-1\_52},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/BlondeelSCV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BautersSVC11,
author = {Kim Bauters and
Steven Schockaert and
Dirk Vermeir and
Martine De Cock},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Communicating {ASP} and the Polynomial Hierarchy},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {67--79},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_8},
doi = {10.1007/978-3-642-20895-9\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BautersSVC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/BautersSCV11,
author = {Kim Bauters and
Steven Schockaert and
Martine De Cock and
Dirk Vermeir},
editor = {Salem Benferhat and
John Grant},
title = {Weak and Strong Disjunction in Possibilistic {ASP}},
booktitle = {Scalable Uncertainty Management - 5th International Conference, {SUM}
2011, Dayton, OH, USA, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6929},
pages = {475--488},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23963-2\_37},
doi = {10.1007/978-3-642-23963-2\_37},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sum/BautersSCV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1104.5133},
eprinttype = {arXiv},
eprint = {1104.5133},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-5133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1109.2434},
eprinttype = {arXiv},
eprint = {1109.2434},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2434.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {2010 {IEEE} International Conference on Bioinformatics and Biomedicine
Workshops, {BIBMW} 2010, Hong Kong, December 18, 2010},
pages = {207--212},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/BIBMW.2010.5703800},
doi = {10.1109/BIBMW.2010.5703800},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/FayruzovJCVC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BautersJSVC10,
author = {Kim Bauters and
Jeroen Janssen and
Steven Schockaert and
Dirk Vermeir and
Martine De Cock},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Communicating Answer Set Programs},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {34--43},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.34},
doi = {10.4230/LIPICS.ICLP.2010.34},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BautersJSVC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FayruzovJVCC10,
author = {Timur Fayruzov and
Jeroen Janssen and
Dirk Vermeir and
Chris Cornelis and
Martine De Cock},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Efficient Solving of Time-dependent Answer Set Programs},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {64--73},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.64},
doi = {10.4230/LIPICS.ICLP.2010.64},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FayruzovJVCC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/BautersSCV10,
author = {Kim Bauters and
Steven Schockaert and
Martine De Cock and
Dirk Vermeir},
editor = {Peter Gr{\"{u}}nwald and
Peter Spirtes},
title = {Possibilistic Answer Set Programming Revisited},
booktitle = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
pages = {48--55},
publisher = {{AUAI} Press},
year = {2010},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2138\&\#38;proceeding\_id=26},
timestamp = {Wed, 03 Feb 2021 11:09:25 +0100},
biburl = {https://dblp.org/rec/conf/uai/BautersSCV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {2009 {IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2009, Washington, DC, USA, November 1-4, 2009, Proceedings},
pages = {99--104},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/BIBM.2009.9},
doi = {10.1109/BIBM.2009.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/FayruzovCCV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/JanssenSVC09,
author = {Jeroen Janssen and
Steven Schockaert and
Dirk Vermeir and
Martine De Cock},
editor = {Jo{\~{a}}o Paulo Carvalho and
Didier Dubois and
Uzay Kaymak and
Jo{\~{a}}o Miguel da Costa Sousa},
title = {Fuzzy Answer Set Programming with Literal Preferences},
booktitle = {Proceedings of the Joint 2009 International Fuzzy Systems Association
World Congress and 2009 European Society of Fuzzy Logic and Technology
Conference, Lisbon, Portugal, July 20-24, 2009},
pages = {1347--1352},
year = {2009},
url = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT\_2009/pdf/tema\_1347.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/JanssenSVC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/SchockaertJVC09,
author = {Steven Schockaert and
Jeroen Janssen and
Dirk Vermeir and
Martine De Cock},
editor = {Axel Polleres and
Terrance Swift},
title = {Answer Sets in a Fuzzy Equilibrium Logic},
booktitle = {Web Reasoning and Rule Systems, Third International Conference, {RR}
2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5837},
pages = {135--149},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05082-4\_10},
doi = {10.1007/978-3-642-05082-4\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/SchockaertJVC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/SchockaertJVC09,
author = {Steven Schockaert and
Jeroen Janssen and
Dirk Vermeir and
Martine De Cock},
editor = {Llu{\'{\i}}s Godo and
Andrea Pugliese},
title = {Finite Satisfiability in Infinite-Valued Lukasiewicz Logic},
booktitle = {Scalable Uncertainty Management, Third International Conference, {SUM}
2009, Washington, DC, USA, September 28-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5785},
pages = {240--254},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04388-8\_19},
doi = {10.1007/978-3-642-04388-8\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sum/SchockaertJVC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wilf/JanssenSVC09,
author = {Jeroen Janssen and
Steven Schockaert and
Dirk Vermeir and
Martine De Cock},
editor = {Vito Di Ges{\`{u}} and
Sankar K. Pal and
Alfredo Petrosino},
title = {General Fuzzy Answer Set Programs},
booktitle = {Fuzzy Logic and Applications, 8th International Workshop, {WILF} 2009,
Palermo, Italy, June 9-12, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5571},
pages = {352--359},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02282-1\_44},
doi = {10.1007/978-3-642-02282-1\_44},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wilf/JanssenSVC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1145/1380572.1380575},
doi = {10.1145/1380572.1380575},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HeymansNV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JanssenHVC08,
author = {Jeroen Janssen and
Stijn Heymans and
Dirk Vermeir and
Martine De Cock},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {362--376},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_34},
doi = {10.1007/978-3-540-89982-2\_34},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JanssenHVC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s10472-007-9080-3},
doi = {10.1007/S10472-007-9080-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/NieuwenborghCV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.jal.2006.02.001},
doi = {10.1016/J.JAL.2006.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/HeymansNV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghCV07,
author = {Davy Van Nieuwenborgh and
Martine De Cock and
Dirk Vermeir},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Computing Fuzzy Answer Sets Using dlvhex},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {449--450},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_40},
doi = {10.1007/978-3-540-74610-2\_40},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NieuwenborghCV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NieuwenborghEV07,
author = {Davy Van Nieuwenborgh and
Thomas Eiter and
Dirk Vermeir},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Conditional Planning with External Functions},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {214--227},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_19},
doi = {10.1007/978-3-540-72200-7\_19},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/NieuwenborghEV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s10472-006-9030-5},
doi = {10.1007/S10472-006-9030-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/HeymansNV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1017/S1471068404002315},
doi = {10.1017/S1471068404002315},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/NieuwenborghV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/NieuwenborghVHV06,
author = {Davy Van Nieuwenborgh and
Marina De Vos and
Stijn Heymans and
Dirk Vermeir},
editor = {Katsumi Inoue and
Ken Satoh and
Francesca Toni},
title = {Hierarchical Decision Making in Multi-agent Systems Using Answer Set
Programming},
booktitle = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
{CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4371},
pages = {20--40},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69619-3\_2},
doi = {10.1007/978-3-540-69619-3\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/NieuwenborghVHV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NieuwenborghHV06,
author = {Davy Van Nieuwenborgh and
Stijn Heymans and
Dirk Vermeir},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Approximating Extended Answer Sets},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {462--466},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/NieuwenborghHV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/HeymansNV06,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {J{\"{u}}rgen Dix and
Stephen J. Hegner},
title = {Guarded Open Answer Set Programming with Generalized Literals},
booktitle = {Foundations of Information and Knowledge Systems, 4th International
Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3861},
pages = {179--200},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11663881\_11},
doi = {10.1007/11663881\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/HeymansNV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghHV06,
author = {Davy Van Nieuwenborgh and
Stijn Heymans and
Dirk Vermeir},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Cooperating Answer Set Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {226--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_18},
doi = {10.1007/11799573\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NieuwenborghHV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/NieuwenborghCV06,
author = {Davy Van Nieuwenborgh and
Martine De Cock and
Dirk Vermeir},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {Fuzzy Answer Set Programming},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {359--372},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_30},
doi = {10.1007/11853886\_30},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/NieuwenborghCV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/cs/0603025},
eprinttype = {arXiv},
eprint = {cs/0603025},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0603025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/HeymansNV05,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Extending Conceptual Logic Programs with Arbitrary Rules},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {142},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-142/page27.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/HeymansNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/NieuwenborghHV05,
author = {Davy Van Nieuwenborgh and
Stijn Heymans and
Dirk Vermeir},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Intelligence Analysis Using Quantitative Preferences},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {142},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-142/page233.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/NieuwenborghHV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/HeymansNV05,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
J{\'{e}}r{\^{o}}me Euzenat},
title = {Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual
Logic Programs},
booktitle = {The Semantic Web: Research and Applications, Second European Semantic
Web Conference, {ESWC} 2005, Heraklion, Crete, Greece, May 29 - June
1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3532},
pages = {392--407},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11431053\_27},
doi = {10.1007/11431053\_27},
timestamp = {Mon, 28 Aug 2023 21:17:38 +0200},
biburl = {https://dblp.org/rec/conf/esws/HeymansNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/HeymansNV05,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {Synthesis from Temporal Specifications Using Preferred Answer Set
Programming},
booktitle = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
pages = {280--294},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586\_23},
doi = {10.1007/11560586\_23},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/HeymansNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HeymansNV05,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Guarded Open Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {92--104},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_8},
doi = {10.1007/11546207\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HeymansNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NieuwenborghHV05,
author = {Davy Van Nieuwenborgh and
Stijn Heymans and
Dirk Vermeir},
editor = {Manuel V. Hermenegildo and
Daniel Cabeza},
title = {An Ordered Logic Program Solver},
booktitle = {Practical Aspects of Declarative Languages, 7th International Symposium,
{PADL} 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3350},
pages = {128--142},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30557-6\_11},
doi = {10.1007/978-3-540-30557-6\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/NieuwenborghHV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HeymansNV05,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Yolanda Gil and
Enrico Motta and
V. Richard Benjamins and
Mark A. Musen},
title = {Preferential Reasoning on a Web of Trust},
booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
{ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3729},
pages = {368--382},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11574620\_28},
doi = {10.1007/11574620\_28},
timestamp = {Tue, 07 Sep 2021 13:47:46 +0200},
biburl = {https://dblp.org/rec/conf/semweb/HeymansNV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1023/B:AMAI.0000034524.89865.d2},
doi = {10.1023/B:AMAI.0000034524.89865.D2},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/VosV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghHV04,
author = {Davy Van Nieuwenborgh and
Stijn Heymans and
Dirk Vermeir},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {On Programs with Linearly Ordered Multiple Preferences},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {180--194},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_13},
doi = {10.1007/978-3-540-27775-0\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NieuwenborghHV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HeymansNV04,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Hierarchical Decision Making by Autonomous Agents},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {44--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_7},
doi = {10.1007/978-3-540-30227-8\_7},
timestamp = {Tue, 07 May 2024 20:11:09 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HeymansNV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NieuwenborghHV04,
author = {Davy Van Nieuwenborgh and
Stijn Heymans and
Dirk Vermeir},
editor = {Franz Baader and
Andrei Voronkov},
title = {Weighted Answer Sets and Applications in Intelligence Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {169--183},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_12},
doi = {10.1007/978-3-540-32275-7\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NieuwenborghHV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HeymansNV04,
author = {Stijn Heymans and
Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Grigoris Antoniou and
Harold Boley},
title = {Semantic Web Reasoning with Conceptual Logic Programs},
booktitle = {Rules and Rule Markup Languages for the Semantic Web: Third International
Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3323},
pages = {113--127},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30504-0\_9},
doi = {10.1007/978-3-540-30504-0\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/HeymansNV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/cs.LO/0407049},
doi = {10.48550/ARXIV.CS/0407049},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0407049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/NieuwenborghV03,
author = {Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Francesco Buccafurri},
title = {Ordered Programs as Abductive Systems},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {374--385},
year = {2003},
timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
biburl = {https://dblp.org/rec/conf/agp/NieuwenborghV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/HeymansV03,
author = {Stijn Heymans and
Dirk Vermeir},
editor = {Marina De Vos and
Alessandro Provetti},
title = {Integrating Semantic Web Reasoning and Answer Set Programming},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-heymans.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/HeymansV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/HeymansV03,
author = {Stijn Heymans and
Dirk Vermeir},
title = {Integrating Ontology Languages and Answer Set Programming},
booktitle = {14th International Workshop on Database and Expert Systems Applications
(DEXA'03), September 1-5, 2003, Prague, Czech Republic},
pages = {584--588},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DEXA.2003.1232085},
doi = {10.1109/DEXA.2003.1232085},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/HeymansV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghV03,
author = {Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Catuscia Palamidessi},
title = {Order and Negation as Failure},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {194--208},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_14},
doi = {10.1007/978-3-540-24599-5\_14},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NieuwenborghV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NieuwenborghV03,
author = {Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Ordered Diagnosis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {244--258},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_17},
doi = {10.1007/978-3-540-39813-4\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NieuwenborghV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/HeymansV03,
author = {Stijn Heymans and
Dirk Vermeir},
editor = {Fran{\c{c}}ois Bry and
Nicola Henze and
Jan Maluszynski},
title = {Integrating Description Logics and Answer Set Programming},
booktitle = {Principles and Practice of Semantic Web Reasoning, International Workshop,
{PPSWR} 2003, Mumbai, India, December 8, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2901},
pages = {146--159},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24572-8\_10},
doi = {10.1007/978-3-540-24572-8\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/HeymansV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/VosV02,
author = {Marina De Vos and
Dirk Vermeir},
editor = {Bob McKay and
John K. Slaney},
title = {Dynamic Decision-Making in Logic Programming and Game Theory},
booktitle = {{AI} 2002: Advances in Artificial Intelligence, 15th Australian Joint
Conference on Artificial Intelligence, Canberra, Australia, December
2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2557},
pages = {36--47},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36187-1\_4},
doi = {10.1007/3-540-36187-1\_4},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/VosV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/HeymansV02,
author = {Stijn Heymans and
Dirk Vermeir},
editor = {Robert Meersman and
Zahir Tari},
title = {A Defeasible Ontology Language},
booktitle = {On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE
2002 Confederated International Conferences DOA, CoopIS and {ODBASE}
2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2519},
pages = {1033--1046},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36124-3\_66},
doi = {10.1007/3-540-36124-3\_66},
timestamp = {Thu, 14 Oct 2021 10:25:23 +0200},
biburl = {https://dblp.org/rec/conf/coopis/HeymansV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/HeymansV02,
author = {Stijn Heymans and
Dirk Vermeir},
title = {Using Preference Order in Ontologies},
booktitle = {13th International Workshop on Database and Expert Systems Applications
{(DEXA} 2002), 2-6 September 2002, Aix-en-Provence, France},
pages = {85--92},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DEXA.2002.1045881},
doi = {10.1109/DEXA.2002.1045881},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/HeymansV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/NieuwenborghV02,
author = {Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Preferred Answer Sets for Ordered Logic Programs},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {432--443},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_36},
doi = {10.1007/3-540-45757-7\_36},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/NieuwenborghV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0007530,
author = {Dirk Vermeir},
title = {Multi-paradigm programming using {C++}},
publisher = {Springer},
year = {2001},
url = {http://www.springer.com/computer/swe/book/978-1-85233-483-3},
isbn = {978-1-85233-483-3},
timestamp = {Fri, 15 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0007530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1111/0824-7935.00168},
doi = {10.1111/0824-7935.00168},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/VosV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/VosV01,
author = {Marina De Vos and
Dirk Vermeir},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Logic Programming Agents and Game Theory},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/8.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/VosV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/561},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/LaenensV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/VosV00,
author = {Marina De Vos and
Dirk Vermeir},
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Dynamically Ordered Probabilistic Choice Logic Programming},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
pages = {227--239},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5\_18},
doi = {10.1007/3-540-44450-5\_18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/VosV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/VosV00,
author = {Marina De Vos and
Dirk Vermeir},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {A Logic for Modeling Decision Making with Dynamic Preferences},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {391--406},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_27},
doi = {10.1007/3-540-40006-0\_27},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/VosV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1093/logcom/9.2.215},
doi = {10.1093/LOGCOM/9.2.215},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/JakobovitsV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/VosV99,
author = {Marina De Vos and
Dirk Vermeir},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Choice Logic Programs and Nash Equilibria in Strategic Games},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {266--276},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_19},
doi = {10.1007/3-540-48168-0\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/VosV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/JakobovitsV99,
author = {Hadassa Jakobovits and
Dirk Vermeir},
editor = {Jon Bing and
Andrew J. I. Jones and
Thomas F. Gordon},
title = {Dialectic semantics for argumentation frameworks},
booktitle = {Proceedings of the Seventh International Conference on Artificial
Intelligence and Law, {ICAIL} '99, Oslo, Norway, June 14-17, 1999},
pages = {53--62},
publisher = {{ACM}},
year = {1999},
url = {http://portal.acm.org/citation.cfm?id=323706.323715},
timestamp = {Thu, 28 Sep 2023 09:26:09 +0200},
biburl = {https://dblp.org/rec/conf/icail/JakobovitsV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/VosV99,
author = {Marina De Vos and
Dirk Vermeir},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {On the Role of Negation in Choice Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {236--246},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_17},
doi = {10.1007/3-540-46767-X\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/VosV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/JakobovitsV96,
author = {Hadassa Jakobovits and
Dirk Vermeir},
editor = {Dino Pedreschi and
Carlo Zaniolo},
title = {R-Stable Models for Logic Programs},
booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
July 1-2, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1154},
pages = {233--243},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031744},
doi = {10.1007/BFB0031744},
timestamp = {Mon, 03 Jan 2022 22:35:11 +0100},
biburl = {https://dblp.org/rec/conf/lid/JakobovitsV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/HalpinV95,
author = {Terry A. Halpin and
Dirk Vermeir},
editor = {Robert Meersman and
Leo Mark},
title = {Default Knowledge in Information Systems},
booktitle = {Database Applications Semantics, Proceedings of the Sixth {IFIP} {TC-2}
Working Conference on Data Semantics (DS-6), Stone Mountain, Atlanta,
Georgia, USA, May 30 - June 2, 1995},
series = {{IFIP} Conference Proceedings},
volume = {74},
pages = {423--442},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 11:56:49 +0100},
biburl = {https://dblp.org/rec/conf/ds/HalpinV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/GeertsV95,
author = {P. Geerts and
Dirk Vermeir},
editor = {Christine Froidevaux and
J{\"{u}}rg Kohlas},
title = {Specificity by Default},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {946},
pages = {207--216},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60112-0\_24},
doi = {10.1007/3-540-60112-0\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/GeertsV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/0167-9236(94)90030-2},
doi = {10.1016/0167-9236(94)90030-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dss/GeertsVN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GeertsV93,
author = {P. Geerts and
Dirk Vermeir},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {380--396},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/GeertsV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1093/logcom/2.2.133},
doi = {10.1093/LOGCOM/2.2.133},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LaenensV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/SaccaVV92,
author = {Domenico Sacc{\`{a}} and
Brigitte Verdonk and
Dirk Vermeir},
editor = {Alain Pirotte and
Claude Delobel and
Georg Gottlob},
title = {Evolution of Knowledge Bases},
booktitle = {Advances in Database Technology - EDBT'92, 3rd International Conference
on Extending Database Technology, Vienna, Austria, March 23-27, 1992,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {580},
pages = {230--244},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0032434},
doi = {10.1007/BFB0032434},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/edbt/SaccaVV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LaenensVZ92,
author = {Els Laenens and
Dirk Vermeir and
Carlo Zaniolo},
editor = {Werner Kuich},
title = {Logic Programming Semantics Made Easy},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {499--508},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_99},
doi = {10.1007/3-540-55719-9\_99},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LaenensVZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Rudolf Andersen and
Janis A. Bubenko Jr. and
Arne S{\o}lvberg},
title = {The {KIWIS} Knowledge Base Management System},
booktitle = {Advanced Information Systems Engineering, CAiSE'91, Trondheim, Norway,
May 13-15, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {498},
pages = {79--97},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54059-8\_81},
doi = {10.1007/3-540-54059-8\_81},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/AhlsenDJLLRRSTBCSVVV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/StaesTVV91,
author = {Fran{\c{c}}ois Staes and
Laura Tarantino and
Brigitte Verdonk and
Dirk Vermeir},
editor = {Dimitris Karagiannis},
title = {Supporting User Interactions with OODB's: {A} Declarative Approach},
booktitle = {Proceedings of the International Conference on Database and Expert
Systems Applications, Berlin, Germany, 1991},
pages = {210--215},
publisher = {Springer-Verlag, Wien},
year = {1991},
timestamp = {Mon, 24 Nov 2014 16:44:16 +0100},
biburl = {https://dblp.org/rec/conf/dexa/StaesTVV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GabbayLV91,
author = {Dov M. Gabbay and
Els Laenens and
Dirk Vermeir},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Credulous vs. Sceptical Semantics for Ordered Logic Programs},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {208--217},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/GabbayLV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GeertsV91,
author = {P. Geerts and
Dirk Vermeir},
editor = {Anil Nerode and
V. Wiktor Marek and
V. S. Subrahmanian},
title = {Credulous and Autoepistemic Reasoning Using Ordered Logic},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
First International Workshop, Washington, D.C., USA, July 1991},
pages = {21--36},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/GeertsV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfdbs/LaenensV91,
author = {Els Laenens and
Dirk Vermeir},
editor = {Bernhard Thalheim and
J{\'{a}}nos Demetrovics and
Hans{-}Detlef Gerhardt},
title = {On the Relationship between Well-Founded and Stable Partial Models},
booktitle = {{MFDBS} 91, 3rd Symposium on Mathematical Fundamentals of Database
and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {495},
pages = {59--73},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54009-1\_5},
doi = {10.1007/3-540-54009-1\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/mfdbs/LaenensV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/0950-7051(90)90098-3},
doi = {10.1016/0950-7051(90)90098-3},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/LaenensV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1093/logcom/1.2.159},
doi = {10.1093/LOGCOM/1.2.159},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LaenensV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/S1045-926X(05)80018-7},
doi = {10.1016/S1045-926X(05)80018-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/StaesLVT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LaenensV90,
author = {Els Laenens and
Dirk Vermeir},
editor = {Jan van Eijck},
title = {A Logical Basis for Object Oriented Programming},
booktitle = {Logics in AI, European Workshop, {JELIA} '90, Amsterdam, The Netherlands,
September 10-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {478},
pages = {317--332},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0018450},
doi = {10.1007/BFB0018450},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LaenensV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LaenensVV90,
author = {Els Laenens and
Brigitte Verdonk and
Dirk Vermeir},
editor = {V. Wiktor Marek and
Anil Nerode and
Dino Pedreschi and
V. S. Subrahmanian},
title = {The {LOCO} Language: Towards an Integration of Logic and Object-Oriented
Programming},
booktitle = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
Austin, TX, USA, November 1-2, 1990},
pages = {62--72},
year = {1990},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LaenensVV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LaenensSV90,
author = {Els Laenens and
Domenico Sacc{\`{a}} and
Dirk Vermeir},
editor = {Hector Garcia{-}Molina and
H. V. Jagadish},
title = {Extending Logic Programming},
booktitle = {Proceedings of the 1990 {ACM} {SIGMOD} International Conference on
Management of Data, Atlantic City, NJ, USA, May 23-25, 1990},
pages = {184--193},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/93597.98728},
doi = {10.1145/93597.98728},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/LaenensSV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1093/comjnl/32.4.333},
doi = {10.1093/COMJNL/32.4.333},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/LaenensSV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LaenensSSV89,
author = {Els Laenens and
John Snijders and
Fran{\c{c}}ois Staes and
Dirk Vermeir},
editor = {Janis A. Bubenko Jr. and
Janis Stirna},
title = {A Case Study in Object-Oriented Knowledge-Base Design Using the {KIWI}
System},
booktitle = {Proceedings of the First Nordic Conference on Advanced Systems Engineering,
CA(i)SE'89, Stockholm, Sweden, May 9-11, 1989 (republished at CEUR-WS.org
in 2013)},
series = {{CEUR} Workshop Proceedings},
volume = {961},
publisher = {CEUR-WS.org},
year = {1989},
url = {https://ceur-ws.org/Vol-961/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:34 +0100},
biburl = {https://dblp.org/rec/conf/caise/LaenensSSV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LaenensSV89,
author = {Els Laenens and
Fran{\c{c}}ois Staes and
Dirk Vermeir},
editor = {S. Cook},
title = {A Customizable Window-Interface to Object-Oriented Databases},
booktitle = {{ECOOP} '89: Proceedings of the Third European Conference on Object-Oriented
Programming, Nottingham, UK, July 10-14, 1989},
pages = {367--381},
publisher = {Cambridge University Press},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LaenensSV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LaenensV88,
author = {Els Laenens and
Dirk Vermeir},
editor = {Stein Gjessing and
Kristen Nygaard},
title = {An Overview of OOPS+, An Object-Oriented Database Programming Language},
booktitle = {ECOOP'88 European Conference on Object-Oriented Programming, Oslo,
Norway, August 15-17, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {322},
pages = {350--373},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-45910-3\_21},
doi = {10.1007/3-540-45910-3\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LaenensV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/PrabhakaranV83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/0306-4379(83)90036-4},
doi = {10.1016/0306-4379(83)90036-4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/Vermeir83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/0306-4379(82)90031-X},
doi = {10.1016/0306-4379(82)90031-X},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/VermeirN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RozenbergV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VermeirS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1137/0210004},
doi = {10.1137/0210004},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/EhrenfeuchtRV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RozenbergV80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RozenbergV80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/0020-0255(79)90044-6},
doi = {10.1016/0020-0255(79)90044-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/MeersmanRV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/0022-0000(79)90027-8},
doi = {10.1016/0022-0000(79)90027-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/RozenbergV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/0022-0000(79)90003-5},
doi = {10.1016/0022-0000(79)90003-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/EhrenfeuchtRV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RozenbergV79,
author = {Grzegorz Rozenberg and
Dirk Vermeir},
editor = {Hermann A. Maurer},
title = {Extending the Notion of Finite Index},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {479--488},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_38},
doi = {10.1007/3-540-09510-1\_38},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RozenbergV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/S0019-9958(78)90050-5},
doi = {10.1016/S0019-9958(78)90050-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RozenbergV78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/S0019-9958(78)90635-6},
doi = {10.1016/S0019-9958(78)90635-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RozenbergV78b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RozenbergV77,
author = {Grzegorz Rozenberg and
Dirk Vermeir},
editor = {Arto Salomaa and
Magnus Steinby},
title = {L Systems of Finite Index (Extended Abstract)},
booktitle = {Automata, Languages and Programming, Fourth Colloquium, University
of Turku, Finland, July 18-22, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {52},
pages = {430--439},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08342-1\_33},
doi = {10.1007/3-540-08342-1\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RozenbergV77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RozenbergV77,
author = {Grzegorz Rozenberg and
Dirk Vermeir},
editor = {Jozef Gruska},
title = {Acceptors for Iteration Languages},
booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {53},
pages = {460--464},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08353-7\_168},
doi = {10.1007/3-540-08353-7\_168},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RozenbergV77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RozenbergV76,
author = {Grzegorz Rozenberg and
Dirk Vermeir},
editor = {Antoni W. Mazurkiewicz},
title = {Context-Free Programmed Grammars and {ETOL} Systems},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
Gdansk, Poland, September 6-10, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {45},
pages = {482--487},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07854-1\_218},
doi = {10.1007/3-540-07854-1\_218},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RozenbergV76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-25 05:44 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:
