Building proofs in context-Reference-Cited by-同舟云学术

Building proofs in context

Published:1994 Issue: Volume: Page:410-424
ISSN:0302-9743
Container-title:Logic Program Synthesis and Transformation — Meta-Programming in Logic
language:
Short-container-title:

Author:

Attardi Giuseppe,Simi Maria

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58792-6_25.pdf

Reference22 articles.

1. P. Aczel (1988). Non-well-founded sets, CSLI lecture notes, 12, Center for the Study of Language and Information, Stanford, California.

2. L. C. Aiello, d. Nardi, M. Schaerf (1988). Reasoning about Knowledge and Ignorance, in International Conference of 5th generation Computer System, pages 618–627, Tokyo.

3. G. Attardi and M. Simi (1984). Metalanguage and reasoning across viewpoints, in ECAI84: Advances in Artificial Intelligence, T. O'Shea (ed.), Elsevier Science Publishers, Amsterdam.

4. G. Attardi and M. Simi (1991). Reflections about reflection, in Allen, J. A., Fikes, R., and Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference. Morgan Kaufmann, San Mateo, California.

5. G. Attardi and M. Simi (1993). A formalisation of viewpoints, TR-93-062, International Computer Science Institute, Berkeley.

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

1. Intuitionistic multi-agent subatomic natural deduction for belief and knowledge;Journal of Logic and Computation;2021-03-26

2. Deductions with Meaning;Logical Aspects of Computational Linguistics;2001

3. Contextual Inference in Computational Semantics;Modeling and Using Context;1999