@inproceedings{ dblp2798168,
  title = {Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions},
  author = {Fabrizio Riguzzi and Terrance Swift},
  author_short = {Riguzzi, F. and Swift, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp2798168},
  id = {dblp2798168},
  biburl = {http://www.dblp.org/rec/bibtex/conf/iclp/RiguzziS10},
  url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.162},
  conference = {ICLP (Technical Communications)},
  pages = {162-171},
  text = {ICLP (Technical Communications) 2010:162-171},
  booktitle = {Proceedings of ICLP (Technical Communications)}
}

{"_id":"EKLi3knWKaxvMAQpE","bibbaseid":"riguzzi-swift-tablingandanswersubsumptionforreasoningonlogicprogramswithannotateddisjunctions-2010","downloads":0,"creationDate":"2015-10-15T12:52:20.932Z","title":"Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions","author_short":["Riguzzi, F.","Swift, T."],"year":2010,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/iclp/RiguzziS10","bibdata":{"title":"Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions","author":["Fabrizio Riguzzi","Terrance Swift"],"author_short":["Riguzzi, F.","Swift, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2010","key":"dblp2798168","id":"dblp2798168","biburl":"http://www.dblp.org/rec/bibtex/conf/iclp/RiguzziS10","url":"http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.162","conference":"ICLP (Technical Communications)","pages":"162-171","text":"ICLP (Technical Communications) 2010:162-171","booktitle":"Proceedings of ICLP (Technical Communications)","bibtex":"@inproceedings{ dblp2798168,\n title = {Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions},\n author = {Fabrizio Riguzzi and Terrance Swift},\n author_short = {Riguzzi, F. and Swift, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2010},\n key = {dblp2798168},\n id = {dblp2798168},\n biburl = {http://www.dblp.org/rec/bibtex/conf/iclp/RiguzziS10},\n url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.162},\n conference = {ICLP (Technical Communications)},\n pages = {162-171},\n text = {ICLP (Technical Communications) 2010:162-171},\n booktitle = {Proceedings of ICLP (Technical Communications)}\n}","bibbaseid":"riguzzi-swift-tablingandanswersubsumptionforreasoningonlogicprogramswithannotateddisjunctions-2010","role":"author","urls":{"Paper":"http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.162"},"downloads":0},"search_terms":["tabling","answer","subsumption","reasoning","logic","programs","annotated","disjunctions","riguzzi","swift"],"keywords":[],"authorIDs":[],"dataSources":["r2cvjpeMwipPJXnDD"]}