Relevance from an Epistemic Perspective
暂无分享,去创建一个
[1] Adnan Darwiche,et al. A Logical Notion of Conditional Independence: Properties and Application , 1997, Artif. Intell..
[2] H. Levesque. Logic and the complexity of reasoning , 1988 .
[3] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[4] Yehoshua Sagiv,et al. A Proof-Theoretic Approach to Irrelevance: Foundations and Applications , 1994 .
[5] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..
[6] Ian A. Mason,et al. Metamathematics of Contexts , 1995, Fundam. Informaticae.
[7] Gerhard Lakemeyer,et al. Limited Reasoning in First-Order Knowledge Bases , 1994, Artif. Intell..
[8] Charles Elkan,et al. Independence of logic database queries and update , 1990, PODS '90.
[9] Gerhard Lakemeyer. All You Ever Wanted to Know about Tweety (But Were Afraid to Ask) , 1992, KR.
[10] Judea Pearl,et al. Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.
[11] Leon J. Osterweil,et al. On Two Problems in the Generation of Program Test Paths , 1976, IEEE Transactions on Software Engineering.
[12] Gerhard Lakemeyer. All They Know About , 1993, AAAI.
[13] Frédéric Cuppens,et al. How to recognize interesting topics to provide cooperative answering , 1989, Inf. Syst..
[14] Hector J. Levesque,et al. A Knowledge-Level Account of Abduction , 1989, IJCAI.
[15] Ronald Fagin,et al. A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..
[16] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[17] Hector J. Levesque,et al. Support Set Selection for Abductive and Default Reasoning , 1996, Artif. Intell..
[18] J. Keynes. A Treatise on Probability. , 1923 .
[19] Per-Åke Larson,et al. Updating derived relations: detecting irrelevant and autonomously computable updates , 1986, VLDB.
[20] Gerhard Lakemeyer,et al. A Tractable Knowledge Representation Service with Full Introspection , 1988, TARK.
[21] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[22] Hector J. Levesque,et al. Abductive and Default Reasoning: A Computational Core , 1990, AAAI.
[23] Russell Greiner,et al. What's New? A Semantic Definition of Novelty , 1983, IJCAI.
[24] Pierre Marquis. Novelty Revisited , 1991, ISMIS.
[25] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[26] Rudolf Carnap,et al. Logical foundations of probability , 1951 .
[27] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[28] J. Dekleer. An assumption-based TMS , 1986 .
[29] Raymond Reiter,et al. Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.
[30] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[31] Gerhard Lakemeyer. A Logical Account of Relevance , 1995, IJCAI.
[32] Peter Gärdenfors. On the logic of relevance , 1978 .
[33] Devika Subramanian,et al. The Relevance of Irrelevance , 1987, IJCAI.
[34] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .
[35] Alon Y. Halevy,et al. Queries Independent of Updates , 1993, VLDB.
[36] Judea Pearl,et al. Symbolic Causal Networks , 1994, AAAI.