Sciweavers

5482 search results - page 1 / 1097

» Logic Programming and Databases

13

EDBT
1992
ACM

90views Database» more EDBT 1992»

Optimization of Linear Logic Programs Using Counting Methods

13 years 10 months ago

Optimization of Linear Logic Programs Using Counting Methods

Download www.cs.ucla.edu

Sergio Greco, Carlo Zaniolo

claim paper

Read More »

10

PODS
1992
ACM

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

13 years 9 months ago

The Valid Model Semantics for Logic Programs

Download www.cse.iitb.ac.in

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...

claim paper

Read More »

15

VLDB
1990
ACM

66views Database» more VLDB 1990»

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

13 years 9 months ago

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

Download www.cse.iitb.ac.in

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarsha...

claim paper

Read More »

19

RR
2009
Springer

147views Automated Reasoning» more RR 2009»

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents

13 years 10 months ago

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents

Download www.doc.ic.ac.uk

In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...

Robert A. Kowalski, Fariba Sadri

claim paper

Read More »

15

ER
2007
Springer

126views Database» more ER 2007»

Querying Incomplete Data with Logic Programs: ER Strikes Back

13 years 12 months ago

Querying Incomplete Data with Logic Programs: ER Strikes Back

Download grupoweb.upf.es

Andrea Calì

claim paper

Read More »

« Prev « First page 1 / 1097 Last » Next »