Search Sciweavers | Sciweavers

1313 search results - page 28 / 263

» Prioritized Reasoning in Logic Programming

click to vote

KR
1994
Springer

97views Automated Reasoning» more KR 1994»

REVISE: An Extended Logic Programming System for Revising Knowledge Bases

15 years 4 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 »

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

15 years 6 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

15 years 6 months ago

Download clip.dia.fi.upm.es

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

claim paper

Read More »

click to vote

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

15 years 6 months ago

Download isaim2008.unl.edu

Johann A. Makowsky

claim paper

Read More »

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers