微信服务号

微信订阅号

2025-5-16- 21
Home > Archive>Volume 8, Issue 10, 1997 >781-787
PDF HTML XML Export Cite reminder
A QUANTIFICATIONAL LOGIC OF CONTEXT AND ITS CIRCUMSCRIPTION THEORY
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [1]
    • |
  • Related [20]
    • | | |
  • Comments
    Reference
    1 McCarthy J．Generality in artificial intelligence．Turing Award Lecture, Communication of the ACM，July 1987, 37(7)：1030～1035． 2 McCarthy J．Notes on formalizing context．In the Proc．of IJCAI,93,1993．555～560． 3 Guha R V．Context：a formalization and some application．MCC Technical Report, Number ACT-CYC-423-91， MCC，Austin Texas，1991． 4 Buvac S．Mason I．Propositional logic of context．In the Proceedings of AAAI'93，1993．412～419． 5 Buvac S．Quantificational logic of context．In the Proceedings Of AAAI-96，1996．600～607．also in http：//www- formal．stanford．edu/Buvac． 6 Shoham Y．Varieties of context．In Vladimir Lifschitz ed．Artificial Intelligence and Mathematical Theory of Com- putation，Papers in Honor of John McCarthy，Academic Press，1991． 7 Giunchiglia E，Traverso P．A muhicontext architecture for formalizing complex reasoning．International Journal of Intelligence Systems．1995，10(5)：501～539． 8 Nayak P P．Representing multiple theories．In the Proceedings of AAAI-94．1994．1154～1160． 9 Davis M．The mathematics of non-monotonic reasoning．Artificial Intelligence，1980，13：73～80．
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

刘海燕,陈火旺,王兵山.一个带量词的context逻辑及其限制推理.软件学报,1997,8(10):781-787

Copy
Share
Article Metrics
  • Abstract:3886
  • PDF: 4382
  • HTML: 0
  • Cited by: 0
History
  • Revised:November 28,1996
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045019Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063