On Temporal Properties of Knowledge Base Inconsistency
暂无分享,去创建一个
[1] Du Zhang,et al. PREPARE: A Toll for Knowledge Base Verification , 1994, IEEE Trans. Knowl. Data Eng..
[2] Du Zhang,et al. Fixpoint semantics for rule-base anomalies , 2005, Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)..
[3] Michael Clarke,et al. Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.
[4] Luqi,et al. Approximate declarative semantics for rule base anomalies , 1999, Knowl. Based Syst..
[5] Michael R. Genesereth,et al. Logical foundations of artificial intelligence , 1987 .
[6] M. Andrea Rodríguez,et al. Inconsistency Issues in Spatial Databases , 2005, Inconsistency Tolerance.
[7] Antony Galton,et al. A unifying semantics for time and events , 2004, Artif. Intell..
[8] John Rushby,et al. Quality Measures and Assurance for AI (Artificial Intelligence) Software , 1988 .
[9] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[10] Torsten Schaub,et al. Inconsistency Tolerance , 2005, Lecture Notes in Computer Science.
[11] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[12] Bashar Nuseibeh,et al. Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.
[13] Jinzhao Wu,et al. Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic , 2006, Electron. Notes Theor. Comput. Sci..
[14] Frank van Harmelen,et al. Reasoning with Inconsistent Ontologies , 2005, IJCAI.
[15] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[16] James F. Allen,et al. Actions and Events in Interval Temporal Logic , 1994 .
[17] Hector J. Levesque,et al. Knowledge Representation and Reasoning , 2004 .
[18] John Rushby,et al. Formal verification of AI software , 1989 .
[19] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[20] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[21] John Grant,et al. Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.
[22] Jérôme Lang,et al. Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.
[23] Du Zhang. A Fix-Point Semantics for Rule-Base Anomalies , 2007, Int. J. Cogn. Informatics Nat. Intell..
[24] Anthony Hunter,et al. Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.
[25] Dov M. Gabbay,et al. Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency , 1993, ECSQARU.
[26] Anthony Hunter,et al. Evaluating Significance of Inconsistencies , 2003, IJCAI.
[27] Byung-Won On,et al. Are your citations clean? , 2007, CACM.
[28] Anthony Hunter,et al. Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.
[29] Nancy G. Leveson,et al. An investigation of the Therac-25 accidents , 1993, Computer.
[30] Philip S. Yu,et al. Truth Discovery with Multiple Conflicting Information Providers on the Web , 2008, IEEE Trans. Knowl. Data Eng..
[31] Tim Menzies,et al. Verification and Validation and Artificial Intelligence , 2005, Adv. Comput..
[32] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[33] J. Elliott Smith,et al. Book review: Readings in Knowledge Representation. Edited by Ronald J. Brachman and Hector J. Levesque (Morgan Kaufmann Publishers) , 1986, SGAR.