This paper presents a theory of generalized temporal reasoning. We focus on the related problems of 1. Temporal Projection-determining all the facts true in a chronicle, given a partial description of that chronicle, and 2. Explanation-figuring out what went wrong if an unexpected outcome occurs. We present a non-monotonic temporal logic based on the notion that actions only happen if they are ...

We present the proof theory and the model theory of a monotonic framework for default reasoning, and we extend logic programming techniques to this framework. Standard for-malizations of default reasoning do not syntactically separate between hard knowledge and conjectural knowledge. Such a separation is fundamental in our framework. To illustrate our approach, we show how it solves the Yale Sh...

In 1934 a fourteen-day-old embryo was discovered during a postmortem examination and became famous for being the youngest known human embryo specimen at the time. The embryo was coined ?the Yale Embryo,? named after the location where it was discovered, Yale University [4] in New Haven, Connecticut. During the early twentieth century, the rush to collect embryos as well as to find younger and y...