Ei valokuvaa Bart Bogaerts

Näytä Scopus-profiili

Bart Bogaerts

20162018

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Sormenjälki Sukella tutkimusaiheisiin, joissa Bart Bogaerts on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.

  • 5 Samanlaiset profiilit

Verkko Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Tutkimustuotos

  • 8 Conference contribution
  • 3 Konferenssiesitys
  • 2 Article

Exploiting Justifications for Lazy Grounding of Answer Set Programs

Bogaerts, B. & Weinzierl, A., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (toim.). s. 1737-1745 9 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • 3 Sitaatiot (Scopus)

    A compositional typed higher-order logic with definitions

    Dasseville, I., Van Der Hallen, M., Bogaerts, B., Janssens, G. & Denecker, M., 1 marraskuuta 2016, Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016, October 16–21, 2016, New York City, USA. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 Sivumäärä 14. (Open Access Series in Informatics ; Vuosikerta 52).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    • 2 Sitaatiot (Scopus)
    16 Lataukset (Pure)

    Breakid: Static symmetry breaking for ASP (system description)

    Devriendt, J. & Bogaerts, B., 2016, s. 25-39. 15 Sivumäärä.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Konferenssiesitys › Scientific › vertaisarvioitu

    • BreakID: Static Symmetry Breaking for ASP

    Devriendt, J. & Bogaerts, B., 2016.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Konferenssiesitys › Scientific

    Declarative Solver Development: Case Studies

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.. Baral, C., Delgrande, J. & Wolter, F. (toim.). AAAI PRESS, s. 74-83

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    • 5 Sitaatiot (Scopus)

    Lehtileikkeet

    Speed up solving complex problems: Be lazy and only work crucial tasks

    Bart Bogaerts

    20/07/2018 → 21/07/2018

    3 kohdetta/ Medianäkyvyys

    Lehdistö/media: Esiintyminen mediassa

    Speed up solving complex problems: be lazy and only work crucial tasks

    Bart Bogaerts

    19/07/2018

    1 kohde/ Medianäkyvyys

    Lehdistö/media: Esiintyminen mediassa