BibTeX records: Glauber De Bona

download as .bib file

@article{DBLP:journals/ijar/FariaGBMC19,
  author    = {Francisco H. O. V. de Faria and
               Arthur Colombini Gusm{\~{a}}o and
               Glauber De Bona and
               Denis Deratani Mau{\'{a}} and
               F{\'{a}}bio Gagliardi Cozman},
  title     = {Speeding up parameter and rule learning for acyclic probabilistic
               logic programs},
  journal   = {Int. J. Approx. Reasoning},
  volume    = {106},
  pages     = {32--50},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.ijar.2018.12.012},
  doi       = {10.1016/j.ijar.2018.12.012},
  timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijar/FariaGBMC19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/BonaC18,
  author    = {Glauber De Bona and
               F{\'{a}}bio Gagliardi Cozman},
  title     = {On the Coherence of Probabilistic Relational Formalisms},
  journal   = {Entropy},
  volume    = {20},
  number    = {4},
  pages     = {229},
  year      = {2018},
  url       = {https://doi.org/10.3390/e20040229},
  doi       = {10.3390/e20040229},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entropy/BonaC18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonaGHK18,
  author    = {Glauber De Bona and
               John Grant and
               Anthony Hunter and
               S{\'{e}}bastien Konieczny},
  title     = {Towards a Unified Framework for Syntactic Inconsistency Measures},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  pages     = {1803--1810},
  year      = {2018},
  crossref  = {DBLP:conf/aaai/2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16813},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/BonaGHK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-09504,
  author    = {Arthur Colombini Gusm{\~{a}}o and
               Alvaro Henrique Chaim Correia and
               Glauber De Bona and
               F{\'{a}}bio Gagliardi Cozman},
  title     = {Interpreting Embedding Models of Knowledge Bases: {A} Pedagogical
               Approach},
  journal   = {CoRR},
  volume    = {abs/1806.09504},
  year      = {2018},
  url       = {http://arxiv.org/abs/1806.09504},
  archivePrefix = {arXiv},
  eprint    = {1806.09504},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1806-09504},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonaH17,
  author    = {Glauber De Bona and
               Anthony Hunter},
  title     = {Localising iceberg inconsistencies},
  journal   = {Artif. Intell.},
  volume    = {246},
  pages     = {118--151},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.artint.2017.02.005},
  doi       = {10.1016/j.artint.2017.02.005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/BonaH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FingerB17,
  author    = {Marcelo Finger and
               Glauber De Bona},
  title     = {Algorithms for Deciding Counting Quantifiers over Unary Predicates},
  booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
               February 4-9, 2017, San Francisco, California, {USA.}},
  pages     = {3878--3884},
  year      = {2017},
  crossref  = {DBLP:conf/aaai/2017},
  url       = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515},
  timestamp = {Mon, 06 Mar 2017 08:17:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/FingerB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Bona16,
  author    = {Glauber De Bona},
  title     = {Medindo inconsist{\^{e}}ncia em bases de conhecimento probabil{\'{\i}}stico},
  school    = {University of S{\~{a}}o Paulo, Brazil},
  year      = {2016},
  url       = {http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006/},
  timestamp = {Sun, 27 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/ndltd/Bona16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonaFRSW16,
  author    = {Glauber De Bona and
               Marcelo Finger and
               M{\'{a}}rcio Moretto Ribeiro and
               Yuri David Santos and
               Renata Wassermann},
  title     = {Consolidating Probabilistic Knowledge Bases via Belief Contraction},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fifteenth International Conference, {KR} 2016, Cape Town, South
               Africa, April 25-29, 2016.},
  pages     = {125--134},
  year      = {2016},
  crossref  = {DBLP:conf/kr/2016},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840},
  timestamp = {Thu, 21 Apr 2016 20:01:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/BonaFRSW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BonaF15,
  author    = {Glauber De Bona and
               Marcelo Finger},
  title     = {Measuring inconsistency in probabilistic logic: rationality postulates
               and Dutch book interpretation},
  journal   = {Artif. Intell.},
  volume    = {227},
  pages     = {140--164},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.artint.2015.06.006},
  doi       = {10.1016/j.artint.2015.06.006},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/BonaF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FingerB15,
  author    = {Marcelo Finger and
               Glauber De Bona},
  title     = {Probabilistic satisfiability: algorithms with the presence and absence
               of a phase transition},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {75},
  number    = {3-4},
  pages     = {351--389},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10472-015-9466-6},
  doi       = {10.1007/s10472-015-9466-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/FingerB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/BonaCF15,
  author    = {Glauber De Bona and
               F{\'{a}}bio Gagliardi Cozman and
               Marcelo Finger},
  title     = {Generalized probabilistic satisfiability through integer programming},
  journal   = {J. Braz. Comp. Soc.},
  volume    = {21},
  number    = {1},
  pages     = {11},
  year      = {2015},
  url       = {https://doi.org/10.1186/s13173-015-0028-x},
  doi       = {10.1186/s13173-015-0028-x},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jbcs/BonaCF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BonaCF14,
  author    = {Glauber De Bona and
               F{\'{a}}bio Gagliardi Cozman and
               Marcelo Finger},
  title     = {Towards classifying propositional probabilistic logics},
  journal   = {J. Applied Logic},
  volume    = {12},
  number    = {3},
  pages     = {349--368},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.jal.2014.01.005},
  doi       = {10.1016/j.jal.2014.01.005},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/japll/BonaCF14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/BonaCF13,
  author    = {Glauber De Bona and
               F{\'{a}}bio Gagliardi Cozman and
               Marcelo Finger},
  title     = {Generalized Probabilistic Satisfiability},
  booktitle = {Brazilian Conference on Intelligent Systems, {BRACIS} 2013, Fortaleza,
               CE, Brazil, 19-24 October, 2013},
  pages     = {182--188},
  year      = {2013},
  crossref  = {DBLP:conf/bracis/2013},
  url       = {https://doi.org/10.1109/BRACIS.2013.38},
  doi       = {10.1109/BRACIS.2013.38},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bracis/BonaCF13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FingerB11,
  author    = {Marcelo Finger and
               Glauber De Bona},
  title     = {Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition},
  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  pages     = {528--533},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/2011},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-096},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-096},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/FingerB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/FingerB10,
  author    = {Marcelo Finger and
               Glauber De Bona},
  title     = {A Logic Based Algorithm for Solving Probabilistic Satisfiability},
  booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2010, 12th Ibero-American
               Conference on AI, Bah{\'{\i}}a Blanca, Argentina, November 1-5,
               2010. Proceedings},
  pages     = {453--462},
  year      = {2010},
  crossref  = {DBLP:conf/iberamia/2010},
  url       = {https://doi.org/10.1007/978-3-642-16952-6\_46},
  doi       = {10.1007/978-3-642-16952-6\_46},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iberamia/FingerB10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/FingerB10,
  author    = {Marcelo Finger and
               Glauber De Bona},
  title     = {A Refuted Conjecture on Probabilistic Satisfiability},
  booktitle = {Advances in Artificial Intelligence - {SBIA} 2010 - 20th Brazilian
               Symposium on Artificial Intelligence, S{\~{a}}o Bernardo do Campo,
               Brazil, October 23-28, 2010. Proceedings},
  pages     = {293--302},
  year      = {2010},
  crossref  = {DBLP:conf/sbia/2010},
  url       = {https://doi.org/10.1007/978-3-642-16138-4\_30},
  doi       = {10.1007/978-3-642-16138-4\_30},
  timestamp = {Wed, 17 May 2017 14:24:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbia/FingerB10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2018,
  editor    = {Sheila A. McIlraith and
               Kilian Q. Weinberger},
  title     = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/schedConf/presentations},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2017,
  editor    = {Satinder P. Singh and
               Shaul Markovitch},
  title     = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
               February 4-9, 2017, San Francisco, California, {USA}},
  publisher = {{AAAI} Press},
  year      = {2017},
  url       = {http://www.aaai.org/Library/AAAI/aaai17contents.php},
  timestamp = {Mon, 06 Mar 2017 08:17:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2016,
  editor    = {Chitta Baral and
               James P. Delgrande and
               Frank Wolter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fifteenth International Conference, {KR} 2016, Cape Town, South
               Africa, April 25-29, 2016},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/KR/kr16contents.php},
  isbn      = {978-1-57735-755-1},
  timestamp = {Thu, 21 Apr 2016 20:01:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bracis/2013,
  title     = {Brazilian Conference on Intelligent Systems, {BRACIS} 2013, Fortaleza,
               CE, Brazil, 19-24 October, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6723866},
  isbn      = {978-0-7695-5092-3},
  timestamp = {Fri, 23 Dec 2016 10:26:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/bracis/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2011,
  editor    = {Toby Walsh},
  title     = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  publisher = {{IJCAI/AAAI}},
  year      = {2011},
  url       = {http://ijcai.org/proceedings/2011},
  isbn      = {978-1-57735-516-8},
  timestamp = {Wed, 20 Jul 2016 14:35:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iberamia/2010,
  editor    = {{\'{A}}ngel Fernando Kuri Morales and
               Guillermo Ricardo Simari},
  title     = {Advances in Artificial Intelligence - {IBERAMIA} 2010, 12th Ibero-American
               Conference on AI, Bah{\'{\i}}a Blanca, Argentina, November 1-5,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6433},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16952-6},
  doi       = {10.1007/978-3-642-16952-6},
  isbn      = {978-3-642-16951-9},
  timestamp = {Sun, 21 May 2017 00:22:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iberamia/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbia/2010,
  editor    = {Ant{\^{o}}nio Carlos da Rocha Costa and
               Rosa Maria Vicari and
               Flavio Tonidandel},
  title     = {Advances in Artificial Intelligence - {SBIA} 2010 - 20th Brazilian
               Symposium on Artificial Intelligence, S{\~{a}}o Bernardo do Campo,
               Brazil, October 23-28, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6404},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-16138-4},
  doi       = {10.1007/978-3-642-16138-4},
  isbn      = {978-3-642-16137-7},
  timestamp = {Wed, 17 May 2017 14:24:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbia/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier