XSB

XSB is a Logic Programming and Deductive Database system for Unix and Windows. XSB Prolog. It is being developed at a number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB Inc., and Coherent Knowlege Systems, Inc.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 144 articles , 1 standard article )

Showing results 1 to 20 of 144.
Sorted by year (citations)

1 2 3 ... 6 7 8 next

  1. Azzolini, Damiano; Bellodi, Elena; Ferilli, Stefano; Riguzzi, Fabrizio; Zese, Riccardo: Abduction with probabilistic logic programming under the distribution semantics (2022)
  2. Giovanni Ciatto, Roberta Calegari, Andrea Omicini: 2P-Kt: A logic-based ecosystem for symbolic AI (2021) not zbMATH
  3. Nguembang Fadja, Arnaud; Riguzzi, Fabrizio; Lamma, Evelina: Learning hierarchical probabilistic logic programs (2021)
  4. Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal: Justifications for goal-directed constraint answer set programming (2020)
  5. Dewoprabowo, Ridhwan; Saptawijaya, Ari: Tabling optimization for contextual abduction (2020)
  6. Dodaro, Carmine; Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin: Managing caching strategies for stream reasoning with reinforcement learning (2020)
  7. Arias, Joaquín; Carro, Manuel: Description, implementation, and evaluation of a generic design for tabled CLP (2019)
  8. Constantini, Stefania: About epistemic negation and world views in epistemic logic programs (2019)
  9. Areias, Miguel; Rocha, Ricardo: Table space designs for implicit and explicit concurrent tabled evaluation (2018)
  10. Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo: Scaling-up reasoning and advanced analytics on BigData (2018)
  11. Warren, David S.: Top-down and bottom-up evaluation procedurally integrated (2018)
  12. Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo: Causal inference in cplint (2017)
  13. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  14. Unel, Gulay; Toman, David: Logic programming approach to automata-based decision procedures (2017)
  15. Costantini, Stefania; Formisano, Andrea: Query answering in resource-based answer set semantics (2016)
  16. Drabent, Włodzimierz: Correctness and completeness of logic programs (2016)
  17. Unel, Gulay: Incremental reasoning on monadic second-order logics with logic programming (2016)
  18. Vandenbroucke, Alexander; Piróg, Maciej; Desouter, Benoit; Schrijvers, Tom: Tabling with sound answer subsumption (2016)
  19. Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco: Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 (2015)
  20. Desouter, Benoit; Van Dooren, Marko; Schrijvers, Tom: Tabling as a library with delimited control (2015)

1 2 3 ... 6 7 8 next