| 1990 | ||
|---|---|---|
| 3 | Petr Jirku: Nonmonotonic reasoning and logic programming. Knowl.-Based Syst. 3(1): 28-31 (1990) | |
| 1982 | ||
| 2 | Petr Jirku, Jan Hajic: Inferencing And Search For An Answer In TIBAQ. COLING 1982: 139-141 | |
| 1 | Petr Jirku, Tomás Havránek: On Verbosity Levels In Cognitive Problem Solvers. COLING 1982: 142-145 | |
| 1 | Jan Hajic | [2] |
| 2 | Tomás Havránek | [1] |