论文信息 - A theory of nonmonotonic rule systems I

A theory of nonmonotonic rule systems I

The semantics for nonmonotonic rule systems are investigated. The notion of nonmonotonic formal systems is then introduced. Examples are given, along with applications of logic, logic programming, and common-sense reasoning.<<ETX>>

[1] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[2] Anil Nerode,et al. Complexity Theoretic Algebra I Vector Spaces over Finite Fields , 2008 .

[3] Victor W. Marek,et al. The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning , 1989, ICLP.

[4] Victor W. Marek,et al. Stable Semantics for Logic Programs and Default Theories , 1989, NACLP.

[5] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[6] Anil Nerode,et al. Complexity-Theoretic Algebra II: Boolean Algebras , 1989, Ann. Pure Appl. Log..

[7] Victor W. Marek,et al. Relating Autoepistemic and Default Logics , 1989, KR.