Issues in parallel execution of non-monotonic reasoning systems

Parallel Computing

Volumn 31, Issue 6, 2005, Pages 608-647

  Balduccini, Marcello ^a   Pontelli, Enrico ^b   Elkhatib, Omar ^b   Le, Hung ^b  

^a Texas Tech University   (United States)

^b New Mexico State University   (United States)

Author keywords

Answer set programming; Beowulf clusters; Logic programming; Non monotonic reasoning

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; PARALLEL PROCESSING SYSTEMS; SET THEORY; SYSTEMS ENGINEERING;

NON-MONOTIC REASONING SYSTEMS; PARALLEL EXECUTION; PIPELINED COMPUTATION; PROGRAM SPLITING;

LOGIC PROGRAMMING;

EID: 21244475228     PISSN: 01678191     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.parco.2005.03.004     Document Type: Article

References (63)

1. S. Abiteboul, and V. Vianu Fixpoint extensions of first-order logic and datalog-like languages Symposium on Logic in Computer Science 1989 IEEE Computer Society Los Alamitos, CA 71 89
2. K.A.M. Ali, and R. Karlsson The muse or-parallel prolog model and its performance 1990 North American Conference on Logic Programming 1990 MIT Press Cambridge, MA 757 776
3. K. Apt, H. Blair, and A. Walker Towards a theory of declarative knowledge J. Minker Foundations of Deductive Databases and Logic Programming 1989 Morgan Kaufmann Los Altos, CA 89 148
4. K.R. Apt, and R.N. Bol Logic programming and negation: a survey Journal of Logic Programming 19/20 1994 9 71
5. Y. Babovich, CModels, < www.cs.utexas.edu/users/tag/cmodels.html >, 2002.
6. M. Balduccini, and M. Gelfond Diagnostic reasoning with A-Prolog Theory and Practice of Logic Programming 3 4-5 2003 425 461
7. M. Balduccini, and M. Gelfond Logic programs with consistency-restoring rules AAAI Spring Symposium 2003 AAAI/MIT Press Cambridge, MA
8. C. Baral Knowledge Representation, Reasoning and Declarative Problem Solving 2003 Cambridge University Press Cambridge
9. C. Baral, and M. Gelfond Logic programming and knowledge representation Journal of Logic Programming 19/20 1994 73 148
10. C. Baral, M. Gelfond, Reasoning agents in dynamic domains, Technical report, University of Texas at El Paso, 1999.
11. C. Bell, A. Nerode, R. Ng, and V.S. Subrahmanian Implementing stable semantics by linear programming Logic Programming and Non-monotonic Reasoning 1993 MIT Press Cambridge, MA 23 42
12. G. Brewka Logic programming with ordered disjunction AAAI/IAAA 2002 AAAI/MIT Press Cambridge, MA 100 105
13. W. Chen, and D.S. Warren Computation of stable models and its integration with logical query processing Transactions on Knowledge and Data Engineering 8 5 1996 742 757
14. P. Cholewinski, V.W. Marek, and M. Truszczyński Default reasoning system DeReS International Conference on Principles of Knowledge Representation and Reasoning 1996 Morgan Kauffman Los Altos, CA 518 528
15. K.L. Clark Negation as failure H. Gallaire J. Minker Logic and Data Bases 1978 Plenum New York 293 322
16. W.F. Clocksin, and H. Alshawi A method for efficiently executing horn clause programs using multiple processors New Generation Computing 5 1988 361 376
17. A. Dekhtyar, and V.S. Subrahmanian Hybrid probabilistic programs Journal of Logic Programming 43 3 2000 187 250
18. Y. Dimopoulos, B. Nebel, J. Koehler, Encoding planning problems in nonmonotonic logic programs, in: European Workshop on Planning, 1997, pp. 169-181.
19. W.F. Dowling, and J.H. Gallier Linear-time algorithms for testing the satisfiability of propositional horn formulae Journal of Logic Programming 3 1984 267 289
20. D. East, and M. Truszczyński Datalog with constraints Proceedings of the National Conference on Artificial Intelligence 2000 AAAI/MIT Press Cambridge, MA 163 168
21. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres Answer set planning under action cost European Conference on Logics in AI (JELIA) 2002 Springer-Verlag Berlin 186 197
22. T. Eiter, G. Gottlob, and N. Leone Abduction from logic programs: semantics and complexity Theoretical Computer Science 189 1-2 1997 129 177
23. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, The KR system dlv: progress report, comparisons, and benchmarks, in: International Conference on Principles of Knowledge Representation and Reasoning, 1998, pp. 406-417.
24. O. El-Khatib, E. Pontelli, Parallel evaluation of answer sets programs preliminary results, in: Workshop on Parallelism and Implementation of Logic Programming, 2000.
25. S. Erdogan, and V. Lifschitz Definitions in answer set programming Logic Programming and Non-monotonic Reasoning 2004 Springer-Verlag Berlin 114 126
26. E. Erdem, V. Lifschitz, L. Nakhleh, and D. Ringe Reconstructing the evolutionary history of Indo-European languages using answer set programming Practical Aspects of Declarative Languages 2003 Springer-Verlag Berlin 160 176
27. R. Finkel, V. Marek, N. Moore, and M. Truszczyński Computing stable models in parallel A. Provetti S.C. Tran Proceedings of the AAAI Spring Symposium on Answer Set Programming 2001 AAAI/MIT Press Cambridge, MA 72 75
28. M. Gelfond The USA-advisor: a case study in answer set programming Logics in Artificial Intelligence 2002 Springer-Verlag Berlin 566 568
29. M. Gelfond, and V. Lifschitz Classical negation in logic programs and disjunctive databases New Generation Computing 1991 365 385
30. M. Gelfond, and V. Lifschitz The stable model semantics for logic programs International Symposium on Logic Programming 1988 MIT Press Cambridge, MA 1070 1080
31. M. Gelfond, and V. Lifschitz Action languages Electronic Notes in Artificial Intelligence 3 6 1998 193 210
32. G. Gupta Multiprocessor Execution of Logic Programs 1994 Kluwer Academic Press Dordrecht
33. G. Gupta, and E. Pontelli Optimization schemas for parallel implementation of nondeterministic languages and systems International Parallel Processing Symposium 1997 IEEE Computer Society Los Alamitos, CA 428 435
34. G. Gupta, E. Pontelli, M. Carlsson, M. Hermenegildo, and K.M. Ali Parallel execution of prolog programs: a survey ACM Transactions on Programming Languages and Systems 23 4 2001 472 602
35. K. Heljanko, and I. Niemela Bounded LTL model checking with stable models International Conference on Logic Programming and Non-monotonic Reasoning 2001 Springer-Verlag Berlin 200 212
36. R. Krishnamurthy, and S.A. Naqvi Non-deterministic Choice in Datalog International Conference on Data and Knowledge Bases 1988 Morgan Kaufmann Los Altos, CA 416 424
37. V. Lifschitz Answer set programming and plan generation Artificial Intelligence 138 2002 39 54
38. V. Lifschitz Answer set planning Logic Programming and Non-monotonic Reasoning 1999 Springer-Verlag Berlin 373 374
39. V. Lifschitz, and H. Turner Splitting a logic program Proceedings of the Eleventh International Conference on Logic Programming 1994 MIT Press Cambridge, MA 23 37
40. F. Lin, and Y. Zhao ASSAT: Computing answer sets of logic programs by SAT solvers AAAI/IAAA 2002 AAAI/MIT Press Cambridge, MA 112 117
41. J.W. Lloyd Foundations of Logic Programming 1987 Springer-Verlag Heidelberg
42. V.W. Marek, and M. Truszczyński Stable models and an alternative logic programming paradigm K.R. Apt V.W. Marek M. Truszcziński D.S. Warren The Logic Programming Paradigm 1999 Springer-Verlag Berlin
43. W. Marek, A. Nerode, and J.B. Remmel The stable models of predicate logic programs Joint International Conference and Symposium on Logic Programming 1992 MIT Press Cambridge, MA 446 460
44. S. McIlraith, T.C. Son, H. Zeng, Semantic web services, IEEE Intelligent Systems, 2001, pp. 46-53.
45. S. McIlraith, T.C. Son, H. Zeng, Mobilizing the semantic web with DAML-enabled web services, in: Proceedings of the Second International Workshop on the Semantic Web (SemWeb'01), 2001.
46. J. Minker An overview of nonmonotonic reasoning and logic programming Journal of Logic Programming 17 2-4 1993 95 126
47. T. Nguyen, and Y. Deville A distributed arc-consistency algorithm Science of Computer Programming 30 1-2 1998 227 250
48. I. Niemelä Logic programs with stable model semantics as a constraint programming paradigm Annals of Mathematics and Artificial Intelligence 25 3-4 1999 241 273
49. I. Niemela, and P. Simons Smodels-An implementation of the stable model and well-founded semantics for normal LP Logic Programming and Non-monotonic Reasoning 1997 Springer-Verlag Berlin 421 430
50. I. Niemela, P. Simons, and T. Soininen Stable model semantics of weight constraint rules Logic Programming and Non-monotonic Reasoning 1999 Springer-Verlag Berlin 317 331
51. E. Pontelli, and G. Gupta Efficient backtracking in and-parallel implementations of non-deterministic languages T. Lai Proceedings of the International Conference on Parallel Processing 1998 IEEE Computer Society Los Alamitos, CA 338 345
52. E. Pontelli, D. Ranjan, On the complexity of dependent and-parallelism in logic programming, Technical report, New Mexico State University, 2002.
53. E. Pontelli, T.C. Son, and I. Elkabani Smodels with CLP: a treatment of aggregates in ASP Proceedings of the International Conference on Logic Programming 2004 Springer-Verlag NY 73 89
54. I.V. Ramakrishnan, P. Rao, K.F. Sagonas, T. Swift, and D.S. Warren Efficient tabling mechanisms for logic programs International Conference on Logic Programming 1995 MIT Press Cambridge, MA 697 711
55. D. Ranjan, E. Pontelli, and G. Gupta On the complexity of or-parallelism New Generation Computing 17 3 1999 285 308
56. D. Saccà, and C. Zaniolo Stable models and non-determinism in logic programs with negation Symposium on Principles of Database Systems 1990 ACM Press 205 217
57. C. Schulte Programming constraint inference engines Principles and Practice of Constraint Programming 1997 Springer-Verlag Berlin 519 533
58. C. Schulte Comparing trailing and copying for constraint programming International Conference on Logic Programming 1999 MIT Press Cambridge, MA 275 289
59. J.C. Shepherdson Negation in logic programming J. Minker Foundations of Deductive Databases and Logic Programming 1989 Morgan Kaufmann Los Altos, CA 19 88
60. P. Simons, Extending and implementing the stable model semantics, Ph.D. Thesis, Helsinki University of Technology, 2000.
61. V.S. Subrahmanian, D. Nau, and C. Vago WFS + branch and bound = stable models Transactions on Knowledge and Data Engineering 7 3 1995 362 377
62. T. Syrjanen, Implementation of local grounding for logic programs with stable model semantics, Technical Report B-18, Helsinki University of Technology, 1998.
63. A. Van Gelder, K.A. Ross, and J.S. Schlipf The well-founded semantics for general logic programs Journal of the ACM 38 3 1991 620 650