Search results for "SLS-resolution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Kenneth A. Ross	A Procedural Semantics for Well Founded Negation in Logic Programs.	PODS	1989	DBLP DOI BibTeX RDF
54	Kewen Wang 0001	A Top-Down Procedure for Disjunctive Well-Founded Semantics.	IJCAR	2001	DBLP DOI BibTeX RDF
43	Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou	Linear Tabulated Resolutions for the Well-Founded Semantics.	LPNMR	1999	DBLP DOI BibTeX RDF
37	Nicole Bidoit, P. Legay	WELL!: An Evaluation Procedure for All Logic Programs.	ICDT	1990	DBLP DOI BibTeX RDF
36	Ling Ji, Dantong Ouyang, Yuxin Ye	SHOIQD System an Approach to Integrate Description Logic SHOIQ with Nonmonotonic Rules.	NCM	2009	DBLP DOI BibTeX RDF	nonmonotonic rules, SLS-resolution, Description Logics, well founded semantic
29	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan	Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms	CoRR	2005	DBLP BibTeX RDF
29	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan	Enhancing global SLS-resolution with loop cutting and tabling mechanisms.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
29	Wlodzimierz Drabent	SLS-Resolution without Floundering.	LPNMR	1993	DBLP BibTeX RDF
29	Jonathan M. Lever	Proving Program Properties by Means of SLS-Resolution.	ICLP	1991	DBLP BibTeX RDF
17	Wlodzimierz Drabent, Jan Maluszynski	Well-Founded Semantics for Hybrid Rules.	RR	2007	DBLP DOI BibTeX RDF
17	Konstantinos Sagonas, Terrance Swift, David Scott Warren	An Abstract Machine for Fixed-Order Dynamically Stratified Programs.	CADE	1996	DBLP DOI BibTeX RDF