×

XSB

swMATH ID: 13877
Software Authors: Sagonas, K.F., Swift, T., Warren, D.S., Freire, J., Rao, P.
Description: 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.
Homepage: http://xsb.sourceforge.net/
Related Software: YAP-Prolog; Smodels; B-Prolog; OPTYap; SICStus; Datalog; SWI-Prolog; ProbLog; PITA; Oz; Ciao; CAT; ECCE; Prolog; cplint; CP-logic; XcelLog; TRIPLE; HiLog; OpenRuleBench
Cited in: 136 Documents

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
XSB: extending Prolog with tabled logic programming. Zbl 1244.68021
Swift, Terrance; Warren, David S.
2012
all top 5

Cited by 202 Authors

17 Swift, Terrance
15 Warren, David Scott
7 Riguzzi, Fabrizio
7 Rocha, Ricardo
7 Sagonas, Konstantinos
6 Santos Costa, Vítor
6 Schrijvers, Tom
5 Demoen, Bart
4 Analyti, Anastasia
4 Carro, Manuel
4 Gupta, Gopal K.
4 Kifer, Michael
4 Moniz Pereira, Luís
4 Ramakrishnan, C. R.
4 Ramakrishnan, I. V.
4 Silva, Fernando
4 Toman, David
3 Antoniou, Grigoris
3 Bertossi, Leopoldo E.
3 Chen, Weidong
3 Cui, Baoqiu
3 Desouter, Benoit
3 Dix, Jurgen
3 Eiter, Thomas
3 Hermenegildo, Manuel V.
3 Pachoulakis, Ioannis
3 Saptawijaya, Ari
3 Sato, Taisuke
3 Seipel, Dietmar A.
3 Shen, Yidong
3 Unel, Gulay
3 You, Jia-Huai
3 Yuan, Li Yan
3 Zhou, Neng-Fa
2 Areias, Miguel
2 Arias, Joaquin
2 Barceló, Pablo
2 Bellodi, Elena
2 Brass, Stefan
2 Bruynooghe, Maurice
2 Castro, Luís Fernando
2 Denecker, Marc
2 Fink, Michael
2 Jansen, Joachim
2 Leone, Nicola
2 Leuschel, Michael
2 Morales, Jose Francisco
2 Pinto, Alexandre Miguel
2 Pontelli, Enrico
2 Shiri, Nematollaah
2 Vandecasteele, Henk
2 Vandenbroucke, Alexander
2 Viegas Damásio, Carlos
2 Yang, Guizhen
2 Zese, Riccardo
2 Zheng, Zhi Hong
1 Adams, Leroy
1 Alferes, José Júlio
1 Alviano, Mario
1 Appice, Annalisa
1 Avgustinov, Pavel
1 Avots, Dzintars
1 Azzolini, Damiano
1 Barker, Steve
1 Barthélemy, François
1 Basu, Samik
1 Blockeel, Hendrik
1 Bogaerts, Bart
1 Bravo, Loreto
1 Cabeza, Daniel
1 Calimeri, Francesco
1 Carbin, Michael
1 Ceci, Michelangelo
1 Celle, Alexander
1 Chen, Li
1 Chen, Zhuo
1 Chico de Guzm’an, Pablo
1 Codish, Michael
1 Condie, Tyson
1 Constantini, Stefania
1 Costantini, Stefania
1 Cota, Giuseppe
1 Craciun, Florin
1 Damásio, Carlos V.
1 Das, Ariyam
1 Davulcu, Hasan
1 de Cat, Broes
1 de la Clergerie, Eric Villemonte
1 de Moor, Oege
1 De Pooter, Stef
1 de Waal, Andre D.
1 Dewoprabowo, Ridhwan
1 Dodaro, Carmine
1 Drabent, Włodzimierz
1 Dutra, Inês
1 Faber, Wolfgang
1 Fages, François
1 Ferilli, Stefano
1 Formisano, Andrea
1 Freitag, Burkhard
...and 102 more Authors
all top 5

Cited in 23 Serials

31 Theory and Practice of Logic Programming
5 Theoretical Computer Science
5 The Journal of Logic Programming
5 Annals of Mathematics and Artificial Intelligence
4 The Journal of Functional and Logic Programming
4 ACM Transactions on Computational Logic
3 International Journal of Approximate Reasoning
3 Journal of the ACM
2 The Journal of Artificial Intelligence Research (JAIR)
2 Constraints
2 Journal of Logical and Algebraic Methods in Programming
1 Artificial Intelligence
1 Science of Computer Programming
1 Journal of Wuhan University. Natural Science Edition
1 Data & Knowledge Engineering
1 Machine Learning
1 Formal Methods in System Design
1 Journal of Applied Non-Classical Logics
1 Higher-Order and Symbolic Computation
1 Fundamenta Informaticae
1
1 Computer Languages, Systems & Structures
1 Electronic Notes in Theoretical Computer Science

Cited in 4 Fields

136 Computer science (68-XX)
12 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year