`Travelled to:`

1 × Cyprus

1 × France

1 × Israel

1 × Japan

1 × Sweden

1 × The Netherlands

2 × USA

`Collaborated with:`

F.Sadri ∅ F.Toni P.M.Dung P.Soper

`Talks about:`

logic (7) program (6) calculus (3) event (2) transform (1) synthesi (1) procedur (1) argument (1) approach (1) variant (1)

## Person: Robert A. Kowalski

### DBLP: Kowalski:Robert_A=

### Facilitated 6 volumes:

### Contributed to:

### Wrote 11 papers:

- ICLP-2001-Kowalski #logic #question
- Is Logic Really Dead or Only Just Sleeping? (RAK), pp. 2–3.
- LOPSTR-1996-DungKT #proving #reasoning #synthesis
- Synthesis of Proof Procedures for Default Reasoning (PMD, RAK, FT), pp. 313–324.
- ICLP-1995-SadriK #calculus
- Variants of the Event Calculus (FS, RAK), pp. 67–81.
- ICLP-1995-ToniK #abduction #logic programming #reduction #source code
- Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.
- LOPSTR-1995-ToniK #approach #logic programming #program transformation
- An Argumentation-Theoretic Approach to Logic Program Transformation (FT, RAK), pp. 61–75.
- ILPS-1994-KowalskiS #calculus
- The Situation Calculus and Event Calculus Compared (RAK, FS), pp. 539–553.
- ICLP-1991-Kowalski #logic programming #source code
- Legislation as Logic Programs (RAK), p. 910.
- CLP-1990-KowalskiS90 #exception #logic programming #source code
- Logic Programs with Exceptions (RAK, FS), pp. 598–613.
- VLDB-1987-KowalskiSS #database #deduction
- Integrity Checking in Deductive Databases (RAK, FS, PS), pp. 61–69.
- SLP-1985-Kowalski85 #logic programming
- Directions for Logic Programming (RAK), pp. 2–7.