Default Databases: Extending the Approach of Deductive Databases Using Default Logic
暂无分享,去创建一个
[1] Mike Hopkins. Default Logic: Orderings and Extensions , 1993, ECSQARU.
[2] Dov M. Gabbay,et al. Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .
[3] Torsten Schaub,et al. An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation , 1997, ICLP 1997.
[4] Ilkka Niemelä. Towards Efficient Default Reasoning , 1995, IJCAI.
[5] Ilkka Niemelä,et al. On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning , 1992, J. Appl. Non Class. Logics.
[6] Dirk Vermeir,et al. Defeasible logics , 1998 .
[7] Chris Gane,et al. Structured Systems Analysis: Tools and Techniques , 1977 .
[8] Caroline Ashworth,et al. An Introduction to SSADM Version 4. , 1993 .
[9] Patrice Quinton,et al. A Theorem-Prover for a Decidable Subset of Default Logic , 1983, AAAI.
[10] Jeffrey D. Ullman,et al. Principles Of Database And Knowledge-Base Systems , 1979 .
[11] Ilkka Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.
[12] Torsten Schaub,et al. Prolog technology for default reasoning , 1996 .
[13] Grigoris Antoniou,et al. Default logic , 2007, The Many Valued and Nonmonotonic Turn in Logic.
[14] Jeffrey D. Ullman,et al. Principles of Database Systems , 1980 .
[15] Philippe Besnard,et al. An Introduction to Default Logic , 1989, Symbolic Computation.
[16] P. Simons. Eecient Implementation of the Well- Founded and Stable Model Seman- Tics , 1996 .
[17] Johan van Benthem,et al. Time, logic and computation , 1988, REX Workshop.
[18] Ronald Fagin,et al. Inclusion dependencies and their interaction with functional dependencies , 1982, PODS.
[19] Marco A. Casanova,et al. Towards a sound view integration methodology , 1983, PODS.
[20] Marco Schaerf,et al. A Survey of Complexity Results for Nonmonotonic Logics , 1993, J. Log. Program..
[21] Georg Gottlob,et al. Default Logic as a Query Language , 1997, IEEE Trans. Knowl. Data Eng..
[22] Maurizio Lenzerini,et al. A Methodology for Data Schema Integration in the Entity Relationship Model , 1984, IEEE Transactions on Software Engineering.
[23] Ilkka Niemell,et al. Towards Eecient Default Reasoning , 1995 .
[24] Tom DeMarco,et al. Structured Analysis and System Specification , 1978 .
[25] David Poole,et al. Default logic , 1994 .
[26] Torsten Schaub,et al. Lemma Handling in Default Logic Theorem Provers , 1995, ECSQARU.
[27] Victor W. Marek,et al. Nonmonotonic logic - context-dependent reasoning , 1997, Artificial intelligence.
[28] Jeffrey D. Ullman,et al. Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.
[29] P. Schönemann. On artificial intelligence , 1985, Behavioral and Brain Sciences.
[30] Ramez Elmasri,et al. Fundamentals of Database Systems , 1989 .
[31] Kurt Konolige,et al. Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System , 1990, AAAI.
[32] Anthony Hunter,et al. Uncertainty in Information Systems , 1997 .
[33] Torsten Schaub,et al. Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report , 1994, IPMU.
[34] Peter P. Chen. The entity-relationship model: toward a unified view of data , 1975, VLDB '75.