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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

A new imperialist competitive algorithm (ICA)-based approach is proposed for optimal selection of the static synchronous series…

2007

The problem of managing and querying inconsistent databases has been deeply investigated in the last few years. As the problem of…

2007

This document describes the process followed by XBRL International for formal recognition of a taxonomy. Formal recognition leads…

2007

We propose a method for the speci cation and the automated veri cation of temporal properties of protocols which regulate the…

2003

Description logic is expected to play a key role in ontology modeling for the Semantic Web. However, logic programming paradigm…

2000

Global SLS-resolution and SLG-resolution are two representative mechanisms for top-down evaluation of the well-founded semantics…

1997

Deductive databases and constraint systems have a transparent declarative semantics, which enables to read and to understand such…

1996

Semantics Many concrete semantics have been defined by selecting either a specific model of every logic program (such as the well…

1994

To date (Version 1.7.1), the core engine development of the SLG-WAM has been mainly implemented by Terrance Swift, Kostis Sagonas…

1994

SLG is a table-oriented resolution method that is gaining increasing attention due to its ability to combine the deductive…