Tabled evaluation with delaying for general logic programs
From MaRDI portal
Recommendations
Cited in
(58)- On logic programs that always succeed.
- Dynamic reordering of alternatives for definite logic programs
- Abduction with probabilistic logic programming under the distribution semantics
- Why-provenance information for RDF, rules, and negation
- Precise specification matching for adaptive reuse in embedded systems
- Logic programming with solution preferences
- Representation sharing for Prolog
- XSB: extending Prolog with tabled logic programming
- The language features and architecture of B-Prolog
- An overview of Ciao and its design philosophy
- Tabling, rational terms, and coinduction finally together!
- Incremental Tabling in Support of Knowledge Representation and Reasoning
- Terminating evaluation of logic programs with finite three-valued models
- Program specialization for verifying infinite state systems: an experimental evaluation
- Parallel backtracking with answer memoing for independent and-parallelism
- Normative systems represented as hybrid knowledge bases
- Swapping evaluation: a memory-scalable solution for answer-on-demand tabling
- Termination prediction for general logic programs
- Heterogeneous SLD resolution
- scientific article; zbMATH DE number 3949749 (Why is no real title available?)
- Tabulated resolution for the well-founded semantics
- A procedural semantics for well-founded negation in logic programs
- scientific article; zbMATH DE number 44616 (Why is no real title available?)
- scientific article; zbMATH DE number 1956546 (Why is no real title available?)
- Linear tabulated resolution based on Prolog control strategy
- scientific article; zbMATH DE number 1487801 (Why is no real title available?)
- scientific article; zbMATH DE number 1487846 (Why is no real title available?)
- scientific article; zbMATH DE number 1508927 (Why is no real title available?)
- Table space designs for implicit and explicit concurrent tabled evaluation
- Tabling as a library with delimited control
- An abstract machine for fixed-order dynamically stratified programs
- Towards multi-threaded local tabling using a common table space
- Efficient tabling of structured data with enhanced hash-consing
- Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
- Description, implementation, and evaluation of a generic design for tabled CLP
- Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees
- Eliminating negation from normal logic programs
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- Logic Programming
- A goal-directed implementation of query answering for hybrid MKNF knowledge bases
- Concurrent and Local Evaluation of Normal Programs
- Generating Specialized Rules and Programs for Demand-Driven Analysis
- The limits of fixed-order computation
- Termination of simply-moded well-typed logic programs under a tabled execution mechanism
- \(\mho\)-resolution and hybrid knowledge bases
- Loop checks for logic programs with functions
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
- Parallel Logic Programming: A Sequel
- On combining ontologies and rules
- Local closed world reasoning with description logics under the well-founded semantics
- Prolegomena to logic programming for non-monotonic reasoning
- Transformation-based bottom-up computation of the well-founded model
- Computation of non-ground disjunctive well-founded semantics with constraint logic programming
- An encoding for CLP problems in SMT-LIB
- Defeasible reasoning via \(\mathrm{Datalog} {}^\neg\)
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms
- Two case studies of semantics execution in Maude: CCS and LOTOS
- Tabulation proof procedures for fuzzy linguistic logic programming
This page was built for publication: Tabled evaluation with delaying for general logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4371515)
