Login / Signup
Petr Jirku
Publication Activity (10 Years)
Years Active: 1975-1990
Publications (10 Years): 0
</>
Publications
</>
Petr Jirku
Nonmonotonic reasoning and logic programming.
Knowl. Based Syst.
3 (1) (1990)
Petr Jirku
,
Tomás Havránek
On Verbosity Levels In Cognitive Problem Solvers.
COLING
(1982)
Petr Jirku
,
Jan Hajic
Inferencing And Search For An Answer In TIBAQ.
COLING
(1982)
Petr Jirku
Towards an integrated theory of formal and natural languages.
Kybernetika
11 (2) (1975)