BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Germany
1 × Italy
1 × Japan
Collaborated with:
M.Denecker D.D.Schreye G.Duchatelet F.Piessens
Talks about:
calculus (4) event (3) logic (2) open (2) correspond (1) represent (1) protocol (1) knowledg (1) descript (1) realist (1)

Person: Kristof Van Belleghem

DBLP DBLP: Belleghem:Kristof_Van

Contributed to:

ICLP 19971997
JICSLP 19961996
ICLP 19951995
ICLP 19941994

Wrote 4 papers:

ICLP-1997-BelleghemDS #logic #logic programming
A Strong Correspondence between Description Logics and Open Logic Programming (KVB, MD, DDS), pp. 346–360.
JICSLP-1996-DeneckerBDPS #calculus #empirical #information management #protocol #representation #specification
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification (MD, KVB, GD, FP, DDS), pp. 170–184.
ICLP-1995-BelleghemDS #calculus
Combining Situation Calculus and Event Calculus (KVB, MD, DDS), pp. 83–97.
ICLP-1994-BelleghemDS #abduction #calculus #representation
Representing Continuous Change in the Abductive Event Calculus (KVB, MD, DDS), pp. 225–239.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.