Two Formalizations of Context: A Comparison-Reference-Cited by-同舟云学术

Two Formalizations of Context: A Comparison

Published:2001 Issue: Volume: Page:87-101
ISSN:0302-9743
Container-title:Modeling and Using Context
language:
Short-container-title:

Author:

Bouquet P.,Serafini L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44607-9_7

Reference19 articles.

1. M. Benerecetti, P. Bouquet, and C. Ghidini. Formalizing belief report-the approach and a case study. In F. Giunchiglia, editor, Artificial Intelligence: Methodology, Systems, and Applications (AIMSA’ 98), volume 1480 of Lecture Notes in Artificial Intelligence, pages 62–75. Springer, 1998.

2. M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems, 8(3):401–423, 1998.

3. P. Bouquet and F. Giunchiglia. Reasoning about Theory Adequacy: A New Solution to the Qualification Problem. Fundamenta Informaticae, 23(2–4):247–262, June, July, August 1995.

4. S. Buvač and Ian A. Mason. Propositional logic of context. In R. Fikes and W. Lehnert, editors, Proc. of the 11th National Conference on Artificial Intelligence, pages 412–419, Menlo Park, California, 1993. AAAI Press.

5. Saša Buvač. Quantificational logic of context. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning in Epistemic Contexts;Modeling and Using Context;2017

2. Logical Sentences as the Intent of Concepts;Journal of Computer Science and Technology;2005-05

3. Knowledge Management Framework for the Collaborative Distribution of Information;Current Trends in Database Technology - EDBT 2004 Workshops;2004

4. Theories and uses of context in knowledge representation and reasoning;Journal of Pragmatics;2003-03

5. On the Difference between Bridge Rules and Lifting Axioms;Modeling and Using Context