A method for efficiently executing Horn clause programs using multiple processors
New Generation Computing
The Muse Or-parallel Prolog model and its performance
Proceedings of the 1990 North American conference on Logic programming
Implementing stable semantics by linear programming
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
From logic programming to Prolog
From logic programming to Prolog
Comparing trailing and copying for constraint programming
Proceedings of the 1999 international conference on Logic programming
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Computer Languages, Systems and Structures
Hi-index | 0.00 |