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: Belleghem:Kristof_Van
Contributed to:
1997199619951994Wrote 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.