论文列表及评分结果
The F-logic Approach for Description Languages.
电商所评分：6
Another Perspective on Default Reasoning.
电商所评分：9
Computational Mereology: A Study of Part-of Relations for Multimedia Indexing.
电商所评分：8
Modal Nonmonotonic Logics Demodalized.
电商所评分：10
Complexity and Undecidability Results for Logic Programming.
电商所评分：5
On the Computational Cost of Disjunctive Logic Programming: Propositional Case.
电商所评分：7
A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs.
电商所评分：7
Complexity of Computing with Extended Propositional Logic Programs.
电商所评分：5
On the Structural Simplicity of Machines and Languages.
电商所评分：5
How Expressive is Statified Aggregation?
电商所评分：6
On Computability by Logic Programs.
电商所评分：8
Geometric invariants and object recognition.
电商所评分：9
Design and recovery of 2-D and 3-D shapes using rational Gaussian curves and surfaces.
电商所评分：2
Model-based object tracking in monocular image sequences of road traffic scenes.
电商所评分：10
Shape from shading: Level set propagation and viscosity solutions.
电商所评分：5
Markov fusion of a pair of noisy images to detect intensity valleys.
电商所评分：5
3D Motion recovery via affine Epipolar geometry.
电商所评分：7
The dynamic retina: Contrast and motion detection for active vision.
电商所评分：1
Driving saccade to pursuit using image motion.
电商所评分：5
A neural architecture for visual information processing.
电商所评分：1
Generalized Disjunctive Well-Founded Semantics for Logic Programs.
电商所评分：10
New Approaches for Understanding the Asymptotic Complexity of A Tree Searching.
电商所评分：6
Computational Complexity and Constraint Logic Programming Languages.
电商所评分：1
The Mathematical Modeling of Heuristics.
电商所评分：6
A Theory of Nonmonotonic Rule Systems II.
电商所评分：5
An Upper Bound on the Time Complexity of Iterative-Deepening-A.
电商所评分：6
Formalizing a Logic for Logic Programming.
电商所评分：5
Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming.
电商所评分：7
The Application of Automated Reasoning to Questions in Mathematics and Logic.
电商所评分：8
Editor's Foreword: Special Issue on Computational Geometry.
电商所评分：9