The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for XSB with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-1998 (18) 1999-2001 (19) 2002-2007 (18) 2008-2017 (14)
Publication types (Num. hits)
article(8) inproceedings(61)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31 occurrences of 24 keywords

Results
Found 69 publication records. Showing 69 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
178Konstantinos Sagonas, Terrance Swift, David Scott Warren XSB as an Efficient Deductive Database Engine. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Prolog
128Michael Codish, Bart Demoen, Konstantinos Sagonas Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Semantics-based program analysis, Logic programming language analysis, XSB
66Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira Incremental Answer Completion in the SLG-WAM. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
66Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Implementation of a Linear Tabling Mechanism. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
66Baoqiu Cui, David Scott Warren A System for Tabled Constraint Logic Programming. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
60Jay Halcomb, Adam Pease On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
49Neng-Fa Zhou, Taisuke Sato Efficient fixpoint computation in linear tabling. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF linear tabling, prolog, recursion, tabling, optimization techniques, memoization
49Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren Efficient Model Checking Using Tabled Resolution. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
46Bart Demoen, Konstantinos Sagonas Heap Garbage Collection in XSB: Practice and Experience. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
46Nikolay Pelov, Maurice Bruynooghe Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Terrance Swift An Engine for Computing Well-Founded Models. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tabling, WAM
33Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio An Implementation of Extended P-Log Using XASP. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Tom Schrijvers, David Scott Warren Constraint Handling Rules and Tabled Execution. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Owen Kaser State Generation in the PARMC Model Checker. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Alexander Celle, Leopoldo E. Bertossi Querying Inconsistent Databases: Algorithms and Implementation. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Guizhen Yang, Michael Kifer FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Bart Demoen, Konstantinos Sagonas Memory Management for Prolog with Tabling. Search on Bibsonomy ISMM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Prolog
33Weidong Chen 0005, Michael Kifer Sorted HiLog: Sorts in Higher-Order Logic Data Languages. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
31Luís Moniz Pereira, Alexandre Miguel Pinto Layered Models Top-Down Querying of Normal Logic Programs. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Smodels, XSB-XASP, Semantics, Relevance
31Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes On Preferring and Inspecting Abductive Models. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction
30Carlos Lopes, Matthias Knorr 0001, João Leite 0001 NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
30Spyros Hadjichristodoulou, Donald E. Porter, David Scott Warren Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
30David Scott Warren Interning Ground Terms in XSB. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
30Terrance Swift, David Scott Warren XSB: Extending Prolog with Tabled Logic Programming. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Md. Hasibul Alam, Iftikhar Ahmad Niaz, Imtiaz Ahmed, Zubair Al Azim, Nadim Chowdhury, Quazi Deen Mohd Khosru InxGa1-xSb MOSFET: Performance analysis by self consistent CV characterization and direct tunneling gate leakage current. Search on Bibsonomy EIT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Terrance Swift, David Scott Warren XSB: Extending Prolog with Tabled Logic Programming Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
30Nikolay Pelov, Maurice Bruynooghe Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
30David Scott Warren Using XSB for Extraction and Standardization. Search on Bibsonomy PACPL The full citation details ... 2000 DBLP  BibTeX  RDF
30Baoqiu Cui, David Scott Warren Attributed Variables in XSB. Search on Bibsonomy Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30David Scott Warren Programming with tabling in XSB. Search on Bibsonomy PROCOMET The full citation details ... 1998 DBLP  BibTeX  RDF
30Michael Codish, Bart Demoen, Konstantinos Sagonas XSB as the Natural Habitat for General Purpose Program Analysis. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
30Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire XSB: A System for Effciently Computing WFS. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Konstantinos Sagonas, Terrance Swift, David Scott Warren XSB as a Deductive Database. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Weidong Chen 0005, Terrance Swift, David Scott Warren Goal-Directed Evaluation of Well-Founded Sematics for XSB. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
30David Scott Warren Programming the PTQ Grammar in XSB. Search on Bibsonomy Workshop on Programming with Logic Databases (Informal Proceedings), ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
30David Scott Warren Programming the PTQ Grammar in XSB. Search on Bibsonomy Workshop on Programming with Logic Databases (Book), ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
30Konstantinos F. Sagonas, Terrance Swift, David Scott Warren The XSB Programming System. Search on Bibsonomy Workshop on Programming with Logic Databases (Informal Proceedings), ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
16Paul Fodor Research Summary: Tabled Evaluation for Transaction Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Rui Marques, Terrance Swift Concurrent and Local Evaluation of Normal Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Jeff Dallien, Wendy MacCaull, Allen Tien Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. Search on Bibsonomy MOMPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis Proof Explanation for the Semantic Web Using Defeasible Logic. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Gulay Ünel, David Toman 0001 Logic Programming Approach to Automata-Based Decision Procedures. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Christina Tziviskou, Elisabetta Di Nitto Logic-based Management of Security in Web Services. Search on Bibsonomy IEEE SCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16C. R. Ramakrishnan 0001, I. V. Ramakrishnan, David Scott Warren Deductive Spreadsheets Using Tabled Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Rémy Haemmerlé, François Fages Modules for Prolog Revisited. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Uwe Aßmann, Jakob Henriksson, Jan Maluszynski Combining Safe Rules and Ontologies by Interfacing of Reasoners. Search on Bibsonomy PPSWR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16João Leite 0001, Luís Soares Adding Evolving Abilities to a Multi-Agent System. Search on Bibsonomy CLIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Tabled resolution, Model checking, Logic programming, calculus, Mobile processes
16Youyong Zou, Timothy W. Finin, Harry Chen 0001 F-OWL: An Inference Engine for Semantic Web. Search on Bibsonomy FAABS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Miguel Calejo InterProlog: Towards a Declarative Embedding of Logic Programming in Java. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Luís Fernando Castro, David Scott Warren Approximate Pruning in Tabled Logic Programming. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Diptikalyan Saha, C. R. Ramakrishnan 0001 Incremental Evaluation of Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Youyong Zou, Timothy W. Finin, Li Ding 0001, Harry Chen 0001, Rong Pan Using semantic web technology in multi-agent systems: a case study in the TAGA trading agent environment. Search on Bibsonomy ICEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF agentcities, Semantic Web, multi agent system, OWL, FIPA, trading agent competition
16Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Jack Minker, Dietmar Seipel Disjunctive Logic Programming: A Survey and Assessment. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Supratik Mukhopadhyay, Andreas Podelski Constraint Database Models Characterizing Timed Bisimilarity. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Luís Fernando Castro, Vítor Santos Costa Understanding Memory Management in Prolog Systems. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Rakesh M. Verma Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Ioan Alfred Letia, Florin Craciun, Zoltan Köpe Norms for DLP Agents Working in a Warehouse Scenario. Search on Bibsonomy IEA/AIE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF social constraints, knowledge representation, autonomous agents, norms, distributed problem solving, KBS methodologies
16Supratik Mukhopadhyay, Andreas Podelski Model Checking for Timed Logic Processes. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16C. R. Ramakrishnan 0001 Verification Using Tabled Logic Programming. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Richard Watson 0003 An Application of Action Theory to the Space Shuttle. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16Baoqiu Cui, Terrance Swift, David Scott Warren A Case Study in Using Preference Logic Grammars for Knowledge Representations. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16Konstantinos Sagonas, Terrance Swift An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SLG, memoing, stratification theories, prolog, tabling, WAM
16Bart Demoen, Konstantinos Sagonas CAT: The Copying Approach to Tabling. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren Logic Programming and Model Checking. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Konstantinos Sagonas, Terrance Swift, David Scott Warren An Abstract Machine for Fixed-Order Dynamically Stratified Programs. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Steven Dawson, C. R. Ramakrishnan 0001, David Scott Warren Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #69 of 69 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license