The following pages link to XSB (Q25788):
Displayed 50 items.
- (Q3413363) (← links)
- (Q3422580) (← links)
- On the complexity analysis of static analyses (Q3455540) (← links)
- Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (Q3585156) (← links)
- Logic Programming Approach to Automata-Based Decision Procedures (Q3608653) (← links)
- Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty (Q3628499) (← links)
- Efficient access mechanisms for tabled logic programs (Q4223452) (← links)
- Reasoning about ER models in a deductive environment (Q4332062) (← links)
- Tabled evaluation with delaying for general logic programs (Q4371515) (← links)
- (Q4413059) (← links)
- (Q4413060) (← links)
- (Q4413442) (← links)
- (Q4415096) (← links)
- (Q4415107) (← links)
- (Q4417884) (← links)
- (Q4440317) (← links)
- (Q4447269) (← links)
- Using methods of declarative logic programming for intelligent information agents (Q4452621) (← links)
- Linear tabulated resolution based on Prolog control strategy (Q4452626) (← links)
- Transformation-based bottom-up computation of the well-founded model (Q4452640) (← links)
- (Q4492740) (← links)
- (Q4499257) (← links)
- (Q4499264) (← links)
- (Q4504012) (← links)
- (Q4506391) (← links)
- (Q4506394) (← links)
- An abstract machine for efficiently computing queries to well-founded models (Q4507851) (← links)
- (Q4533365) (← 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)
- An abstract machine for fixed-order dynamically stratified programs (Q4647532) (← links)
- On applying or-parallelism and tabling to logic programs (Q4673543) (← links)
- (Q4702567) (← links)
- (Q4707740) (← links)
- (Q4707748) (← links)
- Constructive negation under the well-founded semantics (Q4719367) (← links)
- (Q4736500) (← links)
- (Q4736511) (← links)
- (Q4809164) (← links)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs (Q4819009) (← links)
- Towards multi-threaded local tabling using a common table space (Q4911126) (← links)
- Efficient tabling of structured data with enhanced hash-consing (Q4911133) (← links)
- Model checking with probabilistic tabled logic programming (Q4911143) (← links)