Zobrazeno 1 - 10
of 487
pro vyhledávání: '"Broes"'
Autor:
Deschodt Laurent, Lançon Mathieu, Desoutter Samuel, Hulin Guillaume, Simon François-Xavier, Vanwalscappel Bruno, Créteur Yves, Broes Frédéric, Devred Véronique, Favier Dominique, Le Bayon Anne-Lise
Publikováno v:
BSGF - Earth Sciences Bulletin, Vol 192, p 12 (2021)
Dans le cadre de l’agrandissement du port de Dunkerque, plus de 170 hectares de la plaine maritime ont été explorés sur la future « Zone Grande Industrie », dans l’ancien estuaire de la Denna (ou Déna, ou L’Enna), sous-bassin du petite fl
Externí odkaz:
https://doaj.org/article/1b79e63d5bd24e1d817788db5549feb4
Publikováno v:
In Mayo Clinic Proceedings: Digital Health September 2023 1(3):395-405
Publikováno v:
Frontiers in Digital Health, Vol 4 (2022)
Sleep problems, like insomnia, are a prevalent condition associated with major health risks. Prevention and treatment of sleep problems are thus essential to preserve physical and mental health. Previous work supports the effectiveness of breathing g
Externí odkaz:
https://doaj.org/article/2ff8dc10cb6c4cada0489d31b67b5e93
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bogaerts, Bart, Jansen, Joachim, Bruynooghe, Maurice, De Cat, Broes, Vennekens, Joost, Denecker, Marc
Publikováno v:
Theory and Practice of Logic Programming 14 (2014) 477-492
To appear in Theory and Practice of Logic Programming (TPLP). Dynamic systems play a central role in fields such as planning, verification, and databases. Fragmented throughout these fields, we find a multitude of languages to formally specify dynami
Externí odkaz:
http://arxiv.org/abs/1405.1523
Publikováno v:
Journal of Artificial Intelligence Research, feb 2015, volume 52, pages 235-286
Finding satisfying assignments for the variables involved in a set of constraints can be cast as a (bounded) model generation problem: search for (bounded) models of a theory in some logic. The state-of-the-art approach for bounded model generation f
Externí odkaz:
http://arxiv.org/abs/1402.6889
With the technology of the time, Kowalski's seminal 1974 paper {\em Predicate Logic as a Programming Language} was a breakthrough for the use of logic in computer science. It introduced two fundamental ideas: on the declarative side, the use of the H
Externí odkaz:
http://arxiv.org/abs/1401.6312
Autor:
Bruynooghe, Maurice, Blockeel, Hendrik, Bogaerts, Bart, De Cat, Broes, De Pooter, Stef, Jansen, Joachim, Labarre, Anthony, Ramon, Jan, Denecker, Marc, Verwer, Sicco
Publikováno v:
Theory and Practice of Logic Programming 15 (2014) 783-817
This paper provides a gentle introduction to problem solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first order logic enriched with types, inductive definitions, aggregates and partial functions. It offers it
Externí odkaz:
http://arxiv.org/abs/1309.6883
Autor:
Martens, Broes, Drebert, Zuzanna
Publikováno v:
In Journal of Steroid Biochemistry and Molecular Biology April 2019 188:147-155
Publikováno v:
Theory and Practice of Logic Programming, Volume 10, Special Issue 4-6, July 2010, pp 581-596
We introduce fixpoint definitions, a rule-based reformulation of fixpoint constructs. The logic FO(FD), an extension of classical logic with fixpoint definitions, is defined. We illustrate the relation between FO(FD) and FO(ID), which is developed as
Externí odkaz:
http://arxiv.org/abs/1007.3819