Monday, June 17, 2013

A *context* is Ci = where Li is a formal language Omegai a set of facts (axioms) Deltai a set of inference rules involving formulas in Li Massimo Benerecetti 1998-11-02 http://disi.unitn.it/~context/
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)