|
ComputingReviews.com
|
A progression semantics for first-order logic programs Zhou Y., Zhang Y. Artificial Intelligence250 58-79,2017.Type:Article |
|
|
|
Published By: Elsevier Science Publishers Ltd. |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|