Construction and optimization of a parallel engine for answer set programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1990, Issue , 2001, Pages 288-303

  Pontelli, Enrico ^a   El Khatib, Omar ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; INTELLIGENT AGENTS; KNOWLEDGE REPRESENTATION;

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

LOGIC PROGRAMMING;

EID: 84949229016     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45241-9_20     Document Type: Article

References (18)

1. K.A.M. Ali and R. Karlsson. The Muse Or-parallel Prolog Model and its Performance. In N American Conf on Logic Prog., MIT Press, 1990.
2. C. Baral and M. Gelfond. Logic Programming and Knowledge Representation. J. of Logic Progr., 19/20:73-148, 1994.
3. C. Bell et al. Implementing Stable Semantics by Linear Programming. In Logic Programming and Non-monotonic Reasoning, MIT Press, 1993.
4. W. Chen and D.S. Warren. Computation of Stable Models and its Integration with Logical Query Processing. Trans. on Knowledge and Data Engineering, 8(5), 1996.
5. P. Cholewinski, V.W. Marek, and M. Truszczynski. Default Reasoning System DeReS. In Int. Conf on Principles of Knowledge Repr and Reasoning, 1996.
6. W.F. Dowling and J.H. Gallier. Linear-time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. J. of Logic Programming, 3:267-289, 1984.
7. T. Eiter et al. The KR System dlv: Progress Report, Comparisons, and Benchmarks. In Int Conf on Principles of Knowledge Repr and Reasoning, 1998.
8. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. In Int Symposium on Logic Programming, MIT Press, 1988.
9. G. Gupta, E. Pontelli et al. Parallel Execution of Prolog Programs: a Survey. Technical report, New Mexico State University, 2000.
10. V. Lifschitz. Answer Set Planning. In Logic Programming and Non-monotonic Reasoning, Springer Verlag, 1999.
11. V.W. Marek and M. Truszczynski. Stable Models and an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm. Springer Verlag, 1999.
12. I. Niemela. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and AI, (to appear).
13. I. Niemela and P. Simons. An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. In LPNMR, Springer Verlag, 1997.
14. D. Ranjan, E. Pontelli, and G. Gupta. On the Complexity of Or-Parallelism. New Generation Computing, 17(3):285-308, 1999.
15. P. Rao et al. XSB: A System for Effciently ComputingWFS. In Logic Programming and Non-monotonic Reasoning. Springer Verlag, 1997.
16. C. Schulte. Compairing Trailing and Copying for Constraint Programming. In International Conference on Logic Programming, pages 275-289. MIT Press, 1999.
17. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3):620-650, 1991.
18. P. Van Hentenryck. Parallel Constraint Satisfaction in Logic Programming. In Proc Int Conf on Logic Programming. MIT Press, 1989.