Title :
Evaluation of a parallel approach implementation of the p-stable semantics
Author :
López, David ; Zepeda, Claudia ; Carballido, José Luis
Author_Institution :
Fac. de Cienc. de la Comput., Benemerita Univ. Autonoma de Puebla, Puebla, Mexico
Abstract :
In this paper we review some results about a parallel p-stable solver. We test an algorithm that searches for the p-stable models of a normal program based on stratification of logic programs.
Keywords :
logic programming; nonmonotonic reasoning; parallel algorithms; parallel programming; algorithm testing; logic program stratification; nonmonotonic reasoning; p-stable semantics; parallel p-stable solver; Analytical models; Computational modeling; Data models; Parallel processing; Semantics; Servers; Software; non-monotonic reasoning; p-stable; parallel computing; stratified;
Conference_Titel :
Electrical Communications and Computers (CONIELECOMP), 2012 22nd International Conference on
Conference_Location :
Cholula, Puebla
Print_ISBN :
978-1-4577-1326-2
DOI :
10.1109/CONIELECOMP.2012.6189875
