Paper Info
Title
Experimenting with parallelism for the instantiation of ASP programs
Abstract
In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power consumption. This makes real Symmetric MultiProcessing (SMP) available even on non-dedicated machines, and paves the way to the development of better performing software. Notably, the recent application of Answer Set Programming (ASP) in different emerging areas, such as knowledge management or information extraction/integration, shows that performance is a crucial issue also for ASP systems. Among the tasks performed by such systems, the instantiation process, which consists of generating a variable-free program equivalent to the input one, is one of the most expensive from a computational viewpoint, especially in the case of huge input data. In this paper a new strategy exploiting parallelism for the instantiation of ASP programs is proposed. An implementation of this strategy and its integration with the grounding module of the DLV system is discussed. The results of an experimental analysis are also presented, which confirm that the strategy is effective in making ASP instantiation more efficient.
Year
DOI
Venue
2008
10.1016/j.jalgor.2008.02.003
J. Algorithms
Keywords
Field
DocType
computational viewpoint,crucial issue,instantiation process,huge input data,new strategy,answer set programming,asp instantiation,asp system,asp program,dlv system,information extraction
Discrete mathematics,Information integration,Software engineering,Computer science,Microprocessor,Theoretical computer science,Multiprocessing,Software,Information extraction,Symmetric multiprocessing,Answer set programming,Software development
Journal
Volume
Issue
ISSN
63
1-3
0196-6774
Citations 
PageRank 
References 
17
0.58
48
Authors
3
Name
Order
Citations
PageRank
Francesco Calimeri147537.51
S. Perri2443.23
Francesco Ricca371062.98