MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Propositional Logic of Context." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 36 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Propositional Logic of Context  
  • by Sasa Buvac , Ian A. Mason — 1993 — IN PROCEEDINGS OF THE ELEVENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
  • …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  
  • by Vanja Buvac — 1994 — In Proceedings of the Twelfth National Conference on Artificial Intelligence
  • … 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 . . .  
  • by Scientifica E Tecnologica, Soller, Busetta P, Istituto Trentino Di Cultura, L. Serafini — 2003
  • … compared two well-known formalizations of context, namely the Propositional Logic of Context (PLC) [5…
  • Add To MetaCart
  • Representing Multiple Theories  
  • by Pandurang Nayak — 1994 — In Proceedings of the Twelfth National Conference on Artificial Intelligence
  • …. In this paper we develop a simple propositional logic of context suitable for representing and reasoning…
  • Cited by 13 (0 self) – Add To MetaCart
  • Metamathematics Of Contexts  
  • by Sasa Buvac, Vanja Buvac, Ian A. Mason — Fundamenta Informaticae
  • … 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
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB