Issues in parallel execution of non-monotonic reasoning systems

Authors:
Marcello Balduccini;Enrico Pontelli;Omar Elkhatib;Hung Le
Affiliations:
Department of Computer Science, Texas Tech University, Box 43104, Lubbock, TX 79409, United States;Department of Computer Science, New Mexico State University, Box 30001/CS, Las Cruces, NM 88003, United States;Department of Computer Science, New Mexico State University, Box 30001/CS, Las Cruces, NM 88003, United States;Department of Computer Science, New Mexico State University, Box 30001/CS, Las Cruces, NM 88003, United States
Venue:
Parallel Computing
Year:
2005

Citing 32
Cited 11

A method for efficiently executing Horn clause programs using multiple processors

New Generation Computing
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
Fixpoint extensions of first-order logic and datalog-like languages

Proceedings of the Fourth Annual Symposium on Logic in computer science
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Implementing stable semantics by linear programming

Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Splitting a logic program

Proceedings of the eleventh international conference on Logic programming
Abduction from logic program: semantics and complexity

Theoretical Computer Science
A distributed arc-consistency algorithm

Science of Computer Programming - Special issue on concurrent constraint programming
Stable models and non-determinism in logic programs with negation

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of or-parallelism

New Generation Computing
Comparing trailing and copying for constraint programming

Proceedings of the 1999 international conference on Logic programming
Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)
Answer set programming and plan generation

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
WFS + Branch and Bound = Stable Models

IEEE Transactions on Knowledge and Data Engineering
Computation of Stable Models and Its Integration with Logical Query Processing

IEEE Transactions on Knowledge and Data Engineering
Semantic Web Services

IEEE Intelligent Systems
Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages

ICPP '98 Proceedings of the 1998 International Conference on Parallel Processing
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems

IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Answer Set Planning under Action Costs

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The USA-Advisor: A Case Study in Answer Set Programming

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Answer Set Planning (Abstract)

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Bounded LTL Model Checking with Stable Models

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Stable Model Semantics of Weight Constraint Rules

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
DATALOG with Constraints - An Answer-Set Programming System

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Encoding Planning Problems in Nonmonotonic Logic Programs

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Logic programming with ordered disjunction

Eighteenth national conference on Artificial intelligence
ASSAT: computing answer sets of a logic program by SAT solvers

Eighteenth national conference on Artificial intelligence
Diagnostic reasoning with A-Prolog

Theory and Practice of Logic Programming

Dynamic scheduling in parallel answer set programming solvers

SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Experimenting with parallelism for the instantiation of ASP programs

Journal of Algorithms
A Simple Distributed Conflict-Driven Answer Set Solver

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Experiences Running a Parallel Answer Set Solver on Blue Gene

Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling

Computer Languages, Systems and Structures
A parallel ASP instantiator based on DLV

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Answer set programming

A 25-year perspective on logic programming
Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Optimizing the distributed evaluation of stratified programs via structural analysis

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Optimizing large-scale Semi-Naïve datalog evaluation in hadoop

Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Multi-threaded asp solving with clasp

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We explore the major issues involved in the automatic exploitation of parallelism from the execution models of logic-based non-monotonic reasoning systems. We describe orthogonal techniques to parallelize the computation of models of non-monotonic logic theories, and demonstrate the effectiveness of the proposed techniques in prototypical implementation.