Searching for "Propositional Logic of Context." – sorted by Relevance.
-
Propositional Logic of Context
- Propositional Logic of Context Sasa Buvac & Ian A. Mason Computer Science Department Stanford
- Cited by 91 (6 self) – Add To MetaCart
-
Decidability of Contextual Reasoning
- of context extends classical propositional logic with a new modality, ist(c; OE), used to express
- Cited by 2 (1 self) – Add To MetaCart
-
An Intelligent Agent Architecture For . . .
- compared two well-known formalizations of context, namely the Propositional Logic of Context (PLC) [5
- Add To MetaCart
-
Comparing Formal Theories of Context in AI
- . Since then, two main formalizations have been proposed in AI: Propositional Logic of Context (PLC
- Cited by 7 (3 self) – Add To MetaCart
-
The Semantics of Propositional Contexts
- of the propositional logic of context. This logic extends classical propositional logic in two ways. Firstly, a new
- Cited by 13 (1 self) – Add To MetaCart
-
Representing Multiple Theories
- . In this paper we develop a simple propositional logic of context suitable for representing and reasoning
- Cited by 13 (0 self) – Add To MetaCart
-
Two Formalizations of Context: A Comparison
- : Propositional Logic of Context (PLC) [4], and Local Models Semantics (LMS) [13]. We start with a summary
- Cited by 6 (1 self) – Add To MetaCart
-
Superficial Tableaux for Contextual Reasoning
- @(email omitted); Abstract This paper presents a tableaux calculus for the Propositional Logic of Contexts
- Cited by 4 (4 self) – Add To MetaCart
-
Metamathematics Of Contexts
- of context, and we give a Hilbert style proof system for this language. A propositional logic of context
- Cited by 28 (1 self) – Add To MetaCart
-
On the Difference between Bridge Rules and Lifting Axioms
- and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic
- Cited by 4 (0 self) – Add To MetaCart

