`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:

### 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.