MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Linear Resolution with Selection Function." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

On the Declarative and Procedural Semantics of Logic Programs
by Teodor C. Przymusinski — 1995 — Journal of Automated Reasoning
… generalization of SLD-resolution (Linear resolution with Selection function for Definite programs) from the class…
Cited by 57 (8 self) – Add To MetaCart

Towards Effective Evaluation of General Logic Programs
by Weidong Chen, David S. Warren — 1993 — in the Proceedings of the 12th PODS
… (Linear resolution with Selection function for Definite programs), which is sound and complete…
Cited by 18 (10 self) – Add To MetaCart

On Constructive Negation in Logic Programming
by Teodor Przymusinski — 1995 — In North American Conference on Logic Programming
… semantics is used. We extend the SLS-resolution (Linear resolution with Selection function for Stratified…
Cited by 24 (3 self) – Add To MetaCart

The Relative Complexity of Analytic Tableaux and SL-Resolution
by André Vellino
… to follow by reduc- tion.. The SL refinement of linear resolution—linear resolution with selection function…
Add To MetaCart

Rule Based Abduction
by Sai Kiran Lakkaraju, Yan Zhang — 2000 — In ISMIS 2000
… resolution with selection function (or SL-resolution ) is a restricted form of linear resolution. The main…
Cited by 1 (1 self) – Add To MetaCart

BDDs, Horn Clauses and Resolution
by Mohammad Ghasemzadeh, Christoph Meinel — 2003 — Proceedings of the 6th International Symposium on Representations and Methodology of Future Computing Technology (RM2003
… results. 4.2.3 Resolution with Non-Linear Selection Functions OBDDs are non-linear data structures…
Cited by 1 (0 self) – Add To MetaCart

An abstract machine for tabled execution of fixed-order stratified logic programs
by Terrance Swift — 1998 — ACM Transactions on Programming Languages and Systems
… an alternative approach to the limitations of SDLNF. One such formulation, SLG resolution (Linear resolution…
Cited by 43 (18 self) – Add To MetaCart

Implementation Of Local Grounding For Logic Programs With Stable Model Semantics
by Tommi Syrjänen, Tommi Syrj Anen, Tommi Syrj Anen — 1998
… with Selection function for Denite programs with Negation as nite Failure). However, SLDNF-resolution…
Cited by 15 (1 self) – Add To MetaCart

Modularity in Logic Programming
by Edelmira Pasarella
… by Kowalski [18]. SLD-resolution stands for Linear resolution with Selection function for Definite clauses…
Add To MetaCart

Scheduling Strategies for Evaluation of Recursive Queries over Memory and Disk-Resident Data
by Juliana Freire de Lima e Silva, Juliana Freire, Lima Silva, Terrance Swift — 1997
….2 SLG Resolution SLG resolution (Linear resolution with Selection function for General logic programs…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB