Search Sciweavers | Sciweavers

3773 search results - page 120 / 755

» Logical Reasoning

146

click to vote

KR
1994
Springer

97views Automated Reasoning» more KR 1994»

REVISE: An Extended Logic Programming System for Revising Knowledge Bases

15 years 10 months ago

Download ssdi.di.fct.unl.pt

In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...

Carlos Viegas Damásio, Wolfgang Nejdl, Lu&i...

claim paper

Read More »

106

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

15 years 10 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

126

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

137

click to vote

PLILP
1998
Springer

148views Programming Languages» more PLILP 1998»

Embedding Multiset Constraints into a Lazy Functional Logic Language

15 years 10 months ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

147

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers