Search results for "SLG"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
250	Weidong Chen 0005, David Scott Warren	Query Evaluation under the Well Founded Semantics.	PODS	1993	DBLP DOI BibTeX RDF
163	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
154	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
150	Bart Demoen, Konstantinos Sagonas	CHAT Is Theta(SLG-Wam).	LPAR	1999	DBLP DOI BibTeX RDF
115	Bart Demoen, Konstantinos Sagonas	CHAT: The Copy-Hybrid Approach to Tabling.	PADL	1999	DBLP DOI BibTeX RDF
115	Bart Demoen, Konstantinos Sagonas	Memory Management for Prolog with Tabling.	ISMM	1998	DBLP DOI BibTeX RDF	Prolog
111	Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira	Incremental Answer Completion in the SLG-WAM.	ICLP	2009	DBLP DOI BibTeX RDF
77	Rui Marques, Terrance Swift	Concurrent and Local Evaluation of Normal Programs.	ICLP	2008	DBLP DOI BibTeX RDF
77	Bart Demoen, Konstantinos Sagonas	CAT: The Copying Approach to Tabling.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
73	Luís Fernando Castro, Terrance Swift, David Scott Warren	Suspending and Resuming Computations in Engines for SLG Evaluation.	PADL	2002	DBLP DOI BibTeX RDF
66	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
66	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
58	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
47	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
38	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
38	Juliana Freire, Terrance Swift, David Scott Warren	Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.	PLILP	1996	DBLP DOI BibTeX RDF
38	Konstantinos Sagonas, Terrance Swift, David Scott Warren	An Abstract Machine for Fixed-Order Dynamically Stratified Programs.	CADE	1996	DBLP DOI BibTeX RDF
34	Yan Zhang, Xin Liu, Panrui Tang, Zuping Zhang	SLG-NET: Subgraph Neural Network with Local-Global Braingraph Feature Extraction Modules and a Novel Subgraph Generation Algorithm for Automated Identification of Major Depressive Disorder.	ICONIP (4)	2023	DBLP DOI BibTeX RDF
34	R. Elakkiya, K. Selvamani, Kanimozhi Sakthivel	An enhanced model for effective recognition and segmentation of SLG in dynamic video sequence using boosted learning algorithm.	ICNSC	2014	DBLP DOI BibTeX RDF
34	Juliana Freire, Terrance Swift, David Scott Warren	Scheduling in SLG Revisited.	TAPD	1998	DBLP BibTeX RDF
34	Terrance Swift, David Scott Warren	Analysis of SLG-WAM Evaluation of Definite Programs.	ILPS	1994	DBLP BibTeX RDF
34	R. Ramesh 0001, Weidong Chen 0005	A Portable Method of Integrating SLG Resolution into Prolog Systems.	ILPS	1994	DBLP BibTeX RDF
34	Terrance Swift, David Scott Warren	An Abstract Machine for SLG Resolution: Definite Programs.	ILPS	1994	DBLP BibTeX RDF
27	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
27	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
19	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
19	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Modeling Systems in CLP.	ICLP	2005	DBLP DOI BibTeX RDF
19	Luís Fernando Castro, David Scott Warren	Approximate Pruning in Tabled Logic Programming.	ESOP	2003	DBLP DOI BibTeX RDF
19	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	On a Tabling Engine That Can Exploit Or-Parallelism.	ICLP	2001	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
19	Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas	Termination Analysis for Tabled Logic Programming.	LOPSTR	1997	DBLP DOI BibTeX RDF
19	Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren	Exploiting Parallelism in Tabled Evaluations	PLILP	1995	DBLP DOI BibTeX RDF