论文列表及评分结果
ESBL: an integrated method for learning from partial information.
电商所评分：10
Reconstruction of polygonal sets by constrained and unconstrained double probing.
电商所评分：2
Definite Clause Programs are Canonical (over a suitable domain).
电商所评分：1
Polynomial-Time Inference of All Valid Implications for Horn and Related Formulae.
电商所评分：6
On Renamable Horn and Generalized Horn Functions.
电商所评分：9
Ineractive Scheduling as a Constraint Satisfiability Problem.
电商所评分：5
Neural Networks and Heuristic Search.
电商所评分：7
Boolean Query Optimization and the 0-1 Hyperbolic Sum Problem.
电商所评分：10
The Tabu Search Metaheuristic: How we used it.
电商所评分：7
Branch-and-Cut Solution of Inference Problems in Propositional Logic.
电商所评分：7
Searching Minimax Game Trees under Memory Space Constraint.
电商所评分：1
On Line 2-Satisfiability.
电商所评分：3
Solving Propositional Satisfiability Problems.
电商所评分：2
A Linear Programming Approach to Reasoning about Probabilities.
电商所评分：10
Stochastic Discrimination.
电商所评分：5
A Theory of Nonmonotonic Rule Systems I.
电商所评分：3
Modal Logic for Default Reasoning.
电商所评分：9
Most Specific Logic Programs.
电商所评分：5
On Stratified Disjunctive Programs.
电商所评分：8
Question-Asking Strategies for Horn Clause Systems.
电商所评分：6
Reasoning composite beliefs using a qualitative approach.
电商所评分：4
Modelling default and likelihood reasoning as probabilistic reasoning.
电商所评分：3
A mathematical formulation of uncertain information.
电商所评分：3
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation.
电商所评分：6
An integrated prolog architecture for symbolic and numeric executions.
电商所评分：10
Belief revision in a microworld.
电商所评分：2
A new variant of the A-algorithm which closes a node at most once.
电商所评分：7
Analysis of parallel algorithms using pipeline architectures in computer vision applications.
电商所评分：10
Conditional Obligation, Deontic Paradoxes, and the Logic of Agency.
电商所评分：10
In the Realm of Agents.
电商所评分：9