1990 | ||
---|---|---|
3 | EE | Petr Jirku: Nonmonotonic reasoning and logic programming. Knowl.-Based Syst. 3(1): 28-31 (1990) |
1982 | ||
2 | EE | Petr Jirku, Jan Hajic: Inferencing And Search For An Answer In TIBAQ. COLING 1982: 139-141 |
1 | EE | 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] |