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 131 articles , 1 standard article )

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

1 2 3 ... 5 6 7 next

  1. Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo: Causal inference in cplint (2017)
  2. Sato, Taisuke: A linear algebraic approach to Datalog evaluation (2017)
  3. Unel, Gulay; Toman, David: Logic programming approach to automata-based decision procedures (2017)
  4. Costantini, Stefania; Formisano, Andrea: Query answering in resource-based answer set semantics (2016)
  5. Drabent, Włodzimierz: Correctness and completeness of logic programs (2016)
  6. Unel, Gulay: Incremental reasoning on monadic second-order logics with logic programming (2016)
  7. Vandenbroucke, Alexander; Piróg, Maciej; Desouter, Benoit; Schrijvers, Tom: Tabling with sound answer subsumption (2016)
  8. 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)
  9. Desouter, Benoit; Van Dooren, Marko; Schrijvers, Tom: Tabling as a library with delimited control (2015)
  10. Guerrero, Esteban; Nieves, Juan Carlos; Lindgren, Helena: Semantic-based construction of arguments: an answer set programming approach (2015)
  11. Stulova, Nataliia; Morales, José F.; Hermenegildo, Manuel V.: Practical run-time checking via unobtrusive property caching (2015)
  12. Analyti, Anastasia; Damásio, Carlos V.; Antoniou, Grigoris; Pachoulakis, Ioannis: Why-provenance information for RDF, rules, and negation (2014)
  13. Mantadelis, Theofrastos; Rocha, Ricardo; Moura, Paulo: Tabling, rational terms, and coinduction finally together! (2014)
  14. Riguzzi, Fabrizio; Swift, Terrance: Terminating evaluation of logic programs with finite three-valued models (2014)
  15. Sato, Taisuke; Meyer, Philipp: Infinite probability computation by cyclic explanation graphs (2014)
  16. Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: Tor: modular search with hookable disjunction (2014)
  17. Swift, Terrance: Incremental tabling in support of knowledge representation and reasoning (2014)
  18. Analyti, Anastasia; Antoniou, Grigoris; Damásio, Carlos Viegas; Pachoulakis, Ioannis: A framework for modular ERDF ontologies (2013)
  19. Jansen, Joachim; Jorissen, Albert; Janssens, Gerda: Compiling $\mathrminput^\ast$ FO$(\cdot)$ inductive definitions into tabled prolog rules for IDP3 (2013)
  20. Liang, Senlin; Kifer, Michael: A practical analysis of non-termination in large logic programs (2013)

1 2 3 ... 5 6 7 next