The following pages link to XSB (Q25788):
Displaying 34 items.
- Tabling with Answer Subsumption: Implementation, Applications and Performance (Q4930773) (← links)
- Subset-logic programs and their implementation (Q4939542) (← links)
- Description, Implementation, and Evaluation of a Generic Design for Tabled CLP (Q4957184) (← links)
- (Q5020962) (← links)
- (Q5020972) (← links)
- Incremental Analysis of Logic Programs with Assertions and Open Predicates (Q5097624) (← links)
- About Epistemic Negation and World Views in Epistemic Logic Programs (Q5108503) (← links)
- Managing caching strategies for stream reasoning with reinforcement learning (Q5140004) (← links)
- Logic Programming (Q5191493) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics (Q5299588) (← links)
- Adding Evolving Abilities to a Multi-Agent System (Q5302010) (← links)
- Collaborative vs. Conflicting Learning, Evolution and Argumentation (Q5302474) (← links)
- Euro-Par 2004 Parallel Processing (Q5311419) (← links)
- Logic Programming (Q5313215) (← links)
- A Gradual Polymorphic Type System with Subtyping for Prolog (Q5398087) (← links)
- Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (Q5398305) (← links)
- A practical analysis of non-termination in large logic programs (Q5398306) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424880) (← links)
- Modules for Prolog Revisited (Q5449591) (← links)
- Deductive Spreadsheets Using Tabled Logic Programming (Q5449616) (← links)
- Experimenting with recursive queries in database and logic programming systems (Q5451970) (← links)
- Journal on Data Semantics II (Q5463900) (← links)
- Logic Programming (Q5475782) (← links)
- Logic Programming (Q5475798) (← links)
- Logic Programming (Q5475808) (← links)
- Programming Languages and Systems (Q5493378) (← links)
- Concurrent and Local Evaluation of Normal Programs (Q5504657) (← links)
- Database Support for Data Mining Applications (Q5717483) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898618) (← links)
- Foundations of Information and Knowledge Systems (Q5901873) (← links)
- The limits of fixed-order computation (Q5940930) (← links)
- Loop checks for logic programs with functions (Q5958765) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)
