Formalizing a logic for logic programming (1992)
by
John S. Schlipf
| Venue: | Annals of Mathematics and Artificial Intelligence |
| Citations: | 25 - 2 self |
BibTeX
@ARTICLE{Schlipf92formalizinga,
author = {John S. Schlipf},
title = {Formalizing a logic for logic programming},
journal = {Annals of Mathematics and Artificial Intelligence},
year = {1992},
volume = {5}
}
Bookmark
 |
 |
 |
 |
 |
 |
