论文列表及评分结果
Many-Valued Logic and Mixed Integer Programming.
电商所评分：6
Towards Reasoning about Hoare Relations.
电商所评分：8
Syntactical Models and Fixed Points for the Basic Logic of Proofs.
电商所评分：10
Geometry and Search in Motion Planning.
电商所评分：6
Relating Logic Programs Via Program Maps.
电商所评分：1
A Hypergraph model for Constraint Logic Programming and Applications to Bus Drivers' Scheduling.
电商所评分：7
Constraint Programming and Graph Algorithms.
电商所评分：1
Computational Dynamics: Modeling and Visualizing Trajectory Flows in Phase Space.
电商所评分：3
Describing Symmetrical Structures in Logic.
电商所评分：10
Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints.
电商所评分：10
Cellular Automata, Matrix Substitutions and Fractals.
电商所评分：2
A Recursion Planning Analysis of Inductive Completion.
电商所评分：7
Proving Ramsey's Theorem by the Cover Set Induction: A Case and Comparison Study.
电商所评分：10
A Learning Procedure for Mathematics.
电商所评分：7
Automated Theorem Proving in Mathematics.
电商所评分：7
Disjunctive LP + Integrity Constraints = Stable Model Semantics.
电商所评分：3
Embedding Complex Decision Procedures Inside an Interactive Theorem Prover.
电商所评分：4
Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs.
电商所评分：9
Term Matching on a Mesh-Connected Array of Processors.
电商所评分：2
Nonrecursive Incremental Evaluation of Datalog Queries.
电商所评分：5
Near-Horn Prolog and the Ancestry Family of Procedures.
电商所评分：8
Reasoning About Time in the Situation Calculus.
电商所评分：5
ECWA Made Easy.
电商所评分：1
DWAM - A WAM Model Extension for Disjunctive Logic Programming.
电商所评分：7
Consciousness and Complexity: The Cognitive Quest.
电商所评分：3
Static Semantics for Normal and Disjunctive Logic Programs.
电商所评分：4
Local Projective and Affine Invariants.
电商所评分：8
On Differential Invariants of Planar Curves and Recognizing Partially Occluded.
电商所评分：9
Approximate Matching of Polygonal Shapes.
电商所评分：10
Random Planar Shapes and Their Statistical Recognition.
电商所评分：5