Journal of Automated Reasoning
Non-horn clause logic programming without contrapositives
Journal of Automated Reasoning
Journal of Automated Reasoning
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
SETHEO: a high-performance theorem prover
Journal of Automated Reasoning
Consolution as a framework for comparing calculi
Journal of Symbolic Computation
Mechanical Theorem-Proving by Model Elimination
Journal of the ACM (JACM)
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
PROTEIN: A PROver with a Theory Extension INterface
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Model Elimination Without Contrapositives
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Near-Horn Prolog and the Ancestry Family of Procedures
Near-Horn Prolog and the Ancestry Family of Procedures
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Journal of Automated Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Hi-index | 0.00 |
Many representations in early vision can be constructed by performing orientation analysis along several sampling dimensions. Texture is often oriented in space, motion is oriented in space-time, and stereo is oriented in space-disparity. In these modalities, ...