Logic Programming and Negation: A Survey

by: Krzysztof R Apt, Roland N Bol

Journal of Logic Programming, Vol. 19/20 (1994), pp. 9-71.

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

vme64, jmackay

Find related articles with these CiteULike tags

logic, naf, negation

摘要

We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them. 1991 Mathematics Subject Classification: 68Q40, 68T15. CR Categories: F.3.2., F.4.1, H.3.3, I.2.3. Keywords and Phrases: negation, general logic programs, non-monotonic reasoning. Notes. The work of the first author was partly supported by ESPRIT Basic Research Action 6810 (Compulog 2). The work...

@article{citeulike:500564, abstract = {We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them. 1991 Mathematics Subject Classification: 68Q40, 68T15. CR Categories: F.3.2., F.4.1, H.3.3, I.2.3. Keywords and Phrases: negation, general logic programs, non-monotonic reasoning. Notes. The work of the first author was partly supported by ESPRIT Basic Research Action 6810 (Compulog 2). The work...}, author = {Apt, Krzysztof R. and Bol, Roland N. }, citeulike-article-id = {500564}, journal = {Journal of Logic Programming}, keywords = {logic, naf, negation}, pages = {9--71}, posted-at = {2006-02-10 12:43:58}, priority = {2}, title = {Logic Programming and Negation: A Survey}, url = {http://citeseer.ist.psu.edu/apt94logic.html}, volume = {19/20}, year = {1994} }

RIS record

TY - JOUR ID - citeulike:500564 L3 - citeulike-article-id:500564 N2 - We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them. 1991 Mathematics Subject Classification: 68Q40, 68T15. CR Categories: F.3.2., F.4.1, H.3.3, I.2.3. Keywords and Phrases: negation, general logic programs, non-monotonic reasoning. Notes. The work of the first author was partly supported by ESPRIT Basic Research Action 6810 (Compulog 2). The work... JF - Journal of Logic Programming EP - 71 TI - Logic Programming and Negation: A Survey VL - 19/20 SP - 9 KW - logic KW - naf KW - negation AU - Apt, Krzysztof AU - Bol, Roland PY - 1994/// UR - http://citeseer.ist.psu.edu/apt94logic.html ER -

RIS BibTeX