Search Sciweavers | Sciweavers

1137 search results - page 23 / 228

» Logic Programming for Knowledge Representation

click to vote

KR
1994
Springer

97views Automated Reasoning» more KR 1994»

REVISE: An Extended Logic Programming System for Revising Knowledge Bases

15 years 1 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

DLOG
1998

153views Automated Reasoning» more DLOG 1998»

DLP System Description

14 years 11 months ago

Download www.inf.unibz.it

DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...

Peter F. Patel-Schneider

claim paper

Read More »

click to vote

KI
1990
Springer

169views Artificial Intelligence» more KI 1990»

The Representation of Program Synthesis in Higher Order Logic

15 years 1 months ago

Download www.cs.uni-potsdam.de

ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...

Christoph Kreitz

claim paper

Read More »

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

15 years 2 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »