%0 Journal Article %1 VanGelder91 %A van Gelder, Allen %A Ross, Kenneth %A Schlipf, John S. %D 1991 %J Journal of the ACM %K logic-program, logic-programming, well-founded-semantics %N 3 %P 620--650 %T The Well-Founded Semantics for General Logic Programs %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2340 %V 38 %X A general logic program (abbreviated to "program" hereafter) is a set of rules that have both positive and negative subgoals. It is common to view a deductive database as a general logic program consisting of rules (IDB) sitting above elementary relations (EDB, facts). It is desirable to associate one Herbrand model with a program and think of that model as the "meaning of the program," or its "declarative semantics." Ideally, queries directed to the program would be answered in accordance with ...

@article{VanGelder91, abstract = {{A general logic program (abbreviated to "program" hereafter) is a set of rules that have both positive and negative subgoals. It is common to view a deductive database as a general logic program consisting of rules (IDB) sitting above elementary relations (EDB, facts). It is desirable to associate one Herbrand model with a program and think of that model as the "meaning of the program," or its "declarative semantics." Ideally, queries directed to the program would be answered in accordance with ...}}, added-at = {2011-05-04T16:04:17.000+0200}, author = {van Gelder, Allen and Ross, Kenneth and Schlipf, John S.}, biburl = {https://www.bibsonomy.org/bibtex/2845558c4a9dac5bc50980cf1a54fff8a/baisemain}, citeulike-article-id = {580531}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2340}, interhash = {483df2c58af384cb7cac6ec2af7be60f}, intrahash = {845558c4a9dac5bc50980cf1a54fff8a}, journal = {Journal of the ACM}, keywords = {logic-program, logic-programming, well-founded-semantics}, number = 3, pages = {620--650}, posted-at = {2009-10-15 12:32:23}, priority = {2}, timestamp = {2011-05-04T16:04:32.000+0200}, title = {{The Well-Founded Semantics for General Logic Programs}}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2340}, volume = 38, year = 1991 }