Skip to search formSkip to main contentSkip to account menu

XSB

XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We propose a new linear algebraic approach to the computation of Tarskian semantics in logic. We embed a finite model M in first… 
2010
2010
Nonmonotonic dl-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with… 
2006
2006
Timed CSP extends CSP by introducing a capability to quantify temporal aspects of sequencing and synchronization. It is a… 
Highly Cited
2003
Highly Cited
2003
Tabled logic programming has emerged as an important evaluation technique of logic programs. Tabling has enabled us to construct… 
Highly Cited
2000
Highly Cited
2000
The paper discusses an architecture for intelligent agents based on the use of A-Prolog- a language of logic programs under the… 
Highly Cited
1997
Highly Cited
1997
The well-founded model provides a natural and robust semantics for logic programs with negative literals in rule bodies. We… 
1996
1996
Semantics Many concrete semantics have been defined by selecting either a specific model of every logic program (such as the well… 
Highly Cited
1994
Highly Cited
1994
This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation… 
Highly Cited
1994
Highly Cited
1994
This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation… 
1994
1994
XSB is a logic-based programming system that can serve as an efficient immemory Deductive Database (DDB) engine. XSB…