Pages that link to "Item:Q2893097"
From MaRDI portal
The following pages link to XSB: Extending Prolog with Tabled Logic Programming (Q2893097):
Displayed 37 items.
- XSB (Q25788) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Causal inference in cplint (Q1679666) (← links)
- Learning hierarchical probabilistic logic programs (Q2071314) (← links)
- Abduction with probabilistic logic programming under the distribution semantics (Q2076968) (← links)
- The fuzzy logic programming language FASILL: design and implementation (Q2206451) (← links)
- Why-provenance information for RDF, rules, and negation (Q2248547) (← links)
- \textsc{Tor}: modular search with hookable disjunction (Q2441515) (← links)
- Tabling, Rational Terms, and Coinduction Finally Together! (Q2931251) (← links)
- Incremental Tabling in Support of Knowledge Representation and Reasoning (Q2931264) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- Pre-indexed Terms for Prolog (Q2949716) (← links)
- Top-down and Bottom-up Evaluation Procedurally Integrated (Q4559824) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- Tabling as a library with delimited control (Q4592987) (← links)
- Practical run-time checking via unobtrusive property caching (Q4593012) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- Tabling with Sound Answer Subsumption (Q4593070) (← links)
- A linear algebraic approach to datalog evaluation (Q4593086) (← links)
- Towards multi-threaded local tabling using a common table space (Q4911126) (← 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)
- Correctness and Completeness of Logic Programs (Q5277919) (← 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)
- A goal-directed implementation of query answering for hybrid MKNF knowledge bases (Q5410731) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Disjunctive delimited control (Q6102252) (← links)
- On combining ontologies and rules (Q6166577) (← links)