`Travelled to:`

1 × Australia

1 × Germany

1 × Japan

1 × Portugal

1 × The Netherlands

1 × United Kingdom

3 × USA

`Collaborated with:`

∅ M.Kaminski A.Podelski T.Tebbi C.Schulte R.Treinen J.Müller F.Baader B.Nebel W.Nutt

`Talks about:`

program (9) logic (6) constraint (5) concurr (3) tableaux (2) termin (2) hybrid (2) order (2) unif (2) represent (1)

## Person: Gert Smolka

### DBLP: Smolka:Gert

### Facilitated 1 volumes:

### Contributed to:

### Wrote 13 papers:

- RTA-2013-SmolkaT #recursion #unification
- Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (GS, TT), pp. 271–286.
- IJCAR-2010-KaminskiS #hybrid #logic
- Terminating Tableaux for Hybrid Logic with Eventualities (MK, GS), pp. 240–254.
- IJCAR-2008-KaminskiS #difference #hybrid #logic
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (MK, GS), pp. 210–225.
- ESOP-1998-Smolka #concurrent #constraints #functional #programming
- Concurrent Constraint Programming Based on Functional Programming (GS), pp. 1–11.
- ILPS-1997-Smolka #constraints #programming
- Constraint Programming in Oz (GS), pp. 37–38.
- ICLP-1995-PodelskiS #constraints #logic programming #semantics #source code
- Operational Semantics of Constraint Logic Programs with Coroutining (AP, GS), pp. 449–463.
- ICLP-1995-PodelskiS95a
- Situated Simplification (AP, GS), p. 826.
- ICLP-1995-Smolka #concurrent #constraints #named #programming
- Oz: Concurrent Constraint Programming for Real (GS), p. 13.
- ILPS-1994-SchulteS #concurrent #constraints #encapsulation #higher-order #programming
- Encapsulated Search for Higher-order Concurrent Constraint Programming (CS, GS), pp. 505–520.
- JICSLP-1992-SmolkaT #logic programming
- Records for Logic Programming (GS, RT), pp. 240–254.
- CADE-1990-MullerBNNS #concept #reasoning #representation #tutorial
- Tutorial on Reasoning and Representation with Concept Languages (JM, FB, BN, WN, GS), p. 681.
- ALP-1988-Smolka #logic programming #order
- Logic Programming with Polymorphically Order-Sorted Types (GS), pp. 53–70.
- LFP-1984-Smolka #data flow #logic programming #source code
- Making Control and Data Flow in Logic Programs Explicit (GS), pp. 311–322.