BibTeX records: Nikolay Pelov

download as .bib file

@article{DBLP:journals/tplp/PelovDB07,
  author    = {Nikolay Pelov and
               Marc Denecker and
               Maurice Bruynooghe},
  title     = {Well-founded and stable semantics of logic programs with aggregates},
  journal   = {Theory Pract. Log. Program.},
  volume    = {7},
  number    = {3},
  pages     = {301--353},
  year      = {2007},
  url       = {https://doi.org/10.1017/S1471068406002973},
  doi       = {10.1017/S1471068406002973},
  timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tplp/PelovDB07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PelovT05,
  author    = {Nikolay Pelov and
               Eugenia Ternovska},
  editor    = {Maurizio Gabbrielli and
               Gopal Gupta},
  title     = {Reducing Inductive Definitions to Propositional Satisfiability},
  booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
               Spain, October 2-5, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3668},
  pages     = {221--234},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562931\_18},
  doi       = {10.1007/11562931\_18},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/iclp/PelovT05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0509024,
  author    = {Nikolay Pelov and
               Marc Denecker and
               Maurice Bruynooghe},
  title     = {Well-founded and Stable Semantics of Logic Programs with Aggregates},
  journal   = {CoRR},
  volume    = {abs/cs/0509024},
  year      = {2005},
  url       = {http://arxiv.org/abs/cs/0509024},
  archivePrefix = {arXiv},
  eprint    = {cs/0509024},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-cs-0509024.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PelovDB04,
  author    = {Nikolay Pelov and
               Marc Denecker and
               Maurice Bruynooghe},
  editor    = {Vladimir Lifschitz and
               Ilkka Niemel{\"{a}}},
  title     = {Partial Stable Models for Logic Programs with Aggregates},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
               {LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2923},
  pages     = {207--219},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-24609-1\_19},
  doi       = {10.1007/978-3-540-24609-1\_19},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/lpnmr/PelovDB04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/PelovT04,
  author    = {Nikolay Pelov and
               Miroslaw Truszczynski},
  editor    = {James P. Delgrande and
               Torsten Schaub},
  title     = {Semantics of disjunctive programs with monotone aggregates - an operator-based
               approach},
  booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
               Whistler, Canada, June 6-8, 2004, Proceedings},
  pages     = {327--334},
  year      = {2004},
  url       = {http://www.pims.math.ca/science/2004/NMR/papers/paper43.pdf},
  timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/PelovT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/PelovDB03,
  author    = {Nikolay Pelov and
               Marc Denecker and
               Maurice Bruynooghe},
  editor    = {Marina De Vos and
               Alessandro Provetti},
  title     = {Translation of Aggregate Programs to Normal Logic Programs},
  booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
               2003},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {78},
  publisher = {CEUR-WS.org},
  year      = {2003},
  url       = {http://ceur-ws.org/Vol-78/asp03-final-Pelov.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:21 +0100},
  biburl    = {https://dblp.org/rec/conf/asp/PelovDB03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DeneckerPB01,
  author    = {Marc Denecker and
               Nikolay Pelov and
               Maurice Bruynooghe},
  editor    = {Philippe Codognet},
  title     = {Ultimate Well-Founded and Stable Semantics for Logic Programs with
               Aggregates},
  booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
               Cyprus, November 26 - December 1, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2237},
  pages     = {212--226},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45635-X\_22},
  doi       = {10.1007/3-540-45635-X\_22},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/iclp/DeneckerPB01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PelovMD00,
  author    = {Nikolay Pelov and
               Emmanuel De Mot and
               Marc Denecker},
  editor    = {Michel Parigot and
               Andrei Voronkov},
  title     = {Logic Programming Approaches for Representing and Solving Constraint
               Satisfaction Problems: {A} Comparison},
  booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
               {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1955},
  pages     = {225--239},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44404-1\_15},
  doi       = {10.1007/3-540-44404-1\_15},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/PelovMD00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PelovB00,
  author    = {Nikolay Pelov and
               Maurice Bruynooghe},
  editor    = {Maurizio Gabbrielli and
               Frank Pfenning},
  title     = {Extending constraint logic programming with open functions},
  booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
               on Principles and practice of declarative programming, Montreal, Canada,
               September 20-23, 2000},
  pages     = {235--244},
  publisher = {{ACM}},
  year      = {2000},
  url       = {https://doi.org/10.1145/351268.351295},
  doi       = {10.1145/351268.351295},
  timestamp = {Tue, 27 Nov 2018 15:37:24 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/PelovB00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0011030,
  author    = {Nikolay Pelov and
               Emmanuel De Mot and
               Marc Denecker},
  title     = {Logic Programming Approaches for Representing and Solving Constraint
               Satisfaction Problems: {A} Comparison},
  journal   = {CoRR},
  volume    = {cs.AI/0011030},
  year      = {2000},
  url       = {https://arxiv.org/abs/cs/0011030},
  timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/cs-AI-0011030.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0003026,
  author    = {Nikolay Pelov and
               Emmanuel De Mot and
               Maurice Bruynooghe},
  title     = {A Comparison of Logic Programming Approaches for Representation and
               Solving of Constraint Satisfaction Problems},
  journal   = {CoRR},
  volume    = {cs.LO/0003026},
  year      = {2000},
  url       = {https://arxiv.org/abs/cs/0003026},
  timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/cs-LO-0003026.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0003069,
  author    = {Nikolay Pelov and
               Maurice Bruynooghe},
  title     = {Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog},
  journal   = {CoRR},
  volume    = {cs.LO/0003069},
  year      = {2000},
  url       = {https://arxiv.org/abs/cs/0003069},
  timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/cs-LO-0003069.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PelovB99,
  author    = {Nikolay Pelov and
               Maurice Bruynooghe},
  editor    = {Harald Ganzinger and
               David A. McAllester and
               Andrei Voronkov},
  title     = {Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog},
  booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
               LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1705},
  pages     = {358--375},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48242-3\_22},
  doi       = {10.1007/3-540-48242-3\_22},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/PelovB99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/MarkovP98,
  author    = {Zdravko Markov and
               Nikolay Pelov},
  editor    = {Fausto Giunchiglia},
  title     = {A Framework for Inductive Learning Based on Subsumption Lattices},
  booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
               International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
               21-13, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1480},
  pages     = {341--352},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0057457},
  doi       = {10.1007/BFb0057457},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/aimsa/MarkovP98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics