?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Situated+Nonmonotonic+Temporal+Reasoning+with+BABY-SIT&rft.creator=Tin%2C+Erkan&rft.creator=Akman%2C+Varol&rft.subject=Artificial+Intelligence&rft.subject=Language&rft.subject=Computational+Linguistics&rft.subject=Semantics&rft.subject=Logic&rft.description=After+a+review+of+situation+theory+and+previous+attempts+at+%60computational'+situation+theory%2C+we+present+a+new+programming+environment%2C+BABY-SIT%2C+which+is+based+on+situation+theory.+We+then+demonstrate+how+problems+requiring+formal+temporal+reasoning+can+be+solved+in+this+framework.+Specifically%2C+the+Yale+Shooting+Problem%2C+which+is+commonly+regarded+as+a+canonical+problem+for+nonmonotonic+temporal+reasoning%2C+is+implemented+in+BABY-SIT+using+Yoav+Shoham's+causal+theories.&rft.date=1997&rft.type=Journal+(Paginated)&rft.type=PeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F462%2F2%2Faicom.ps&rft.identifier=++Tin%2C+Erkan+and+Akman%2C+Varol++(1997)+Situated+Nonmonotonic+Temporal+Reasoning+with+BABY-SIT.++%5BJournal+(Paginated)%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F462%2F