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.


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

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

1 2 3 ... 5 6 7 next

  1. Areias, Miguel; Rocha, Ricardo: Table space designs for implicit and explicit concurrent tabled evaluation (2018)
  2. Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo: Scaling-up reasoning and advanced analytics on bigdata (2018)
  3. Warren, David S.: Top-down and bottom-up evaluation procedurally integrated (2018)
  4. Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo: Causal inference in cplint (2017)
  5. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  6. Unel, Gulay; Toman, David: Logic programming approach to automata-based decision procedures (2017)
  7. Costantini, Stefania; Formisano, Andrea: Query answering in resource-based answer set semantics (2016)
  8. Drabent, Włodzimierz: Correctness and completeness of logic programs (2016)
  9. Unel, Gulay: Incremental reasoning on monadic second-order logics with logic programming (2016)
  10. Vandenbroucke, Alexander; Piróg, Maciej; Desouter, Benoit; Schrijvers, Tom: Tabling with sound answer subsumption (2016)
  11. 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)
  12. Desouter, Benoit; Van Dooren, Marko; Schrijvers, Tom: Tabling as a library with delimited control (2015)
  13. Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena: Semantic-based construction of arguments: an answer set programming approach (2015)
  14. Stulova, Nataliia; Morales, José F.; Hermenegildo, Manuel V.: Practical run-time checking via unobtrusive property caching (2015)
  15. Analyti, Anastasia; Damásio, Carlos V.; Antoniou, Grigoris; Pachoulakis, Ioannis: Why-provenance information for RDF, rules, and negation (2014)
  16. Mantadelis, Theofrastos; Rocha, Ricardo; Moura, Paulo: Tabling, rational terms, and coinduction finally together! (2014)
  17. Riguzzi, Fabrizio; Swift, Terrance: Terminating evaluation of logic programs with finite three-valued models (2014)
  18. Sato, Taisuke; Meyer, Philipp: Infinite probability computation by cyclic explanation graphs (2014)
  19. Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: Tor: modular search with hookable disjunction (2014)
  20. Swift, Terrance: Incremental tabling in support of knowledge representation and reasoning (2014)

1 2 3 ... 5 6 7 next