G. Amati and F. Pirri. Contexts as relativized definitions: a formalization via fixed points. Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London,1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formalizing Context (Expanded Notes) - McCarthy, Buvac (1997) (6 citations) (Correct)
....a wff. Actually the same problem arises for p itself; the occurrence of p in ist(c; p) might have to be syntactically distinct from the occurrence of p standing by itself. Alternatively to reifying assertions we could use a modal logic; this approach is investigated in Shoham 1991, Buvac 1996a, Amati and Pirri 1997, van Benthem 1997. 4 Lifting Axioms Lifting axioms are axioms which relate the truth in one context to the truth in another context. Lifting is the process of inferring what is true in one context based on what is true in another context by the means of lifting axioms. We treat lifting as an ....
Amati, Gianni, and Fiora Pirri. 1997. Contexts as relativized definitions: a formalization via fixed points. In Context in KR & NL. MIT, Cambridge, Mass. AAAI Fall Symposium. To appear.
Default Logic and Purity of Reasoning - Amati, Aiello, Pirri Self-citation (Amati Pirri) (Correct)
No context found.
G. Amati and F. Pirri. Contexts as relativized definitions: a formalization via fixed points. Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London,1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC