Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
In 1991 Ford began deployment of the Computer Aided Parts Estimating System (CAPE), a highly advanced knowledge-based system designed to generate, evaluate and cost automotive par...
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvi...
Catherine Hearne, Zhan Cui, Simon Parsons, Saki Ha...