Search results for "SLG-resolution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
295	Weidong Chen 0005, David Scott Warren	Query Evaluation under the Well Founded Semantics.	PODS	1993	DBLP DOI BibTeX RDF
178	Weidong Chen 0005, David Scott Warren	Tabled Evaluation With Delaying for General Logic Programs.	J. ACM	1996	DBLP DOI BibTeX RDF	tabled evaluation, program transformations, stable models, well-founded models
138	Konstantinos Sagonas, Terrance Swift	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	SLG, memoing, stratification theories, prolog, tabling, WAM
81	Yi-Dong Shen, Qiang Yang 0001	Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops.	ILP	2005	DBLP DOI BibTeX RDF	Probabilistic logic programming (PLP), the well-founded semantics, stationary dynamic Bayesian networks, SLG-resolution
79	Sofie Verbaeten, Danny De Schreye	Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic Programming, Termination, Tabling
78	Jacques Calmet, Peter Kullmann, Morio Taneda	Composite Distributive Lattices as Annotation Domains for Mediators.	AISC	2000	DBLP DOI BibTeX RDF	Dual Transform, Free Distributive Lattice Product, Mediator, Distributive Lattices, Annotated Logic, SLG Resolution
62	Fabrizio Riguzzi	Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics.	ICLP	2008	DBLP DOI BibTeX RDF	Topics Probabilistic Logic Programming, Logic Programs with Annotated Disjunctions, Well Founded Semantics, SLG resolution
53	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
47	Luís Fernando Castro, Terrance Swift, David Scott Warren	Suspending and Resuming Computations in Engines for SLG Evaluation.	PADL	2002	DBLP DOI BibTeX RDF
39	R. Ramesh 0001, Weidong Chen 0005	A Portable Method of Integrating SLG Resolution into Prolog Systems.	ILPS	1994	DBLP BibTeX RDF
39	Terrance Swift, David Scott Warren	An Abstract Machine for SLG Resolution: Definite Programs.	ILPS	1994	DBLP BibTeX RDF
36	Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas	Termination proofs for logic programs with tabling.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	prolog, tabling, SLG-resolution
36	Weidong Chen	Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	alternating fixpoint, deductive databases, query evaluations, negation, predicate logic, SLG resolution
22	Yi-Dong Shen	Reasoning with recursive loops under the PLP framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks
22	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Modeling Systems in CLP.	ICLP	2005	DBLP DOI BibTeX RDF
22	Luís Fernando Castro, David Scott Warren	Approximate Pruning in Tabled Logic Programming.	ESOP	2003	DBLP DOI BibTeX RDF
22	Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas	Termination Analysis for Tabled Logic Programming.	LOPSTR	1997	DBLP DOI BibTeX RDF