`Travelled to:`

1 × Belgium

1 × Canada

1 × Finland

1 × France

1 × Germany

1 × Spain

1 × United Kingdom

2 × Israel

3 × Italy

3 × USA

`Collaborated with:`

∅ S.Brand A.Schaerf M.Gabbrielli A.Pellegrini M.Bezem H.A.Blair J.Pugin C.Delporte G.D.Plotkin J.W.d.Bakker E.Marchiori C.Palamidessi N.Francez S.Katz

`Talks about:`

program (6) constraint (2) stratifi (2) theori (2) semant (2) prolog (2) declar (2) order (2) logic (2) first (2)

## Person: Krzysztof R. Apt

### DBLP: Apt:Krzysztof_R=

### Facilitated 1 volumes:

### Contributed to:

### Wrote 15 papers:

- SAC-2003-AptB #constraints #programming #rule-based
- Schedulers for Rule-Based Constraint Programming (KRA, SB), pp. 14–21.
- CL-2000-Apt #first-order #logic #semantics
- A Denotational Semantics for First-Order Logic (KRA), pp. 53–69.
- ICALP-1997-Apt #constraints
- From Chaotic Iteration to Constraint Propagation (KRA), pp. 36–55.
- POPL-1997-AptS #imperative #programming
- Search and Imperative Programming (KRA, AS), pp. 67–79.
- ICLP-1994-AptG #declarative
- Declarative Interpretations Reconsidered (KRA, MG), pp. 74–89.
- ILPS-1993-Apt #declarative #programming #prolog
- Declarative Programming in Prolog (KRA), pp. 12–35.
- ALP-1992-AptMP #first-order #formal method #prolog
- A Theory of First-Order Built-in’s of Prolog (KRA, EM, CP), pp. 69–83.
- PLILP-1992-AptP #problem #why
- Why the Occur-Check is Not a Problem (KRA, AP), pp. 69–86.
- CLP-1990-AptB90 #source code
- Acyclic Programs (KRA, MB), pp. 617–633.
- JICSCP-1988-AptB88 #classification #modelling #source code
- Arithmetic Classification of Perfect Models of Stratified Programs (KRA, HAB), pp. 765–779.
- PODS-1987-AptP #database #maintenance
- Maintenance of Stratified Databases Viewed as a Belief Revision System (KRA, JMP), pp. 136–145.
- POPL-1987-AptFK #distributed #programming
- Appraising Fairness in Languages for Distributed Programming (KRA, NF, SK), pp. 189–198.
- ICALP-1983-AptD #axiom #logic #using
- An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (KRA, CD), pp. 15–27.
- ICALP-1981-AptP #nondeterminism
- A Cook’s Tour of Countable Nondeterminism (KRA, GDP), pp. 479–494.
- ICALP-1977-AptB #pascal #proving #semantics
- Semantics and Proof Theory of Pascal Procedures (KRA, JWdB), pp. 30–44.