Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Making assumptions in the automated derivation
Information Sciences: an International Journal
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Hi-index | 0.00 |