Travelled to:1 × Italy
1 × Poland
Collaborated with:T.Truderung Bartosz Kostka Jaroslaw Kwiecieli Jakub Kowalski
Talks about:constraint (1) polymorph (1) adventur (1) regular (1) program (1) golovin (1) direct (1) logic (1) agent (1) type (1)
Person: Pawel Rychlikowski
DBLP: Rychlikowski:Pawel
Contributed to:
2004
2001
2017Wrote 3 papers:
- CSL-2004-RychlikowskiT #constraints #set
- Set Constraints on Regular Terms (PR, TT), pp. 458–472.
- PPDP-2001-RychlikowskiT #logic programming #polymorphism
- Polymorphic Directional Types for Logic Programming (PR, TT), pp. 61–72.
- CIG-2017-KostkaKKR
- Text-based adventures of the golovin AI agent (BK, JK, JK, PR), pp. 181–188.