Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Fabrizio Riguzzi, Terrance Swift
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
ICLP, 2010.

ICLP 2010
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICLP-2010-RiguzziS10,
	author        = "Fabrizio Riguzzi and Terrance Swift",
	booktitle     = "{Technical Communications of the 26th International Conference on Logic Programming}",
	doi           = "10.4230/LIPIcs.ICLP.2010.162",
	isbn          = "978-3-939897-17-0",
	pages         = "162--171",
	publisher     = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions}",
	volume        = 7,
	year          = 2010,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.