Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Knowledge representation and inference in AI have been traditionally divided between logic-based and statistical approaches… Expand
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The size of formal models is steadily increasing and there is a demand from industrial users to be able to use expressive… Expand
  • figure 1
Is this relevant?
2006
2006
Timed CSP extends CSP by introducing a capability to quantify temporal aspects of sequencing and synchronization. It is a… Expand
  • figure 1
  • table 1
  • table 2
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper we describe the design and the implementation of the GNU Prolog system. This system draws on our previous… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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… Expand
  • figure 12.1
Is this relevant?
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… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Abstract This paper presents a new notion of typing for logic programs which generalizes the notion of directional types. The… Expand
Is this relevant?
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… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
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… Expand
Is this relevant?