论文列表及评分结果
Towards Specifying Norms.
电商所评分：3
Deontic Logic as Founded on Nonmonotonic Logic.
电商所评分：7
An Argumentation Framework in Default Logic.
电商所评分：6
Top-Down Development of Layered Fault Tolerant Systems and its Problems- a Denotic Perspective.
电商所评分：9
Towards a Formal Theory of Defeasible Deontic Conditionals.
电商所评分：7
Exploiting the Normative Aspect of Preference: A Deontic Logic Without Actions.
电商所评分：7
A Deontic Approach to Database Integrity.
电商所评分：2
The Algebra of Genetic Algorithms.
电商所评分：10
Sufficient Conditions for Deceptive and Easy Binary Functions.
电商所评分：3
A Proof of the Vose-Liepins Conjecture.
电商所评分：4
A Closer Look at Mutation in Genetic Algorithms.
电商所评分：2
Elimination Procedures for Mechanical Theorem Proving in geometry.
电商所评分：7
Mechanical Theorem Proving in the Local Theory of Surfaces.
电商所评分：8
The Dimension Method in Elementary and Differential Geometry.
电商所评分：1
A Generalized Euclidean Algorithm for Geometry Theorem Proving.
电商所评分：7
Straightening Euclidean Invariants.
电商所评分：5
Automated Production of Traditional Proofs for Theorems in Euclidean Geometry.
电商所评分：10
Mechanical Theorem Proving in Projective Geometry.
电商所评分：7
A Category of Geometric Spaces: Some Computational Aspects.
电商所评分：4
Reasoning with Conditional Axioms.
电商所评分：8
Recursion Theoretic Models of Learning: Some Results and Intuitions.
电商所评分：6
On Inductive Inference of Cyclic Structures.
电商所评分：7
The Expressiveness of Locally Stratified Programs.
电商所评分：8
Proof of the Interval Satisfiability Conjecture.
电商所评分：7
On the Equivalence of Upward and Downward Inheritance Reasoners.
电商所评分：3
Practical Issues on the Projection of Polyhedral Sets.
电商所评分：1
Purposive Discovery of Operators.
电商所评分：5
Hybridizing Nonmonotonic Inheritance with Theorem Proving.
电商所评分：3
Tracking Primary Hyperplane Competitors During Genetic Search.
电商所评分：9
Structured Proof Procedures.
电商所评分：7