"In computer question answering and problem solving
programs many of the questions of modal and tense logics appear as
practical design problems. One problem of particular interest appears
when we allow events to have the truth value ""unknown"", a natural value to
assign to some events which occur at other times than the present.
However, allowing a third value is not as simple as it seems."
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
