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; SWI-Prolog; Ciao; Datalog; ProbLog; PITA; Oz; ECCE; CiaoPP; Prolog; CAT; Mercury; ProB; PRISM; clpfd; SATCHMO Cited in: 140 Documents 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 211 Authors 17 Swift, Terrance 15 Warren, David Scott 8 Rocha, Ricardo 7 Santos Costa, Vítor 7 Riguzzi, Fabrizio 7 Sagonas, Konstantinos 6 Schrijvers, Tom 5 Demoen, Bart 5 Gupta, Gopal 5 Hermenegildo, Manuel V. 4 Analyti, Anastasia 4 Carro, Manuel 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 Brass, Stefan 3 Chen, Weidong 3 Cui, Baoqiu 3 Desouter, Benoit 3 Dix, Jurgen 3 Eiter, Thomas 3 Leuschel, Michael 3 Morales, Jose Francisco 3 Pachoulakis, Ioannis 3 Pontelli, Enrico 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 Bruynooghe, Maurice 2 Castro, Luís Fernando 2 Denecker, Marc 2 Fink, Michael 2 Formisano, Andrea 2 Freitag, Burkhard 2 Jansen, Joachim 2 Leone, Nicola 2 Pinto, Alexandre Miguel 2 Shiri, Nematollaah 2 Vandecasteele, Henk 2 Vandenbroucke, Alexander 2 Viegas Damásio, Carlos 2 Yang, Guizhen 2 Zese, Riccardo 2 Zheng, Zhi Hong 2 Zukowski, Ulrich 1 Abreu, Salvador 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 Ciatto, Giovanni 1 Codish, Michael 1 Condie, Tyson 1 Constantini, Stefania 1 Costantini, Stefania 1 Cota, Giuseppe 1 Craciun, Florin 1 Dahl, Veronica 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 Diaz, Daniel 1 Dodaro, Carmine ...and 111 more Authors all top 5 Cited in 22 Serials 33 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 Computer Languages, Systems & Structures 1 Electronic Notes in Theoretical Computer Science Cited in 4 Fields 140 Computer science (68-XX) 13 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