Making inconsistency respectable: Part 2 — Meta-level handling of inconsistency-Reference-Cited by-同舟云学术

Making inconsistency respectable: Part 2 — Meta-level handling of inconsistency

Published: Issue: Volume: Page:129-136
ISSN:
Container-title:Symbolic and Quantitative Approaches to Reasoning and Uncertainty
language:
Short-container-title:

Author:

Gabbay Dov,Hunter Anthony

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0028192.pdf

Reference18 articles.

1. Anderson A and Belnap N (1975) Entailment, Princeton University Press

2. Balzer R (1991) Tolerating inconsistnecy, in proceedings of the 13th International Conference on Software Engineering, IEEE Press

3. Barringer H, Fisher M, Gabbay D, Gough G and Owens R (1989) MetateM: A framework for programming in temporal logic, in REX Workshop on Stepwise Refinement of Distributed Systems, LNCS 430, Springer Verlag

4. Barringer H, Fisher M, Gabbay D, and Hunter A (1991) Meta-reasoning in executable temporal logic, in Principles of Knowledge and Reasoning: Proceedings of the Second International Conference (KR91), Morgan Kaufmann

5. Bowen K and Kowalski R (1982) Amalgamating language and meta-language, in Clark K and Tarnlund S, Logic Programming, Academic Press

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

1. A Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective Perspective;Language, Culture, Computation. Computing of the Humanities, Law, and Narratives;2014

2. A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements;International Journal of Knowledge and Systems Science;2012-01

3. An Approach to Generating Proposals for Handling Inconsistent Software Requirements;Knowledge Science, Engineering and Management;2011

4. Cognitive Algorithms and Systems: Reasoning and Knowledge Representation;Perception-Action Cycle;2010-12-31

5. Introducing Revision Theory;Revision, Acceptability and Context;2010