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: 135 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year XSB: extending Prolog with tabled logic programming. Zbl 1244.68021Swift, 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 5 Demoen, Bart 5 Schrijvers, Tom 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 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 1 Furbach, Ulrich ...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 135 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