A logic for reasoning with inconsistency
暂无分享,去创建一个
[1] Michael Kifer,et al. HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs , 1989, NACLP.
[2] Erik Sandewall,et al. A functional approach to non‐monotonic logic 1 , 1985 .
[3] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[4] V. S. Subrahmanian,et al. On the Expressive Power of Annotated Logic Programs , 1989, NACLP.
[5] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[6] David S. Touretzky,et al. A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.
[7] M. H. van Emden,et al. Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..
[8] Nicholas Rescher,et al. The logic of inconsistency , 1979 .
[9] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[10] Nuel D. Belnap,et al. How a Computer Should Think , 2019, New Essays on Belnap-Dunn Logic.
[11] George Epstein. An Equational Axiomatization for the Disjoint System of Post Algebras , 1973, IEEE Transactions on Computers.
[12] Melvin Fitting,et al. Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..
[13] Newton C. A. da Costa,et al. On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..
[14] Kurt Konolige,et al. A Resolution Method for Quantified Modal Logics of Knowledge and Belief , 1986, TARK.
[15] V. S. Subrahmanian,et al. Paraconsistent Logic Programming , 1987, FSTTCS.
[16] Melvin Fitting. Negation as refutation , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[17] Melvin Fitting,et al. Destructive Modal Resolution , 1990, J. Log. Comput..
[18] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[19] Kurt Konolige,et al. A Resolution Method for Quantified Modal Logics of Knowledge and Belief. , 1988 .
[20] Graham Priest,et al. Reasoning About Truth , 1989, Artif. Intell..
[21] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .
[22] Vladimir Lifschitz,et al. On the Declarative Semantics of Logic Programs with Negation , 1987, Foundations of Deductive Databases and Logic Programming..
[23] Teodor C. Przymusinski. On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..
[24] Willard Van Orman Quine,et al. Philosophy of Logic. , 1988 .
[25] Erik Sandewall,et al. A Functional Approach to Non-Monotonic Logic , 1985, IJCAI.
[26] V. S. Subrahmanian. On the Semantics of Quantitative Logic Programs , 1987, SLP.
[27] Michael Kifer,et al. On the Semantics of Rule-Based Expert Systems with Uncertainty , 1988, ICDT.
[28] Matthew L. Ginsberg,et al. Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..
[29] Melvin Fitting. First-order modal tableaux , 2004, Journal of Automated Reasoning.
[30] Jack Minker. Foundations of deductive databases and logic programming , 1988 .
[31] David C. Rine,et al. A system design method from programming logic to multiple-valued logic , 1987 .
[32] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[33] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[34] David Maier,et al. Computing with logic , 1988 .
[35] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .