Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information
暂无分享,去创建一个
[1] Chiaki Sakama,et al. Possible Model Semantics for Disjunctive Databases , 1989, DOOD.
[2] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[3] Chiaki Sakama,et al. Negation in Disjunctive Logic Programs , 1993, ICLP.
[4] Kenneth A. Ross,et al. The Well Founded Semantics for Disjunctive Logic Programs , 1989, DOOD.
[5] Albert R. Meyer,et al. The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space , 1972, SWAT.
[6] Edward P. F. Chan. A Possible World Semantics for Disjunctive Databases , 1993, IEEE Trans. Knowl. Data Eng..
[7] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[8] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[9] Vladimir Lifschitz,et al. Computing Circumscription , 1985, IJCAI.
[10] Georg Gottlob,et al. Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete , 1993, Theor. Comput. Sci..