MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Knowledge in operation." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 990 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Evidence-based common knowledge  
  • by Sergei Artemov — 2004 — CUNY Ph.D. Program in Computer Science Technical Reports
  • … type of knowledge operator, called evidencebased knowledge, intended to capture the constructive core…
  • Cited by 19 (5 self)Add To MetaCart
  • Circumscription in a modal logic  
  • by Fangzhen Lin — 1988 — Theoretical Aspects of Reasoning about Knowledge: Proc. of the Second Conf
  • …, we circumscribe the knowledge operator "K" in a formula. In order to have a nontrivial…
  • Cited by 6 (1 self)Add To MetaCart
  • S5 KNOWLEDGE WITHOUT PARTITIONS  
  • by Dov Samet
  • …S5 KNOWLEDGE WITHOUT PARTITIONS DOV SAMET ∗ Abstract. We study set algebras with an operator (SAO…
  • Add To MetaCart
  • Two applications of Bayesian networks  
  • by Jirí Vomlel
  • … experience with two projects: a student semester project during which an adaptive test of students’ knowledge
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB