Transitive Closure, Answer Sets and Predicate Completion. And, E. E., Erdem, E., & Lifschitz, V. In Working notes of AAAI Spring Symposium, pages 60-65, 2001. N abstract bibtex We prove that the usual logic programming definition of transitive closure is correct under the answer set semantics, and investigate under what conditions it is correct under the completion semantics. That definition is allowed here to be combined with an arbitrary set of rules that may contain negation as failure, not merely with a set of facts. This work is motivated by applications to answer set programming.
@INPROCEEDINGS{And00transitiveclosure,
author = {Esra Erdem And and Esra Erdem and Vladimir Lifschitz},
title = {Transitive Closure, Answer Sets and Predicate Completion},
booktitle = {Working notes of AAAI Spring Symposium},
year = {2001},
pages = {60-65},
urlN = {tc.pdf},
abstract = {We prove that the usual logic programming definition of transitive
closure is correct under the answer set semantics, and investigate
under what conditions it is correct under the completion semantics.
That definition is allowed here to be combined with an arbitrary set
of rules that may contain negation as failure, not merely with a set
of facts. This work is motivated by applications to answer set
programming.},
}
Downloads: 0
{"_id":{"_str":"53424e050e946d920a00067c"},"__v":17,"authorIDs":["5456f0758b01c81930000081","5457dad12abc8e9f37000801","54635c734f4818cf4f00021e","5df0b7a08367c8de010000ce","5df87bbedb7d9ddf01000044","5e4957a916841dde01000031","u493trvfaXuB4g9PZ"],"author_short":["And, E. E.","Erdem, E.","Lifschitz, V."],"bibbaseid":"and-erdem-lifschitz-transitiveclosureanswersetsandpredicatecompletion-2001","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Esra","Erdem"],"propositions":[],"lastnames":["And"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]},{"firstnames":["Vladimir"],"propositions":[],"lastnames":["Lifschitz"],"suffixes":[]}],"title":"Transitive Closure, Answer Sets and Predicate Completion","booktitle":"Working notes of AAAI Spring Symposium","year":"2001","pages":"60-65","urln":"tc.pdf","abstract":"We prove that the usual logic programming definition of transitive closure is correct under the answer set semantics, and investigate under what conditions it is correct under the completion semantics. That definition is allowed here to be combined with an arbitrary set of rules that may contain negation as failure, not merely with a set of facts. This work is motivated by applications to answer set programming.","bibtex":"@INPROCEEDINGS{And00transitiveclosure,\n author = {Esra Erdem And and Esra Erdem and Vladimir Lifschitz},\n title = {Transitive Closure, Answer Sets and Predicate Completion},\n booktitle = {Working notes of AAAI Spring Symposium},\n year = {2001},\n pages = {60-65},\n urlN = {tc.pdf},\n abstract = {We prove that the usual logic programming definition of transitive\nclosure is correct under the answer set semantics, and investigate\nunder what conditions it is correct under the completion semantics. \nThat definition is allowed here to be combined with an arbitrary set\nof rules that may contain negation as failure, not merely with a set\nof facts. This work is motivated by applications to answer set\nprogramming.},\n}\n\n","author_short":["And, E. E.","Erdem, E.","Lifschitz, V."],"key":"And00transitiveclosure","id":"And00transitiveclosure","bibbaseid":"and-erdem-lifschitz-transitiveclosureanswersetsandpredicatecompletion-2001","role":"author","urls":{"N":"http://193.255.135.175/papers/tc.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://193.255.135.175/papers/krrpublications.bib","downloads":0,"keywords":[],"search_terms":["transitive","closure","answer","sets","predicate","completion","and","erdem","lifschitz"],"title":"Transitive Closure, Answer Sets and Predicate Completion","year":2001,"dataSources":["WeBGfagwiP89ve7hM"]}