Petr Jirku

According to our database, Petr Jirku authored at least 4 papers between 1975 and 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1990

Nonmonotonic reasoning and logic programming.

Petr Jirku

Knowl. Based Syst., 1990

1982

On Verbosity Levels In Cognitive Problem Solvers.

Petr Jirku, Tomás Havránek

Proceedings of the 9th International Conference on Computational Linguistics, 1982

Inferencing And Search For An Answer In TIBAQ.

Petr Jirku, Jan Hajic

Proceedings of the 9th International Conference on Computational Linguistics, 1982

1975

Towards an integrated theory of formal and natural languages.

Petr Jirku

Kybernetika, 1975