Kristof Van Belleghem

Ajinomoto (United States) — United States

Computer Science · Physical Sciences

9h-index347citations22works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Semantic Web and Ontologies(8), Logic, Reasoning, and Knowledge(6), Constraint Satisfaction and Optimization(3), Formal Methods in Verification(2), Multi-Agent Systems and Negotiation(2)

Publications22 total

Erratum
Annals of Nutrition and Metabolism·2012Open Access
FENS News
Annals of Nutrition and Metabolism·2012Open Access
Effect of the Intake of Resveratrol, Resveratrol Phosphate, and Catechin-Rich Grape Seed Extract on Markers of Oxidative Stress and Gene Expression in Adult Obese Subjects
Annals of Nutrition and Metabolism·2012· 75 cited
Front & Back Matter
Annals of Nutrition and Metabolism·2012Open Access
The Official FENS Calendar
Annals of Nutrition and Metabolism·2012Open Access
Use of biopolymers and rapid sand filtration as physicochemical reconditioning technique for vegetable washing processes
Ghent University Academic Bibliography (Ghent University)·2012· 1 cited
IUNS News
Annals of Nutrition and Metabolism·2012Open Access
Temporal Reasoning with iff-Abduction
Foundations of artificial intelligence·2005Open Access
De novo production of (+)-aristolochene by sporulated surface cultures of Penicillium roqueforti
Phytochemistry·2002· 20 cited
Biotransformation of (R)-(+)- and (S)-(−)-limonene by fungi and the use of solid phase microextraction for screening
Phytochemistry·2001· 86 cited
An Inductive Definition Approach to Ramifications.
Lirias (KU Leuven)·1998· 41 citedOpen Access
A constructive approach to the ramification problem
Lirias (KU Leuven)·1998· 7 citedOpen Access
Open logic programming as a knowledge representation language for dynamic problem domains
Lirias (KU Leuven)·1997· 1 citedOpen Access
Representing ramifications in an event-based language
Lirias (KU Leuven)·1997· 2 citedOpen Access
Ramifications in an event-based language
Lirias (KU Leuven)·1997Open Access
A Strong Correspondence between Description Logics and Open Logic Programming
The MIT Press eBooks·1997· 35 cited
On the relation between situation calculus and event calculus
The Journal of Logic Programming·1997· 28 citedOpen Access
A realistic experiment in knowledge representation in open event calculus: protocol specification
Lirias (KU Leuven)·1996· 9 citedOpen Access
Combining Situation Calculus and Event Calculus
The MIT Press eBooks·1995· 24 cited
Using event calculus for protocol specification. An experiment
Lirias (KU Leuven)·1995· 1 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Marc Denecker(12), Druck Reinhardt Druck Basel(8), Danny De Schreye(7), Donat De Groote(6), Willy Van Brussel(6), Anne Mukaneza(6), Leila Amininejad(6), Jacques Devière(5), Tajana Pavić(5), Neven Ljubičić(5), Sanja Stojsavljević(5), Željko Krznarić(5), Daniel Antonio de Luis(5), D. Pacheco(5), R. Conde(5), David Primo(5), Fung-Jung Yu(5), Wen‐Tsan Chang(5), Hsin‐Fang Chung(5), Chin-Yi Wu(5)