DocumentCode
1924258
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
fYear
2012
fDate
27-29 Feb. 2012
Firstpage
22
Lastpage
27
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical Communications and Computers (CONIELECOMP), 2012 22nd International Conference on
Conference_Location
Cholula, Puebla
Print_ISBN
978-1-4577-1326-2
Type
conf
DOI
10.1109/CONIELECOMP.2012.6189875
Filename
6189875
Link To Document