Experiments in parallel execution of answer set programs

Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001

Volumn , Issue , 2001, Pages

  Pontelli, E ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; INTELLIGENT AGENTS; LOGIC PROGRAMMING;

ANSWER SET; CONSTRAINT PROGRAMMING; NON-MONOTONIC REASONING; PARALLEL EXECUTIONS; PROGRAMMING PARADIGMS; SPEED UP;

KNOWLEDGE REPRESENTATION;

EID: 84981263634     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2001.924954     Document Type: Conference Paper

References (16)

1. K.A.M. Ali and R. Karlsson. The Muse Or-parallel Prolog Model. N. American Conf. on Logic Prog., MIT Press, 1990.
2. K.R. Apt. From Logic Programming to Prolog. Prentice Hall, 1997.
3. C. Baral and M. Gelfond. Logic Programming and Knowledge Representation. Journal of Logic Programming, 19/20:73-148, 1994.
4. C. Bell et al. Implementing Stable Semantics by Linear Programming. Logic Progr. and Non-mon. Reasoning, MIT Press, 1993.
5. W. Chen and D.S. Warren. Computation of Stable Models and its Integration with Logical Query Processing. IEEE TKDE, 8(5), 1996.
6. P. Cholewinski et al. Default Reasoning System DeReS. Conf. on Princ. of Knowledge Repr. and Reasoning, Morgan Kauffman, 1996.
7. W.F. Clocksin et al. A Method for Efficiently Executing Horn Programs Using Multiple Processors. New Gen. Computing, 1988.
8. W.F. Dowling et al. Linear-time Algorithms for Testing Satisfiability of Horn Formulae. J. Logic Programming, 3:267-289, 1984.
9. T. Eiter et al. The KR System dlv. Int. Conf. on Princ. Knowledge Repr. and Reasoning, Morgan Kauffman, 1998.
10. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. Int. Symp. on Logic Progr. MIT Press, 1988.
11. G. Gupta, E. Pontelli et al. Parallel Execution of Prolog Programs: a Survey. T.R., NMSU, 2000.
12. V.W. Marek and M. Truszczynski. Stable Models as an Alternative Programming Paradigm. Logic Progr. Paradigm. Springer, 1999.
13. I. Niemela. Logic Programs with Stable Model Semantics as a Constraint Paradigm. Annals of Math. and AI, (to appear).
14. I. Niemela and P. Simons. Smodels - An Implementation of the Stable Model and Well-Founded Semantics. LPNMR, Springer, 1997.
15. C. Schulte. Compairing Trailing and Copying for Constraint Programming. Int. Conf. on Logic Progr., MIT Press, 1999.
16. P. Van Hentenryck. Parallel Constraint Satisfaction in Logic Programming. Int. Conf. on Logic Progr. MIT Press, 1989.