| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | — | book |
Logic and Language Models for Computer Science, 4th Ed.
|
| 2017 | — | book |
Logic and Language Models for Computer Science (3rd Ed.)
|
| 2013 | J | jnl |
CoRR
|
| 2002 | J | jnl |
SIGACT News
|
| 1998 | B | conf |
Intelligent Tutoring Systems
|
| 1997 | — | conf |
ANLP
|
| 1996 | B | conf |
Intelligent Tutoring Systems
|
| 1996 | B | conf |
COLING
|
| 1994 | B | conf |
INLG
|
| 1992 | — | conf |
ICCAL
|
| 1989 | — | conf |
ICCAL
|
| 1987 | J | jnl |
Cogn. Sci.
|
| 1985 | J | jnl |
Commun. ACM
|
| 1985 | A | conf |
UAI
|
| 1984 | A* | conf |
AAAI
|
| 1971 | — | — |