XSB

swMATH13877MaRDI QIDQ25788FDOQ25788

Author name not available (Why is that?)

Official website: http://xsb.sourceforge.net/

Described by source

• XSB: extending Prolog with tabled logic programming

Cited In (only showing first 100 items - show all)

• Infinite probability computation by cyclic explanation graphs
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• MWeb: a principled framework for modular web rule bases and its semantics
• Two case studies of semantics execution in Maude: CCS and LOTOS
• The limits of fixed-order computation
• Database Support for Data Mining Applications
• Correctness and completeness of logic programs
• Model checking with probabilistic tabled logic programming
• Logic Programming Approach to Automata-Based Decision Procedures
• Title not available (Why is that?)
• Algorithmic power from declarative use of redundant constraints
• On applying or-parallelism and tabling to logic programs
• CLPS-B
• SOLAR
• TELOS
• GeneSyst
• HiLog
• TCHR
• LPTP
• N3Logic
• LUPS
• HYPROLOG
• TRIPLE
• LOGEN
• SCASY
• ECCE
• recsy
• Smodels
• DELORES
• clpfd
• Prolog
• Oz
• B-Prolog
• CP-logic
• ProbLog
• PITA
• YAP-Prolog
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mercury
• Terminyzer
• CodeQuest
• Ciao
• CiaoPP
• Konclude
• OpenRuleBench
• SICStus
• JHotDraw
• WebPIE
• NP Datalog
• CAT
• FLORA
• OPTYap
• XASP
• XcelLog
• YapOr
• YapTab
• LOTOSphere
• go
• About epistemic negation and world views in epistemic logic programs
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• PRISM
• GHC
• MWeb
• PrASP
• Datalog
• miniKanren
• CHR
• SWI-Prolog
• SLING
• cplint
• IDP3
• PARLOG
• BigDatalog
• LPaaS
• Yedalog
• MSO_Regex_Equivalence
• EmptyHeaded
• Stanza
• RDFox
• Hexlite
• Deductive Spreadsheets Using Tabled Logic Programming
• FASILL
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
• Flix
• 2P-Kt
• tuProlog
• TuCSoN
• TuSoW
• Logic programming approach to automata-based decision procedures
• Title not available (Why is that?)
• A framework for modular ERDF ontologies
• Terminating evaluation of logic programs with finite three-valued models
• A three-valued semantics for querying and repairing inconsistent databases
• The PITA system: tabling and answer subsumption for reasoning under uncertainty
• Causal inference in cplint
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
• On the complexity analysis of static analyses
• Title not available (Why is that?)

This page was built for software: XSB