Ei valokuvaa Bart Bogaerts

Näytä Scopus-profiili

Bart Bogaerts

  • Tutkijatohtori, COIN
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.
  • 7 Samanlaiset profiilit

Verkko

Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.
  • 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

    7 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)
    25 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

    6 Sitaatiot (Scopus)
Viestisi lähetys onnistui.
Viestiäsi ei lähetetty, koska tapahtui virhe.
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.