Non-monotonic reasoning on Beowulf platforms

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

Volumn 2562, Issue , 2003, Pages 37-57

  Pontelli, E ^a   Balduccini, M ^b   Bermudez, F ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

^b Texas Tech University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; PARALLEL ARCHITECTURES;

ANSWER SET; ANSWER SET PROGRAMMING; BEOWULF; EXECUTION MODEL; NON-MONOTONIC REASONING; NONMONOTONIC LOGIC; SEARCH SPACES; SHEER SIZE;

PROBLEM SOLVING;

EID: 1942545151     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36388-2_5     Document Type: Article

References (22)

1. M. Balduccini and M. Gelfond. Diagnostic Reasoning with A-Prolog. Theory and Practice of Logic Programming (to appear), 2002.
2. C. Baral and M. Gelfond. Logic Programming and Knowledge Representation. Journal of Logic Programming, 19/20:73-148, 1994.
3. P. Cholewinski et al. Default Reasoning System DeReS. In Int. Conf. on Principles of Knowledge Representation and Reasoning, pages 518-528. Morgan Kauffman, 1996.
4. W.F. Dowling and J.H. Gallier. Linear-time Algorithms for Testing the Satisfiability of Prepositional Horn Formulae. Journal of Logic Programming, 3, 1984.
5. D. East and M. Truszczyński. Datalog with Constraints. In National Conference on Artificial Intelligence, pages 163-168. AAAI/MIT Press, 2000.
6. T. Eiter et al. The KR System dlv: Progress Report, Comparisons, and Benchmarks. In Int. Conf. on Principles of Knowledge Representation and Reasoning, 1998.
7. R. Finkel et al. Computing Stable Models in Parallel. In AAAI Spring Symposium on Answer Set Programming, pages 72-75, 2001. AAAI/MIT Press.
8. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. In Int. Symposium on Logic Programming, pages 1070-1080. MIT Press, 1988.
9. G. Gupta and E. Pontelli. Stack-splitting: A Simple Technique for Implementing Or-Parallelism on Distributed Machines. In ICLP, pages 290-304, 1999. MIT Press.
10. G. Gupta, E. Pontelli, M. Carlsson, M. Hermenegildo, and K.M. Ali. Parallel Execution of Prolog Programs: a Survey. ACM TOPLAS, 23(4):472-602, 2001.
11. K. Heljanko and I. Niemela. Answer Set Programming and Bounded Model Checking. In AAAI Spring Symposium, pages 90-96, 2001.
12. V.W. Marek and M. Truszczyński. Stable Models and an Alternative Logic Programming Paradigm. In The Logic Programming Paradigm. Springer Verlag, 1999.
13. T. Nguyen and Y. Deville. A Distributed Arc-Consistency Algorithm. Science of Computer Programming, 30(1-2):227-250, 1998.
14. I. Niemela. Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and AI, 2001.
15. I. Niemela and P. Simons. Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. In LPNMR, Springer Verlag, 1997.
16. M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, and M. Barry. An A-Prolog Decision Support System for the Space Shuttle. In PADL, Springer Verlag, 2001.
17. L. Perron. Search Procedures and Parallelism in Constraint Programming. In Int. Conf. on Principles and Practice of Constraint Programming, 1999. Springer Verlag.
18. E. Pontelli and O. El-Kathib. Construction and Optimization of a Parallel Engine for Answer Set Programming. In PADL, 2001. Springer Verlag.
19. D. Ranjan, E. Pontelli, and G. Gupta. On the Complexity of Or-Parallelism. New Generation Computing, 17(3):285-308, 1999.
20. C. Schulte. Comparing Trailing and Copying for Constraint Programming. In International Conference on Logic Programming, pages 275-289. MIT Press, 1999.
21. V.S. Subrahmanian, D. Nau, and C. Vago. WFS + Branch and Bound = Stable Models. Transactions on Knowledge and Data Engineering, 7(3):362-377, 1995.
22. T. Syrjanen. Implementation of Local Grounding for Logic Programs with Stable Model Semantics. Technical Report B-18, Helsinki University of Technology, 1998.