XSB
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Information flow in tabular interpretations for generalized push-down automata
- CLPS-B
- LPdoc
- RelNN
- SOLAR
- TELOS
- Memoing evaluation for constraint extensions of datalog
- Constrained dependencies
- GeneSyst
- TCHR
- HiLog
- LPTP
- N3Logic
- TRIPLE
- LUPS
- HYPROLOG
- LOGEN
- Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP '99, Las Cruces, NM, USA, December 1, 1999
- SCASY
- Preference Logic Grammars: Fixed point semantics and application to data standardization
- recsy
- ECCE
- Causal inference in cplint
- Smodels
- Dynamic reordering of alternatives for definite logic programs
- DELORES
- clpfd
- Semantics-based program analysis for logic-based languages using XSB
- Prolog
- Oz
- ProbLog
- CP-logic
- YAP-Prolog
- B-Prolog
- PITA
- Algorithmic power from declarative use of redundant constraints
- Tabling for non-monotonic programming
- Mercury
- Terminyzer
- Learning hierarchical probabilistic logic programs
- Abduction with probabilistic logic programming under the distribution semantics
- CodeQuest
- Why-provenance information for RDF, rules, and negation
- Efficient and flexible access control via Jones-optimal logic program specialisation
- Using clausal deductive databases for defining semantics in disjunctive deductive databases
- Ciao
- CiaoPP
- A three-valued semantics for querying and repairing inconsistent databases
- SICStus
- OpenRuleBench
- Konclude
- WebPIE
- \textsc{Tor}: modular search with hookable disjunction
- JHotDraw
- NP Datalog
- XASP
- XcelLog
- FLORA
- CAT
- YapOr
- OPTYap
- YapTab
- LOTOSphere
- scientific article; zbMATH DE number 1615252 (Why is no real title available?)
- Nonmonotonic reasoning: Towards efficient calculi and implementations
- scientific article; zbMATH DE number 1696815 (Why is no real title available?)
- scientific article; zbMATH DE number 1696823 (Why is no real title available?)
- scientific article; zbMATH DE number 1696846 (Why is no real title available?)
- scientific article; zbMATH DE number 1696855 (Why is no real title available?)
- scientific article; zbMATH DE number 1696856 (Why is no real title available?)
- scientific article; zbMATH DE number 1712374 (Why is no real title available?)
- go
- Interdefinability of defeasible logic and logic programming under the well-founded semantics
- Program updating by incremental and answer subsumption tabling
- Incremental Tabling for Query-Driven Propagation of Logic Program Updates
- Implementation alternatives for bottom-up evaluation
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
- Tabling, rational terms, and coinduction finally together!
- Incremental Tabling in Support of Knowledge Representation and Reasoning
- Infinite probability computation by cyclic explanation graphs
- MWeb: a principled framework for modular web rule bases and its semantics
- A generalized QSQR evaluation method for Horn knowledge bases
- Terminating evaluation of logic programs with finite three-valued models
- Inspecting side-effects of abduction in logic programs
- Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
- Planning in answer set programming using ordered task decomposition
- MWeb
- PrASP
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- scientific article; zbMATH DE number 5996835 (Why is no real title available?)
- Efficient top-down computation of queries under the well-founded semantics
- Minimal and consistent evolution of knowledge bases
- On the decidability and axiomatization of query finiteness in deductive databases
- Datalog
- Semantics of static pointcuts in aspectJ
- miniKanren
- CHR
- SWI-Prolog
- SLING
- scientific article; zbMATH DE number 5081758 (Why is no real title available?)
This page was built for software: XSB
