BibTeX records: Dirk Vermeir

download as .bib file

@article{DBLP:journals/tplp/BautersSCV15,
  author    = {Kim Bauters and
               Steven Schockaert and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Characterizing and extending answer set semantics using possibility
               theory},
  journal   = {{TPLP}},
  volume    = {15},
  number    = {1},
  pages     = {79--116},
  year      = {2015},
  url       = {https://doi.org/10.1017/S147106841300063X},
  doi       = {10.1017/S147106841300063X},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/BautersSCV15},
  bibsource = {dblp computer science bibliography, http://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 and Systems},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fss/BlondeelSCV14},
  bibsource = {dblp computer science bibliography, http://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. Reasoning},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijar/BautersSCV14},
  bibsource = {dblp computer science bibliography, http://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. Reasoning},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijar/BlondeelSVC14},
  bibsource = {dblp computer science bibliography, http://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   = {{TPLP}},
  volume    = {13},
  number    = {3},
  pages     = {361--394},
  year      = {2013},
  url       = {https://doi.org/10.1017/S1471068411000561},
  doi       = {10.1017/S1471068411000561},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/BautersSJVC13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {3205--3206},
  year      = {2013},
  crossref  = {DBLP:conf/ijcai/2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6867},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/BlondeelSVC13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  pages     = {209--222},
  year      = {2013},
  crossref  = {DBLP:series/sfsc/2013-291},
  url       = {https://doi.org/10.1007/978-3-642-34922-5_15},
  doi       = {10.1007/978-3-642-34922-5_15},
  timestamp = {Tue, 16 May 2017 14:24:26 +0200},
  biburl    = {http://dblp.org/rec/bib/series/sfsc/BlondeelSVC13},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1312.0127},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/BautersSCV13},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/books/daglib/0035275},
  bibsource = {dblp computer science bibliography, http://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. Reasoning},
  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, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijar/JanssenSVC12},
  bibsource = {dblp computer science bibliography, http://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. Reasoning},
  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 = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jar/SchockaertJV12},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/2362355.2362361},
  doi       = {10.1145/2362355.2362361},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tocl/SchockaertJV12},
  bibsource = {dblp computer science bibliography, http://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   = {{TPLP}},
  volume    = {12},
  number    = {6},
  pages     = {811--842},
  year      = {2012},
  url       = {https://doi.org/10.1017/S1471068411000093},
  doi       = {10.1017/S1471068411000093},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/JanssenVSC12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/ictai/2012},
  url       = {https://doi.org/10.1109/ICTAI.2012.117},
  doi       = {10.1109/ICTAI.2012.117},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictai/BautersSCV12},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1203.3466},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1203-3466},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/amai/JanssenSVC11},
  bibsource = {dblp computer science bibliography, http://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   = {{IJDMB}},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijdmb/FayruzovJVCC11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
               - 11th European Conference, {ECSQARU} 2011, Belfast, UK, June 29-July
               1, 2011. Proceedings},
  pages     = {616--627},
  year      = {2011},
  crossref  = {DBLP:conf/ecsqaru/2011},
  url       = {https://doi.org/10.1007/978-3-642-22152-1_52},
  doi       = {10.1007/978-3-642-22152-1_52},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecsqaru/BlondeelSCV11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logic Programming and Nonmonotonic Reasoning - 11th International
               Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
  pages     = {67--79},
  year      = {2011},
  crossref  = {DBLP:conf/lpnmr/2011},
  url       = {https://doi.org/10.1007/978-3-642-20895-9_8},
  doi       = {10.1007/978-3-642-20895-9_8},
  timestamp = {Sun, 12 Nov 2017 16:01:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/BautersSVC11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Scalable Uncertainty Management - 5th International Conference, {SUM}
               2011, Dayton, OH, USA, October 10-13, 2011. Proceedings},
  pages     = {475--488},
  year      = {2011},
  crossref  = {DBLP:conf/sum/2011},
  url       = {https://doi.org/10.1007/978-3-642-23963-2_37},
  doi       = {10.1007/978-3-642-23963-2_37},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sum/BautersSCV11},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1104.5133},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1104-5133},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1109.2434},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1109-2434},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Technical Communications of the 26th International Conference on Logic
               Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  pages     = {34--43},
  year      = {2010},
  crossref  = {DBLP:conf/iclp/2010},
  url       = {https://doi.org/10.4230/LIPIcs.ICLP.2010.34},
  doi       = {10.4230/LIPIcs.ICLP.2010.34},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/BautersJSVC10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Technical Communications of the 26th International Conference on Logic
               Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  pages     = {64--73},
  year      = {2010},
  crossref  = {DBLP:conf/iclp/2010},
  url       = {https://doi.org/10.4230/LIPIcs.ICLP.2010.64},
  doi       = {10.4230/LIPIcs.ICLP.2010.64},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/FayruzovJVCC10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
               in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
  pages     = {48--55},
  year      = {2010},
  crossref  = {DBLP:conf/uai/2010},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2138&proceeding_id=26},
  timestamp = {Wed, 06 May 2015 15:02:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/BautersSCV10},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/bibm/2009},
  url       = {https://doi.org/10.1109/BIBM.2009.9},
  doi       = {10.1109/BIBM.2009.9},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bibm/FayruzovCCV09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {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},
  crossref  = {DBLP:conf/eusflat/2009},
  url       = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT_2009/pdf/tema_1347.pdf},
  timestamp = {Thu, 18 Apr 2013 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eusflat/JanssenSVC09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Web Reasoning and Rule Systems, Third International Conference, {RR}
               2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings},
  pages     = {135--149},
  year      = {2009},
  crossref  = {DBLP:conf/rr/2009},
  url       = {https://doi.org/10.1007/978-3-642-05082-4_10},
  doi       = {10.1007/978-3-642-05082-4_10},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rr/SchockaertJVC09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Scalable Uncertainty Management, Third International Conference, {SUM}
               2009, Washington, DC, USA, September 28-30, 2009. Proceedings},
  pages     = {240--254},
  year      = {2009},
  crossref  = {DBLP:conf/sum/2009},
  url       = {https://doi.org/10.1007/978-3-642-04388-8_19},
  doi       = {10.1007/978-3-642-04388-8_19},
  timestamp = {Fri, 15 Sep 2017 07:42:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sum/SchockaertJVC09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Fuzzy Logic and Applications, 8th International Workshop, {WILF} 2009,
               Palermo, Italy, June 9-12, 2009, Proceedings},
  pages     = {352--359},
  year      = {2009},
  crossref  = {DBLP:conf/wilf/2009},
  url       = {https://doi.org/10.1007/978-3-642-02282-1_44},
  doi       = {10.1007/978-3-642-02282-1_44},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wilf/JanssenSVC09},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/1380572.1380575},
  doi       = {10.1145/1380572.1380575},
  timestamp = {Mon, 09 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/tocl/HeymansNV08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  pages     = {362--376},
  year      = {2008},
  crossref  = {DBLP:conf/iclp/2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2_34},
  doi       = {10.1007/978-3-540-89982-2_34},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/JanssenHVC08},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/amai/NieuwenborghCV07},
  bibsource = {dblp computer science bibliography, http://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. Applied Logic},
  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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/japll/HeymansNV07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghCV07,
  author    = {Davy Van Nieuwenborgh and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Computing Fuzzy Answer Sets Using dlvhex},
  booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
               Portugal, September 8-13, 2007, Proceedings},
  pages     = {449--450},
  year      = {2007},
  crossref  = {DBLP:conf/iclp/2007},
  url       = {https://doi.org/10.1007/978-3-540-74610-2_40},
  doi       = {10.1007/978-3-540-74610-2_40},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/NieuwenborghCV07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NieuwenborghEV07,
  author    = {Davy Van Nieuwenborgh and
               Thomas Eiter and
               Dirk Vermeir},
  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},
  pages     = {214--227},
  year      = {2007},
  crossref  = {DBLP:conf/lpnmr/2007},
  url       = {https://doi.org/10.1007/978-3-540-72200-7_19},
  doi       = {10.1007/978-3-540-72200-7_19},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/NieuwenborghEV07},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/amai/HeymansNV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tplp/NieuwenborghV06,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Preferred answer sets for ordered logic programs},
  journal   = {{TPLP}},
  volume    = {6},
  number    = {1-2},
  pages     = {107--167},
  year      = {2006},
  url       = {https://doi.org/10.1017/S1471068404002315},
  doi       = {10.1017/S1471068404002315},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/NieuwenborghV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
               {CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
               Invited Papers},
  pages     = {20--40},
  year      = {2006},
  crossref  = {DBLP:conf/clima/2006},
  url       = {https://doi.org/10.1007/978-3-540-69619-3_2},
  doi       = {10.1007/978-3-540-69619-3_2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/clima/NieuwenborghVHV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NieuwenborghHV06,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  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},
  pages     = {462--466},
  year      = {2006},
  crossref  = {DBLP:conf/ecai/2006},
  timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ecai/NieuwenborghHV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Foundations of Information and Knowledge Systems, 4th International
               Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
  pages     = {179--200},
  year      = {2006},
  crossref  = {DBLP:conf/foiks/2006},
  url       = {https://doi.org/10.1007/11663881_11},
  doi       = {10.1007/11663881_11},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/foiks/HeymansNV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghHV06,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {Cooperating Answer Set Programming},
  booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
               WA, USA, August 17-20, 2006, Proceedings},
  pages     = {226--241},
  year      = {2006},
  crossref  = {DBLP:conf/iclp/2006},
  url       = {https://doi.org/10.1007/11799573_18},
  doi       = {10.1007/11799573_18},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/NieuwenborghHV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jelia/NieuwenborghCV06,
  author    = {Davy Van Nieuwenborgh and
               Martine De Cock and
               Dirk Vermeir},
  title     = {Fuzzy Answer Set Programming},
  booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
               2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  pages     = {359--372},
  year      = {2006},
  crossref  = {DBLP:conf/jelia/2006},
  url       = {https://doi.org/10.1007/11853886_30},
  doi       = {10.1007/11853886_30},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/NieuwenborghCV06},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {cs/0603025},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-cs-0603025},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  year      = {2005},
  crossref  = {DBLP:conf/asp/2005},
  url       = {http://ceur-ws.org/Vol-142/page27.pdf},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/asp/HeymansNV05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  year      = {2005},
  crossref  = {DBLP:conf/asp/2005},
  url       = {http://ceur-ws.org/Vol-142/page233.pdf},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/asp/NieuwenborghHV05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {The Semantic Web: Research and Applications, Second European Semantic
               Web Conference, {ESWC} 2005, Heraklion, Crete, Greece, May 29 - June
               1, 2005, Proceedings},
  pages     = {392--407},
  year      = {2005},
  crossref  = {DBLP:conf/esws/2005},
  url       = {https://doi.org/10.1007/11431053_27},
  doi       = {10.1007/11431053_27},
  timestamp = {Thu, 15 Jun 2017 21:40:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esws/HeymansNV05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
               Siena, Italy, October 12-14, 2005, Proceedings},
  pages     = {280--294},
  year      = {2005},
  crossref  = {DBLP:conf/ictcs/2005},
  url       = {https://doi.org/10.1007/11560586_23},
  doi       = {10.1007/11560586_23},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictcs/HeymansNV05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HeymansNV05,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Guarded Open Answer Set Programming},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
               {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
  pages     = {92--104},
  year      = {2005},
  crossref  = {DBLP:conf/lpnmr/2005},
  url       = {https://doi.org/10.1007/11546207_8},
  doi       = {10.1007/11546207_8},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/HeymansNV05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/padl/NieuwenborghHV05,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  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},
  pages     = {128--142},
  year      = {2005},
  crossref  = {DBLP:conf/padl/2005},
  url       = {https://doi.org/10.1007/978-3-540-30557-6_11},
  doi       = {10.1007/978-3-540-30557-6_11},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/padl/NieuwenborghHV05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HeymansNV05,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  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},
  pages     = {368--382},
  year      = {2005},
  crossref  = {DBLP:conf/semweb/2005},
  url       = {https://doi.org/10.1007/11574620_28},
  doi       = {10.1007/11574620_28},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/semweb/HeymansNV05},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/amai/VosV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghHV04,
  author    = {Davy Van Nieuwenborgh and
               Stijn Heymans and
               Dirk Vermeir},
  title     = {On Programs with Linearly Ordered Multiple Preferences},
  booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
               France, September 6-10, 2004, Proceedings},
  pages     = {180--194},
  year      = {2004},
  crossref  = {DBLP:conf/iclp/2004},
  url       = {https://doi.org/10.1007/978-3-540-27775-0_13},
  doi       = {10.1007/978-3-540-27775-0_13},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/NieuwenborghHV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HeymansNV04,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Hierarchical Decision Making by Autonomous Agents},
  booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  pages     = {44--56},
  year      = {2004},
  crossref  = {DBLP:conf/jelia/2004},
  url       = {https://doi.org/10.1007/978-3-540-30227-8_7},
  doi       = {10.1007/978-3-540-30227-8_7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/HeymansNV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
               International Conference, {LPAR} 2004, Montevideo, Uruguay, March
               14-18, 2005, Proceedings},
  pages     = {169--183},
  year      = {2004},
  crossref  = {DBLP:conf/lpar/2004},
  url       = {https://doi.org/10.1007/978-3-540-32275-7_12},
  doi       = {10.1007/978-3-540-32275-7_12},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/NieuwenborghHV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HeymansNV04,
  author    = {Stijn Heymans and
               Davy Van Nieuwenborgh and
               Dirk Vermeir},
  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},
  pages     = {113--127},
  year      = {2004},
  crossref  = {DBLP:conf/ruleml/2004},
  url       = {https://doi.org/10.1007/978-3-540-30504-0_9},
  doi       = {10.1007/978-3-540-30504-0_9},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ruleml/HeymansNV04},
  bibsource = {dblp computer science bibliography, http://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},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/cs-LO-0407049},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/agp/NieuwenborghV03,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  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},
  crossref  = {DBLP:conf/agp/2003},
  timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/agp/NieuwenborghV03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asp/HeymansV03,
  author    = {Stijn Heymans and
               Dirk Vermeir},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/asp/2003},
  url       = {http://ceur-ws.org/Vol-78/asp03-final-heymans.pdf},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/asp/HeymansV03},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2003},
  crossref  = {DBLP:conf/dexaw/2003},
  url       = {https://doi.org/10.1109/DEXA.2003.1232085},
  doi       = {10.1109/DEXA.2003.1232085},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dexaw/HeymansV03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghV03,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Order and Negation as Failure},
  booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
               India, December 9-13, 2003, Proceedings},
  pages     = {194--208},
  year      = {2003},
  crossref  = {DBLP:conf/iclp/2003},
  url       = {https://doi.org/10.1007/978-3-540-24599-5_14},
  doi       = {10.1007/978-3-540-24599-5_14},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/NieuwenborghV03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NieuwenborghV03,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Ordered Diagnosis},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
               International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
               22-26, 2003, Proceedings},
  pages     = {244--258},
  year      = {2003},
  crossref  = {DBLP:conf/lpar/2003},
  url       = {https://doi.org/10.1007/978-3-540-39813-4_17},
  doi       = {10.1007/978-3-540-39813-4_17},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/NieuwenborghV03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/HeymansV03,
  author    = {Stijn Heymans and
               Dirk Vermeir},
  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},
  pages     = {146--159},
  year      = {2003},
  crossref  = {DBLP:conf/ppswr/2003},
  url       = {https://doi.org/10.1007/978-3-540-24572-8_10},
  doi       = {10.1007/978-3-540-24572-8_10},
  timestamp = {Thu, 15 Jun 2017 21:36:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppswr/HeymansV03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ausai/VosV02,
  author    = {Marina De Vos and
               Dirk Vermeir},
  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},
  pages     = {36--47},
  year      = {2002},
  crossref  = {DBLP:conf/ausai/2002},
  url       = {https://doi.org/10.1007/3-540-36187-1_4},
  doi       = {10.1007/3-540-36187-1_4},
  timestamp = {Thu, 15 Jun 2017 21:35:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ausai/VosV02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coopis/HeymansV02,
  author    = {Stijn Heymans and
               Dirk Vermeir},
  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},
  pages     = {1033--1046},
  year      = {2002},
  crossref  = {DBLP:conf/coopis/2002},
  url       = {https://doi.org/10.1007/3-540-36124-3_66},
  doi       = {10.1007/3-540-36124-3_66},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coopis/HeymansV02},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2002},
  crossref  = {DBLP:conf/dexaw/2002},
  url       = {https://doi.org/10.1109/DEXA.2002.1045881},
  doi       = {10.1109/DEXA.2002.1045881},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dexaw/HeymansV02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jelia/NieuwenborghV02,
  author    = {Davy Van Nieuwenborgh and
               Dirk Vermeir},
  title     = {Preferred Answer Sets for Ordered Logic Programs},
  booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
               Cosenza, Italy, September, 23-26, Proceedings},
  pages     = {432--443},
  year      = {2002},
  crossref  = {DBLP:conf/jelia/2002},
  url       = {https://doi.org/10.1007/3-540-45757-7_36},
  doi       = {10.1007/3-540-45757-7_36},
  timestamp = {Thu, 15 Jun 2017 21:42:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/NieuwenborghV02},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/books/daglib/0007530},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ci/VosV01,
  author    = {Marina De Vos and
               Dirk Vermeir},
  title     = {Semantic Forcing in Disjunctive Logic Programs},
  journal   = {Computational Intelligence},
  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 = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ci/VosV01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asp/VosV01,
  author    = {Marina De Vos and
               Dirk Vermeir},
  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,
               March 26-28, 2001},
  year      = {2001},
  crossref  = {DBLP:conf/asp/2001},
  url       = {http://www.cs.nmsu.edu/~tson/ASP2001/8.ps},
  timestamp = {Tue, 25 Apr 2006 15:46:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/asp/VosV01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cai/LaenensV00,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {A Universal Fixpoint Semantics for Ordered Logic},
  journal   = {Computers and Artificial Intelligence},
  volume    = {19},
  number    = {3},
  year      = {2000},
  timestamp = {Tue, 15 May 2007 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cai/LaenensV00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/VosV00,
  author    = {Marina De Vos and
               Dirk Vermeir},
  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.},
  pages     = {227--239},
  year      = {2000},
  crossref  = {DBLP:conf/fsttcs/2000},
  url       = {https://doi.org/10.1007/3-540-44450-5_18},
  doi       = {10.1007/3-540-44450-5_18},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/VosV00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jelia/VosV00,
  author    = {Marina De Vos and
               Dirk Vermeir},
  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},
  pages     = {391--406},
  year      = {2000},
  crossref  = {DBLP:conf/jelia/2000},
  url       = {https://doi.org/10.1007/3-540-40006-0_27},
  doi       = {10.1007/3-540-40006-0_27},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/VosV00},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/logcom/JakobovitsV99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csl/VosV99,
  author    = {Marina De Vos and
               Dirk Vermeir},
  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},
  pages     = {266--276},
  year      = {1999},
  crossref  = {DBLP:conf/csl/1999},
  url       = {https://doi.org/10.1007/3-540-48168-0_19},
  doi       = {10.1007/3-540-48168-0_19},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/VosV99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icail/JakobovitsV99,
  author    = {Hadassa Jakobovits and
               Dirk Vermeir},
  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},
  year      = {1999},
  crossref  = {DBLP:conf/icail/1999},
  url       = {http://portal.acm.org/citation.cfm?id=323706.323715},
  timestamp = {Thu, 30 Apr 2015 18:34:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icail/JakobovitsV99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/VosV99,
  author    = {Marina De Vos and
               Dirk Vermeir},
  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},
  pages     = {236--246},
  year      = {1999},
  crossref  = {DBLP:conf/lpnmr/1999},
  url       = {https://doi.org/10.1007/3-540-46767-X_17},
  doi       = {10.1007/3-540-46767-X_17},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/VosV99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lid/JakobovitsV96,
  author    = {Hadassa Jakobovits and
               Dirk Vermeir},
  title     = {R-Stable Models for Logic Programs},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  pages     = {233--243},
  year      = {1996},
  crossref  = {DBLP:conf/lid/1996},
  url       = {https://doi.org/10.1007/BFb0031744},
  doi       = {10.1007/BFb0031744},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lid/JakobovitsV96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ds/HalpinV95,
  author    = {Terry A. Halpin and
               Dirk Vermeir},
  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},
  pages     = {423--442},
  year      = {1995},
  crossref  = {DBLP:conf/ds/1995},
  timestamp = {Thu, 03 Jan 2002 11:56:49 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ds/HalpinV95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/GeertsV95,
  author    = {P. Geerts and
               Dirk Vermeir},
  title     = {Specificity by Default},
  booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
               European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5,
               1995, Proceedings},
  pages     = {207--216},
  year      = {1995},
  crossref  = {DBLP:conf/ecsqaru/1995},
  url       = {https://doi.org/10.1007/3-540-60112-0_24},
  doi       = {10.1007/3-540-60112-0_24},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecsqaru/GeertsV95},
  bibsource = {dblp computer science bibliography, http://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   = {Decision Support Systems},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dss/GeertsVN94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GeertsV93,
  author    = {P. Geerts and
               Dirk Vermeir},
  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},
  year      = {1993},
  crossref  = {DBLP:conf/lpnmr/1993},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/GeertsV93},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/logcom/LaenensV92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/edbt/SaccaVV92,
  author    = {Domenico Sacc{\`{a}} and
               Brigitte Verdonk and
               Dirk Vermeir},
  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},
  pages     = {230--244},
  year      = {1992},
  crossref  = {DBLP:conf/edbt/92},
  url       = {https://doi.org/10.1007/BFb0032434},
  doi       = {10.1007/BFb0032434},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/edbt/SaccaVV92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LaenensVZ92,
  author    = {Els Laenens and
               Dirk Vermeir and
               Carlo Zaniolo},
  title     = {Logic Programming Semantics Made Easy},
  booktitle = {Automata, Languages and Programming, 19th International Colloquium,
               ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
  pages     = {499--508},
  year      = {1992},
  crossref  = {DBLP:conf/icalp/1992},
  url       = {https://doi.org/10.1007/3-540-55719-9_99},
  doi       = {10.1007/3-540-55719-9_99},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/LaenensVZ92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/caise/AhlsenDJLLRRSTBCSVVV91,
  author    = {Matts Ahlsen and
               Alessandro D'Atri and
               Paul Johannesson and
               Els Laenens and
               Nicola Leone and
               Pasquale Rullo and
               P. Rossi and
               Fran{\c{c}}ois Staes and
               Laura Tarantino and
               L. Van Beirendonck and
               L. Van Cadsand and
               W. Van Santvliet and
               J. Vanslembrouck and
               Brigitte Verdonk and
               Dirk Vermeir},
  title     = {The {KIWIS} Knowledge Base Management System},
  booktitle = {CAiSE},
  pages     = {79--97},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54059-8_81},
  doi       = {10.1007/3-540-54059-8_81},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/caise/AhlsenDJLLRRSTBCSVVV91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the International Conference on Database and Expert
               Systems Applications, Berlin, Germany, 1991.},
  pages     = {210--215},
  year      = {1991},
  crossref  = {DBLP:conf/dexa/1991},
  timestamp = {Mon, 24 Nov 2014 16:44:16 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dexa/StaesTVV91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {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},
  year      = {1991},
  crossref  = {DBLP:conf/kr/1991},
  timestamp = {Fri, 18 May 2012 15:02:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kr/GabbayLV91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GeertsV91,
  author    = {P. Geerts and
               Dirk Vermeir},
  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},
  year      = {1991},
  crossref  = {DBLP:conf/lpnmr/1991},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/GeertsV91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfdbs/LaenensV91,
  author    = {Els Laenens and
               Dirk Vermeir},
  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},
  pages     = {59--73},
  year      = {1991},
  crossref  = {DBLP:conf/mfdbs/91},
  url       = {https://doi.org/10.1007/3-540-54009-1_5},
  doi       = {10.1007/3-540-54009-1_5},
  timestamp = {Sun, 04 Jun 2017 10:04:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfdbs/LaenensV91},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/kbs/LaenensV90},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/logcom/LaenensV90},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/vlc/StaesLVT90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LaenensV90,
  author    = {Els Laenens and
               Dirk Vermeir},
  title     = {A Logical Basis for Object Oriented Programming},
  booktitle = {Logics in AI, European Workshop, {JELIA} '90, Amsterdam, The Netherlands,
               September 10-14, 1990, Proceedings},
  pages     = {317--332},
  year      = {1990},
  crossref  = {DBLP:conf/jelia/1990},
  url       = {https://doi.org/10.1007/BFb0018450},
  doi       = {10.1007/BFb0018450},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/LaenensV90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
               Austin, TX, USA, November 1-2, 1990},
  pages     = {62--72},
  year      = {1990},
  crossref  = {DBLP:conf/lpnmr/1990},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/LaenensVV90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LaenensSV90,
  author    = {Els Laenens and
               Domenico Sacc{\`{a}} and
               Dirk Vermeir},
  title     = {Extending Logic Programming},
  booktitle = {Proceedings of the 1990 {ACM} {SIGMOD} International Conference on
               Management of Data, Atlantic City, NJ, May 23-25, 1990.},
  pages     = {184--193},
  year      = {1990},
  crossref  = {DBLP:conf/sigmod/90},
  url       = {http://doi.acm.org/10.1145/93597.98728},
  doi       = {10.1145/93597.98728},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/LaenensSV90},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/cj/LaenensSV89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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 = {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)},
  year      = {1989},
  crossref  = {DBLP:conf/caise/1989},
  url       = {http://ceur-ws.org/Vol-961/paper6.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/caise/LaenensSSV89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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} '89: Proceedings of the Third European Conference on Object-Oriented
               Programming, Nottingham, UK, July 10-14, 1989.},
  pages     = {367--381},
  year      = {1989},
  crossref  = {DBLP:conf/ecoop/1989},
  timestamp = {Fri, 18 May 2012 15:03:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/LaenensSV89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LaenensV88,
  author    = {Els Laenens and
               Dirk Vermeir},
  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},
  pages     = {350--373},
  year      = {1988},
  crossref  = {DBLP:conf/ecoop/1988},
  url       = {https://doi.org/10.1007/3-540-45910-3_21},
  doi       = {10.1007/3-540-45910-3_21},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/LaenensV88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acj/PrabhakaranV83,
  author    = {N. Prabhakaran and
               Dirk Vermeir},
  title     = {On the Generation of Database Schemata},
  journal   = {Australian Computer Journal},
  volume    = {15},
  number    = {3},
  pages     = {91--102},
  year      = {1983},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/acj/PrabhakaranV83},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/is/Vermeir83},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/is/VermeirN82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/RozenbergV81,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {A hierarchy of {ETOL} languages with rank},
  journal   = {Fundam. Inform.},
  volume    = {4},
  number    = {1},
  pages     = {197},
  year      = {1981},
  timestamp = {Wed, 25 Feb 2004 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/RozenbergV81},
  bibsource = {dblp computer science bibliography, http://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. Inform.},
  volume    = {4},
  number    = {2},
  pages     = {401--418},
  year      = {1981},
  timestamp = {Wed, 25 Feb 2004 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/VermeirS81},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/EhrenfeuchtRV81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/RozenbergV80,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {On metalinear {ETOL} systems},
  journal   = {Fundam. Inform.},
  volume    = {3},
  number    = {1},
  pages     = {15--36},
  year      = {1980},
  timestamp = {Wed, 25 Feb 2004 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/RozenbergV80},
  bibsource = {dblp computer science bibliography, http://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. Inform.},
  volume    = {3},
  number    = {3},
  pages     = {295--302},
  year      = {1980},
  timestamp = {Wed, 25 Feb 2004 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/RozenbergV80a},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/isci/MeersmanRV79},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/RozenbergV79},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/EhrenfeuchtRV79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RozenbergV79,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {Extending the Notion of Finite Index},
  booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
               July 16-20, 1979, Proceedings},
  pages     = {479--488},
  year      = {1979},
  crossref  = {DBLP:conf/icalp/1979},
  url       = {https://doi.org/10.1007/3-540-09510-1_38},
  doi       = {10.1007/3-540-09510-1_38},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/RozenbergV79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/RozenbergV78a,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {On {ET0L} Systems of Finite Index},
  journal   = {Information and 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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/RozenbergV78a},
  bibsource = {dblp computer science bibliography, http://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   = {Information and 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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/RozenbergV78b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RozenbergV77,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {L Systems of Finite Index (Extended Abstract)},
  booktitle = {Automata, Languages and Programming, Fourth Colloquium, University
               of Turku, Finland, July 18-22, 1977, Proceedings},
  pages     = {430--439},
  year      = {1977},
  crossref  = {DBLP:conf/icalp/1977},
  url       = {https://doi.org/10.1007/3-540-08342-1_33},
  doi       = {10.1007/3-540-08342-1_33},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/RozenbergV77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RozenbergV77,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {Acceptors for Iteration Languages},
  booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
               Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
  pages     = {460--464},
  year      = {1977},
  crossref  = {DBLP:conf/mfcs/1977},
  url       = {https://doi.org/10.1007/3-540-08353-7_168},
  doi       = {10.1007/3-540-08353-7_168},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/RozenbergV77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RozenbergV76,
  author    = {Grzegorz Rozenberg and
               Dirk Vermeir},
  title     = {Context-Free Programmed Grammars and {ETOL} Systems},
  booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
               Gdansk, Poland, September 6-10, 1976, Proceedings},
  pages     = {482--487},
  year      = {1976},
  crossref  = {DBLP:conf/mfcs/1976},
  url       = {https://doi.org/10.1007/3-540-07854-1_218},
  doi       = {10.1007/3-540-07854-1_218},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/RozenbergV76},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2013,
  editor    = {Francesca Rossi},
  title     = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://ijcai.org/proceedings/2013},
  isbn      = {978-1-57735-633-2},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:series/sfsc/2013-291,
  editor    = {Ronald R. Yager and
               Ali M. Abbasov and
               Marek Z. Reformat and
               Shahnaz N. Shahbazova},
  title     = {Soft Computing: State of the Art Theory and Novel Applications},
  series    = {Studies in Fuzziness and Soft Computing},
  volume    = {291},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-34922-5},
  doi       = {10.1007/978-3-642-34922-5},
  isbn      = {978-3-642-34921-8},
  timestamp = {Tue, 16 May 2017 14:24:26 +0200},
  biburl    = {http://dblp.org/rec/bib/series/sfsc/2013-291},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictai/2012,
  title     = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2012, Athens, Greece, November 7-9, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6493540},
  isbn      = {978-1-4799-0227-9},
  timestamp = {Thu, 18 Dec 2014 16:57:41 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ictai/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecsqaru/2011,
  editor    = {Weiru Liu},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22152-1},
  doi       = {10.1007/978-3-642-22152-1},
  isbn      = {978-3-642-22151-4},
  timestamp = {Sun, 21 May 2017 00:18:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecsqaru/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2011,
  editor    = {James P. Delgrande and
               Wolfgang Faber},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20895-9},
  doi       = {10.1007/978-3-642-20895-9},
  isbn      = {978-3-642-20894-2},
  timestamp = {Sun, 12 Nov 2017 16:01:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sum/2011,
  editor    = {Salem Benferhat and
               John Grant},
  title     = {Scalable Uncertainty Management - 5th International Conference, {SUM}
               2011, Dayton, OH, USA, October 10-13, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6929},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23963-2},
  doi       = {10.1007/978-3-642-23963-2},
  isbn      = {978-3-642-23962-5},
  timestamp = {Wed, 24 May 2017 08:27:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sum/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2010,
  editor    = {Manuel V. Hermenegildo and
               Torsten Schaub},
  title     = {Technical Communications of the 26th International Conference on Logic
               Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  series    = {LIPIcs},
  volume    = {7},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10003},
  isbn      = {978-3-939897-17-0},
  timestamp = {Tue, 26 Feb 2013 10:46:25 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uai/2010,
  editor    = {Peter Gr{\"{u}}nwald and
               Peter Spirtes},
  title     = {{UAI} 2010, Proceedings of the Twenty-Sixth Conference on Uncertainty
               in Artificial Intelligence, Catalina Island, CA, USA, July 8-11, 2010},
  publisher = {{AUAI} Press},
  year      = {2010},
  url       = {https://dslpitt.org/uai/displayArticles.jsp?mmnu=1&smnu=1&proceeding_id=26},
  isbn      = {978-0-9749039-6-5},
  timestamp = {Wed, 06 May 2015 15:02:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uai/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bibm/2009,
  title     = {2009 {IEEE} International Conference on Bioinformatics and Biomedicine,
               {BIBM} 2009, Washington, DC, USA, November 1-4, 2009, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5341720},
  isbn      = {978-0-7695-3885-3},
  timestamp = {Thu, 07 Jan 2016 11:15:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/bibm/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eusflat/2009,
  editor    = {Jo{\~{a}}o Paulo Carvalho and
               Didier Dubois and
               Uzay Kaymak and
               Jo{\~{a}}o Miguel da Costa Sousa},
  title     = {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},
  year      = {2009},
  isbn      = {978-989-95079-6-8},
  timestamp = {Wed, 16 Dec 2009 10:36:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/eusflat/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rr/2009,
  editor    = {Axel Polleres and
               Terrance Swift},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05082-4},
  doi       = {10.1007/978-3-642-05082-4},
  isbn      = {978-3-642-05081-7},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rr/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sum/2009,
  editor    = {Lluis Godo and
               Andrea Pugliese},
  title     = {Scalable Uncertainty Management, Third International Conference, {SUM}
               2009, Washington, DC, USA, September 28-30, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5785},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04388-8},
  doi       = {10.1007/978-3-642-04388-8},
  isbn      = {978-3-642-04387-1},
  timestamp = {Fri, 15 Sep 2017 07:42:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sum/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wilf/2009,
  editor    = {Vito Di Ges{\`{u}} and
               Sankar K. Pal and
               Alfredo Petrosino},
  title     = {Fuzzy Logic and Applications, 8th International Workshop, {WILF} 2009,
               Palermo, Italy, June 9-12, 2009, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5571},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02282-1},
  doi       = {10.1007/978-3-642-02282-1},
  isbn      = {978-3-642-02281-4},
  timestamp = {Tue, 23 May 2017 01:12:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wilf/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2008,
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  title     = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2},
  doi       = {10.1007/978-3-540-89982-2},
  isbn      = {978-3-540-89981-5},
  timestamp = {Fri, 26 May 2017 00:49:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2007,
  editor    = {Ver{\'{o}}nica Dahl and
               Ilkka Niemel{\"{a}}},
  title     = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
               Portugal, September 8-13, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4670},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74610-2},
  doi       = {10.1007/978-3-540-74610-2},
  isbn      = {978-3-540-74608-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2007,
  editor    = {Chitta Baral and
               Gerhard Brewka and
               John S. Schlipf},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72200-7},
  doi       = {10.1007/978-3-540-72200-7},
  isbn      = {978-3-540-72199-4},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/clima/2006,
  editor    = {Katsumi Inoue and
               Ken Satoh and
               Francesca Toni},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-69619-3},
  doi       = {10.1007/978-3-540-69619-3},
  isbn      = {978-3-540-69618-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/clima/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecai/2006,
  editor    = {Gerhard Brewka and
               Silvia Coradeschi and
               Anna Perini and
               Paolo Traverso},
  title     = {{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},
  publisher = {{IOS} Press},
  year      = {2006},
  isbn      = {1-58603-642-4},
  timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ecai/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/foiks/2006,
  editor    = {J{\"{u}}rgen Dix and
               Stephen J. Hegner},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11663881},
  doi       = {10.1007/11663881},
  isbn      = {3-540-31782-1},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/foiks/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2006,
  editor    = {Sandro Etalle and
               Miroslaw Truszczynski},
  title     = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
               WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4079},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11799573},
  doi       = {10.1007/11799573},
  isbn      = {3-540-36635-0},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jelia/2006,
  editor    = {Michael Fisher and
               Wiebe van der Hoek and
               Boris Konev and
               Alexei Lisitsa},
  title     = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
               2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4160},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11853886},
  doi       = {10.1007/11853886},
  isbn      = {3-540-39625-X},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asp/2005,
  editor    = {Marina De Vos and
               Alessandro Provetti},
  title     = {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       = {http://ceur-ws.org/Vol-142},
  urn       = {urn:nbn:de:0074-142-5},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/asp/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esws/2005,
  editor    = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
               J{\'{e}}r{\^{o}}me Euzenat},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136731},
  doi       = {10.1007/b136731},
  isbn      = {3-540-26124-9},
  timestamp = {Thu, 15 Jun 2017 21:40:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esws/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2005,
  editor    = {Mario Coppo and
               Elena Lodi and
               G. Michele Pinna},
  title     = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
               Siena, Italy, October 12-14, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3701},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11560586},
  doi       = {10.1007/11560586},
  isbn      = {3-540-29106-7},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictcs/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2005,
  editor    = {Chitta Baral and
               Gianluigi Greco and
               Nicola Leone and
               Giorgio Terracina},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11546207},
  doi       = {10.1007/11546207},
  isbn      = {3-540-28538-5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/padl/2005,
  editor    = {Manuel V. Hermenegildo and
               Daniel Cabeza},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b105205},
  doi       = {10.1007/b105205},
  isbn      = {3-540-24362-3},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/padl/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/semweb/2005,
  editor    = {Yolanda Gil and
               Enrico Motta and
               V. Richard Benjamins and
               Mark A. Musen},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11574620},
  doi       = {10.1007/11574620},
  isbn      = {3-540-29754-5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/semweb/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2004,
  editor    = {Bart Demoen and
               Vladimir Lifschitz},
  title     = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
               France, September 6-10, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3132},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b99475},
  doi       = {10.1007/b99475},
  isbn      = {3-540-22671-0},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jelia/2004,
  editor    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Jo{\~{a}}o Alexandre Leite},
  title     = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
               2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3229},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100483},
  doi       = {10.1007/b100483},
  isbn      = {3-540-23242-7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2004,
  editor    = {Franz Baader and
               Andrei Voronkov},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106931},
  doi       = {10.1007/b106931},
  isbn      = {3-540-25236-3},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2004,
  editor    = {Grigoris Antoniou and
               Harold Boley},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b102922},
  doi       = {10.1007/b102922},
  isbn      = {3-540-23842-5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ruleml/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/2003,
  editor    = {Francesco Buccafurri},
  title     = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
               Calabria, Italy, September 3-5, 2003},
  year      = {2003},
  timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/agp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asp/2003,
  editor    = {Marina De Vos and
               Alessandro Provetti},
  title     = {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       = {http://ceur-ws.org/Vol-78},
  urn       = {urn:nbn:de:0074-78-6},
  timestamp = {Mon, 30 May 2016 15:43:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/asp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dexaw/2003,
  title     = {14th International Workshop on Database and Expert Systems Applications
               (DEXA'03), September 1-5, 2003, Prague, Czech Republic},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8719},
  isbn      = {0-7695-1993-8},
  timestamp = {Mon, 24 Nov 2014 16:44:17 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dexaw/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2003,
  editor    = {Catuscia Palamidessi},
  title     = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
               India, December 9-13, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2916},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94619},
  doi       = {10.1007/b94619},
  isbn      = {3-540-20642-6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2003,
  editor    = {Moshe Y. Vardi and
               Andrei Voronkov},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13986},
  doi       = {10.1007/b13986},
  isbn      = {3-540-20101-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppswr/2003,
  editor    = {Fran{\c{c}}ois Bry and
               Nicola Henze and
               Jan Maluszynski},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94439},
  doi       = {10.1007/b94439},
  isbn      = {3-540-20582-9},
  timestamp = {Thu, 15 Jun 2017 21:36:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppswr/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ausai/2002,
  editor    = {Bob McKay and
               John K. Slaney},
  title     = {{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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36187-1},
  doi       = {10.1007/3-540-36187-1},
  isbn      = {3-540-00197-2},
  timestamp = {Thu, 15 Jun 2017 21:35:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ausai/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coopis/2002,
  editor    = {Robert Meersman and
               Zahir Tari},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36124-3},
  doi       = {10.1007/3-540-36124-3},
  isbn      = {3-540-00106-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coopis/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dexaw/2002,
  title     = {13th International Workshop on Database and Expert Systems Applications
               {(DEXA} 2002), 2-6 September 2002, Aix-en-Provence, France},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8104},
  isbn      = {0-7695-1668-8},
  timestamp = {Mon, 24 Nov 2014 16:44:17 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dexaw/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jelia/2002,
  editor    = {Sergio Flesca and
               Sergio Greco and
               Nicola Leone and
               Giovambattista Ianni},
  title     = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
               Cosenza, Italy, September, 23-26, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2424},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45757-7},
  doi       = {10.1007/3-540-45757-7},
  isbn      = {3-540-44190-5},
  timestamp = {Thu, 15 Jun 2017 21:42:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asp/2001,
  editor    = {Alessandro Provetti and
               Tran Cao Son},
  title     = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
               and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
               March 26-28, 2001},
  year      = {2001},
  timestamp = {Tue, 25 Apr 2006 15:46:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/asp/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2000,
  editor    = {Sanjiv Kapoor and
               Sanjiva Prasad},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44450-5},
  doi       = {10.1007/3-540-44450-5},
  isbn      = {3-540-41413-4},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jelia/2000,
  editor    = {Manuel Ojeda{-}Aciego and
               Inman P. de Guzm{\'{a}}n and
               Gerhard Brewka and
               Lu{\'{\i}}s Moniz Pereira},
  title     = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
               Malaga, Spain, September 29 - October 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1919},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40006-0},
  doi       = {10.1007/3-540-40006-0},
  isbn      = {3-540-41131-3},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/1999,
  editor    = {J{\"{o}}rg Flum and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48168-0},
  doi       = {10.1007/3-540-48168-0},
  isbn      = {3-540-66536-6},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icail/1999,
  editor    = {Jon Bing and
               Andrew J. I. Jone and
               Thomas F. Gordon},
  title     = {Proceedings of the Seventh International Conference on Artificial
               Intelligence and Law, {ICAIL} '99, Oslo, Norway, June 14-17, 1999},
  publisher = {{ACM}},
  year      = {1999},
  url       = {http://doi.acm.org/10.1145/323706},
  doi       = {10.1145/323706},
  isbn      = {1-58113-165-8},
  timestamp = {Thu, 30 Apr 2015 18:34:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icail/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1999,
  editor    = {Michael Gelfond and
               Nicola Leone and
               Gerald Pfeifer},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46767-X},
  doi       = {10.1007/3-540-46767-X},
  isbn      = {3-540-66749-0},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lid/1996,
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031733},
  doi       = {10.1007/BFb0031733},
  isbn      = {3-540-61814-7},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lid/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ds/1995,
  editor    = {Robert Meersman and
               Leo Mark},
  title     = {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},
  publisher = {Chapman {\&} Hall},
  year      = {1996},
  isbn      = {0-412-72600-9},
  timestamp = {Thu, 03 Jan 2002 11:56:49 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ds/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecsqaru/1995,
  editor    = {Christine Froidevaux and
               J{\"{u}}rg Kohlas},
  title     = {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},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60112-0},
  doi       = {10.1007/3-540-60112-0},
  isbn      = {3-540-60112-0},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecsqaru/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1993,
  editor    = {Lu{\'{\i}}s Moniz Pereira and
               Anil Nerode},
  title     = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
               Second International Workshop, Lisbon, Portugal, June 1993},
  publisher = {{MIT} Press},
  year      = {1993},
  isbn      = {0-262-66083-0},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/edbt/92,
  editor    = {Alain Pirotte and
               Claude Delobel and
               Georg Gottlob},
  title     = {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},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0032418},
  doi       = {10.1007/BFb0032418},
  isbn      = {3-540-55270-7},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/edbt/92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1992,
  editor    = {Werner Kuich},
  title     = {Automata, Languages and Programming, 19th International Colloquium,
               ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {623},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55719-9},
  doi       = {10.1007/3-540-55719-9},
  isbn      = {3-540-55719-9},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dexa/1991,
  editor    = {Dimitris Karagiannis},
  title     = {Proceedings of the International Conference on Database and Expert
               Systems Applications, Berlin, Germany, 1991},
  publisher = {Springer-Verlag, Wien},
  year      = {1991},
  isbn      = {3-211-82301-8},
  timestamp = {Mon, 24 Nov 2014 16:44:16 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dexa/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kr/1991,
  editor    = {James F. Allen and
               Richard Fikes and
               Erik Sandewall},
  title     = {Proceedings of the 2nd International Conference on Principles of Knowledge
               Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
               1991},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-165-1},
  timestamp = {Fri, 18 May 2012 15:02:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kr/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1991,
  editor    = {Anil Nerode and
               V. Wiktor Marek and
               V. S. Subrahmanian},
  title     = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
               First International Workshop, Washington, D.C., USA, July 1991},
  publisher = {The {MIT} Press},
  year      = {1991},
  isbn      = {0-262-64027-9},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfdbs/91,
  editor    = {Bernhard Thalheim and
               J{\'{a}}nos Demetrovics and
               Hans{-}Detlef Gerhardt},
  title     = {{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},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54009-1},
  doi       = {10.1007/3-540-54009-1},
  isbn      = {3-540-54009-1},
  timestamp = {Sun, 04 Jun 2017 10:04:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfdbs/91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jelia/1990,
  editor    = {Jan van Eijck},
  title     = {Logics in AI, European Workshop, {JELIA} '90, Amsterdam, The Netherlands,
               September 10-14, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {478},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0018429},
  doi       = {10.1007/BFb0018429},
  isbn      = {3-540-53686-8},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/jelia/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1990,
  editor    = {V. Wiktor Marek and
               Anil Nerode and
               Dino Pedreschi and
               V. S. Subrahmanian},
  title     = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
               Austin, TX, USA, November 1-2, 1990},
  year      = {1990},
  timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigmod/90,
  editor    = {Hector Garcia{-}Molina and
               H. V. Jagadish},
  title     = {Proceedings of the 1990 {ACM} {SIGMOD} International Conference on
               Management of Data, Atlantic City, NJ, May 23-25, 1990},
  publisher = {{ACM} Press},
  year      = {1990},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/caise/1989,
  editor    = {Janis A. Bubenko Jr. and
               Janis Stirna},
  title     = {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      = {2013},
  url       = {http://ceur-ws.org/Vol-961},
  urn       = {urn:nbn:de:0074-961-0},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/caise/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/1989,
  editor    = {S. Cook},
  title     = {{ECOOP} '89: Proceedings of the Third European Conference on Object-Oriented
               Programming, Nottingham, UK, July 10-14, 1989},
  publisher = {Cambridge University Press},
  year      = {1989},
  isbn      = {0-521-38232-7},
  timestamp = {Fri, 18 May 2012 15:03:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/1988,
  editor    = {Stein Gjessing and
               Kristen Nygaard},
  title     = {ECOOP'88 European Conference on Object-Oriented Programming, Oslo,
               Norway, August 15-17, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {322},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-45910-3},
  doi       = {10.1007/3-540-45910-3},
  isbn      = {3-540-50053-7},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecoop/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1979,
  editor    = {Hermann A. Maurer},
  title     = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
               July 16-20, 1979, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {71},
  publisher = {Springer},
  year      = {1979},
  url       = {https://doi.org/10.1007/3-540-09510-1},
  doi       = {10.1007/3-540-09510-1},
  isbn      = {3-540-09510-1},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1979},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1977,
  editor    = {Arto Salomaa and
               Magnus Steinby},
  title     = {Automata, Languages and Programming, Fourth Colloquium, University
               of Turku, Finland, July 18-22, 1977, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {52},
  publisher = {Springer},
  year      = {1977},
  url       = {https://doi.org/10.1007/3-540-08342-1},
  doi       = {10.1007/3-540-08342-1},
  isbn      = {3-540-08342-1},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1977},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1977,
  editor    = {Jozef Gruska},
  title     = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
               Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {53},
  publisher = {Springer},
  year      = {1977},
  url       = {https://doi.org/10.1007/3-540-08353-7},
  doi       = {10.1007/3-540-08353-7},
  isbn      = {0-387-08353-7},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/1977},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1976,
  editor    = {Antoni W. Mazurkiewicz},
  title     = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
               Gdansk, Poland, September 6-10, 1976, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {45},
  publisher = {Springer},
  year      = {1976},
  url       = {https://doi.org/10.1007/3-540-07854-1},
  doi       = {10.1007/3-540-07854-1},
  isbn      = {0-387-07854-1},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/1976},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier