The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bart Bogaerts 0001" ( http://dblp.L3S.de/Authors/Bart_Bogaerts_0001 )

URL (Homepage):  http://www.bartbogaerts.eu/  Author page on DBLP  Author page in RDF  Community of Bart Bogaerts 0001 in ASPL-2

Publication years (Num. hits)
2012-2015 (19) 2016 (16) 2017-2019 (16)
Publication types (Num. hits)
article(25) incollection(1) inproceedings(21) phdthesis(1) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 52 publication records. Showing 51 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bart Bogaerts 0001, Esra Erdem 0001, Amelia Harrison Guest editorial: special issue on answer set programming and other computing paradigms. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Esra Erdem 0001, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang (eds.) Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001 Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Katrien Beuls, Bart Bogaerts 0001, Gianluca Bontempi, Pierre Geurts, Nick Harley, Bertrand Lebichot, Tom Lenaerts, Gilles Louppe, Paul Van Eecke (eds.) Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019. Search on Bibsonomy BNAIC/BENELEARN The full citation details ... 2019 DBLP  BibTeX  RDF
1Jens Claes, Bart Bogaerts 0001, Rocsildes Canoy, Emilio Gamba, Tias Guns ZebraTutor: Explaining How to Solve Logic Grid Puzzles. Search on Bibsonomy BNAIC/BENELEARN The full citation details ... 2019 DBLP  BibTeX  RDF
1Marc Denecker, Bart Bogaerts 0001, Joost Vennekens Explaining Actual Causation in Terms of Possible Causal Processes. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Safe inductions and their applications in knowledge representation. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Luís Cruz-Filipe Fixpoint semantics for active integrity constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Gerda Janssens, Marc Denecker Predicate logic as a modeling language: the IDP system. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Antonius Weinzierl Exploiting Justifications for Lazy Grounding of Answer Set Programs. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Bart Bogaerts 0001, Joost Vennekens A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell Propagators and Solvers for the Algebra of Modular Systems. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Amelia Harrison (eds.) Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Safe Inductions: An Algebraic Study. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Luís Cruz-Filipe Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker On Well-Founded Set-Inductions and Locally Monotone Operators. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker Bootstrapping Inference in the IDP Knowledge Base System. Search on Bibsonomy New Generation Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell Propagators and Solvers for the Algebra of Modular Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen, Jo Devriendt, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker Implementing a Relevance Tracker Module. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001 BreakID: Static Symmetry Breaking for ASP (System Description). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker On Local Domain Symmetry for Model Expansion. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker On local domain symmetry for model expansion. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Stable-unstable semantics: Beyond NP with normal logic programs. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker A Compositional Typed Higher-Order Logic with Definitions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Solving QBF Instances with Nested SAT Solvers. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi SAT-to-SAT in QBFEval 2016. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker Improved Static Symmetry Breaking for SAT. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Declarative Solver Development: Case Studies. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen, Bart Bogaerts 0001, Jo Devriendt, Gerda Janssens, Marc Denecker Relevance for SAT(ID). Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Pieter Van Hertum, Marcos Cramer, Bart Bogaerts 0001, Marc Denecker Distributed Autoepistemic Logic and its Application to Access Control. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Grounded fixpoints and their applications in knowledge representation. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Guy Van den Broeck Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Guy Van den Broeck Knowledge compilation of logic programs using approximation fixpoint theory. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Grounded Fixpoints. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Partial Grounded Fixpoints. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Bart Bogaerts 0001 Groundedness in Logics with a Fixpoint Semantics; Gegrondheid in logicas met een vaste-puntssemantiek. (PDF / PS) Search on Bibsonomy 2015   RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating dynamic systems using Linear Time Calculus theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche Inference in the FO(C) Modelling Language. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker Predicate Logic as a Modelling Language: The IDP System. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche FO(C): A Knowledge Representation Language of Causality. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche FO(C) and Related Modelling Paradigms. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating Dynamic Systems Using Linear Time Calculus Theories. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche Inference in the FO(C) Modelling Language. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pieter Van Hertum, Joost Vennekens, Bart Bogaerts 0001, Jo Devriendt, Marc Denecker The effects of buying a new car: an extension of the IDP Knowledge Base System. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Jo Devriendt, Marc Denecker Model Expansion in the Presence of Function Symbols Using Constraint Programming. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Bart Bogaerts 0001, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer Modeling Machine Learning and Data Mining Problems with FO(·). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Broes De Cat, Marc Denecker, Christopher Mears Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license