@article{ Funge99, ps = {http://www.cs.toronto.edu/cogrobo/Papers/reliable99.ps} } , title = {Representing Knowledge within the Situation Calculus using Interval-valued Epitemic Fluents} } , url = {reliable99.pdf} } , journal = {Journal of Reliable Computing} } , author = {Funge, John} } , number = {1} } , volume = {5} } , key = {CogRobo} } , year = {1999} } , opturl = {http://www.cs.toronto.edu/cogrobo/Papers/reliable99.ps.gz} } , pdf = {http://www.cs.toronto.edu/cogrobo/Papers/reliable99.pdf} } , pages = {} }