@article{McCarthy1998Formalizing,
  abstract = {These notes discuss formalizing contexts as first class objects. The basic relation is ist(c,p). It asserts that the pro-position ρ is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems, to require further extensions to mathematical logic, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic.},
  added-at = {2009-03-12T15:42:50.000+0100},
  address = {Stanford, California},
  author = {Mccarthy, John and Buvac, Sasa},
  biburl = {https://www.bibsonomy.org/bibtex/26abba234048e72b1ff3cc23161fd9ec4/lillejul},
  citeulike-article-id = {1689164},
  comment = {Includes also an example about db integration!!},
  editor = {Aliseda, A. and van Glabbeek, R. J. and Westerstahl, D.},
  howpublished = {\urlhttp://www.nbu.bg/cogs/personal/kokinov/COG507/Formalizing\%20context.pdf},
  interhash = {4f34eadc20275f9cf54ef2f034891b15},
  intrahash = {6abba234048e72b1ff3cc23161fd9ec4},
  journal = {Computing Natural Language},
  keywords = {l3s_context_workshop d22 context model integration},
  pages = {13--50},
  posted-at = {2007-09-24 11:46:27},
  priority = {4},
  publisher = {CSLI Publications},
  timestamp = {2009-03-12T15:42:52.000+0100},
  title = {Formalizing Context (Expanded Notes)},
  url = {http://www.nbu.bg/cogs/personal/kokinov/COG507/Formalizing\%20context.pdf},
  year = 1998
}

{"_id":"ineBQgpMh56f9mT3s","bibbaseid":"mccarthy-buvac-formalizingcontextexpandednotes-1998","author_short":["Mccarthy, J.","Buvac, S."],"bibdata":{"bibtype":"article","type":"article","abstract":"These notes discuss formalizing contexts as first class objects. The basic relation is ist(c,p). It asserts that the pro-position ρ is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems, to require further extensions to mathematical logic, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic.","added-at":"2009-03-12T15:42:50.000+0100","address":"Stanford, California","author":[{"propositions":[],"lastnames":["Mccarthy"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Buvac"],"firstnames":["Sasa"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/26abba234048e72b1ff3cc23161fd9ec4/lillejul","citeulike-article-id":"1689164","comment":"Includes also an example about db integration!!","editor":[{"propositions":[],"lastnames":["Aliseda"],"firstnames":["A."],"suffixes":[]},{"propositions":["van"],"lastnames":["Glabbeek"],"firstnames":["R.","J."],"suffixes":[]},{"propositions":[],"lastnames":["Westerstahl"],"firstnames":["D."],"suffixes":[]}],"howpublished":"˘rlhttp://www.nbu.bg/cogs/personal/kokinov/COG507/Formalizing%20context.pdf","interhash":"4f34eadc20275f9cf54ef2f034891b15","intrahash":"6abba234048e72b1ff3cc23161fd9ec4","journal":"Computing Natural Language","keywords":"l3s_context_workshop d22 context model integration","pages":"13–50","posted-at":"2007-09-24 11:46:27","priority":"4","publisher":"CSLI Publications","timestamp":"2009-03-12T15:42:52.000+0100","title":"Formalizing Context (Expanded Notes)","url":"http://www.nbu.bg/cogs/personal/kokinov/COG507/Formalizing\\%20context.pdf","year":"1998","bibtex":"@article{McCarthy1998Formalizing,\n abstract = {These notes discuss formalizing contexts as first class objects. The basic relation is ist(c,p). It asserts that the pro-position ρ is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems, to require further extensions to mathematical logic, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic.},\n added-at = {2009-03-12T15:42:50.000+0100},\n address = {Stanford, California},\n author = {Mccarthy, John and Buvac, Sasa},\n biburl = {https://www.bibsonomy.org/bibtex/26abba234048e72b1ff3cc23161fd9ec4/lillejul},\n citeulike-article-id = {1689164},\n comment = {Includes also an example about db integration!!},\n editor = {Aliseda, A. and van Glabbeek, R. J. and Westerstahl, D.},\n howpublished = {\\urlhttp://www.nbu.bg/cogs/personal/kokinov/COG507/Formalizing\\%20context.pdf},\n interhash = {4f34eadc20275f9cf54ef2f034891b15},\n intrahash = {6abba234048e72b1ff3cc23161fd9ec4},\n journal = {Computing Natural Language},\n keywords = {l3s_context_workshop d22 context model integration},\n pages = {13--50},\n posted-at = {2007-09-24 11:46:27},\n priority = {4},\n publisher = {CSLI Publications},\n timestamp = {2009-03-12T15:42:52.000+0100},\n title = {Formalizing Context (Expanded Notes)},\n url = {http://www.nbu.bg/cogs/personal/kokinov/COG507/Formalizing\\%20context.pdf},\n year = 1998\n}\n\n","author_short":["Mccarthy, J.","Buvac, S."],"editor_short":["Aliseda, A.","van Glabbeek, R. J.","Westerstahl, D."],"key":"McCarthy1998Formalizing","id":"McCarthy1998Formalizing","bibbaseid":"mccarthy-buvac-formalizingcontextexpandednotes-1998","role":"author","urls":{"Paper":"http://www.nbu.bg/cogs/personal/kokinov/COG507/Formalizing\\%20context.pdf"},"keyword":["l3s_context_workshop d22 context model integration"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/John McCarthy?items=1000","dataSources":["z6tS3nSXoWqnPuYSd"],"keywords":["l3s_context_workshop d22 context model integration"],"search_terms":["formalizing","context","expanded","notes","mccarthy","buvac"],"title":"Formalizing Context (Expanded Notes)","year":1998}