An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. Riguzzi, F. & Swift, T. In Proceedings of Italian Conference on Computational Logic (CILC), 2010. Paper bibtex @inproceedings{ dblp2733264,
title = {An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation},
author = {Fabrizio Riguzzi and Terrance Swift},
author_short = {Riguzzi, F. and Swift, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2010},
key = {dblp2733264},
id = {dblp2733264},
biburl = {http://www.dblp.org/rec/bibtex/conf/cilc/RiguzziS10},
url = {http://ceur-ws.org/Vol-598/paper16.pdf},
conference = {CILC},
text = {CILC 2010},
booktitle = {Proceedings of Italian Conference on Computational Logic (CILC)}
}
Downloads: 0
{"_id":"9fbvSEsADsAX5cLRN","bibbaseid":"riguzzi-swift-anextendedsemanticsforlogicprogramswithannotateddisjunctionsanditsefficientimplementation-2010","downloads":0,"creationDate":"2015-10-15T12:52:20.849Z","title":"An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation","author_short":["Riguzzi, F.","Swift, T."],"year":2010,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cilc/RiguzziS10","bibdata":{"title":"An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation","author":["Fabrizio Riguzzi","Terrance Swift"],"author_short":["Riguzzi, F.","Swift, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2010","key":"dblp2733264","id":"dblp2733264","biburl":"http://www.dblp.org/rec/bibtex/conf/cilc/RiguzziS10","url":"http://ceur-ws.org/Vol-598/paper16.pdf","conference":"CILC","text":"CILC 2010","booktitle":"Proceedings of Italian Conference on Computational Logic (CILC)","bibtex":"@inproceedings{ dblp2733264,\n title = {An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation},\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 = {dblp2733264},\n id = {dblp2733264},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cilc/RiguzziS10},\n url = {http://ceur-ws.org/Vol-598/paper16.pdf},\n conference = {CILC},\n text = {CILC 2010},\n booktitle = {Proceedings of Italian Conference on Computational Logic (CILC)}\n}","bibbaseid":"riguzzi-swift-anextendedsemanticsforlogicprogramswithannotateddisjunctionsanditsefficientimplementation-2010","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-598/paper16.pdf"},"downloads":0},"search_terms":["extended","semantics","logic","programs","annotated","disjunctions","efficient","implementation","riguzzi","swift"],"keywords":[],"authorIDs":[],"dataSources":["QPoeMjHYxt9ycikZu"]}