@inproceedings{baral1991wf,
  title={Wf 3: A semantics for negation in normal disjunctive logic programs},
  author={Baral, Chitta and Lobo, Jorge and Minker, Jack},
  booktitle={International Symposium on Methodologies for Intelligent Systems},
  pages={459--468},
  year={1991},
  organization={Springer, Berlin, Heidelberg}
}

{"_id":"fpJbCnnyjnhHXARJM","bibbaseid":"baral-lobo-minker-wf3asemanticsfornegationinnormaldisjunctivelogicprograms-1991","authorIDs":[],"author_short":["Baral, C.","Lobo, J.","Minker, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Wf 3: A semantics for negation in normal disjunctive logic programs","author":[{"propositions":[],"lastnames":["Baral"],"firstnames":["Chitta"],"suffixes":[]},{"propositions":[],"lastnames":["Lobo"],"firstnames":["Jorge"],"suffixes":[]},{"propositions":[],"lastnames":["Minker"],"firstnames":["Jack"],"suffixes":[]}],"booktitle":"International Symposium on Methodologies for Intelligent Systems","pages":"459–468","year":"1991","organization":"Springer, Berlin, Heidelberg","bibtex":"@inproceedings{baral1991wf,\n title={Wf 3: A semantics for negation in normal disjunctive logic programs},\n author={Baral, Chitta and Lobo, Jorge and Minker, Jack},\n booktitle={International Symposium on Methodologies for Intelligent Systems},\n pages={459--468},\n year={1991},\n organization={Springer, Berlin, Heidelberg}\n}\n\n","author_short":["Baral, C.","Lobo, J.","Minker, J."],"key":"baral1991wf","id":"baral1991wf","bibbaseid":"baral-lobo-minker-wf3asemanticsfornegationinnormaldisjunctivelogicprograms-1991","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://cogintlab-asu.github.io/cogint_bib.bib","creationDate":"2019-10-05T00:43:09.965Z","downloads":0,"keywords":[],"search_terms":["semantics","negation","normal","disjunctive","logic","programs","baral","lobo","minker"],"title":"Wf 3: A semantics for negation in normal disjunctive logic programs","year":1991,"dataSources":["qFKdMbFtP3HEjG9PQ"]}