Labelled deductive systems: a position paper
作者： D. M. Gabbay
DOI:
关键词:
摘要:
参考文章(7)
Dov M. Gabbay, Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. scandinavian conference on ai. pp. 19- 39 ,(1991)
DM Gabbay, Algorithmic Proof with Diminishing Resources, Part 1 computer science logic. pp. 156- 173 ,(1990) , 10.1007/3-540-54487-9_58
D. M. Gabbay, Abduction in Labelled Deductive Systems - A Conceptual Abstract european conference on symbolic and quantitative approaches to reasoning and uncertainty. pp. 3- 11 ,(1991) , 10.1007/3-540-54659-6_58
D. M. Gabbay, How to Construct a Logic for Your Application GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence. pp. 1- 29 ,(1992) , 10.1007/BFB0018989
D. M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems Logics and models of concurrent systems. pp. 439- 457 ,(1989) , 10.1007/978-3-642-82453-1_15
Dov M. Gabbay, Ruy J. G. B. de Queiroz, Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics Journal of Symbolic Logic. ,vol. 57, pp. 1319- 1365 ,(1992) , 10.2307/2275370
Daniel Lehmann, What does a conditional knowledge base entail principles of knowledge representation and reasoning. pp. 212- 222 ,(1989)